Binary: diagraphica

Debian packages that has this binary:

Package: mcrl2

/usr/bin/diagraphica

Random binary cloud:

avr-cpp gnome-at-visual cpmchmod figlet setkey lttng-sessiond pee mpitests-osu_acc_latency ppod2txt pm-pmu qmlmin-qt5 shed will_python3_raise remove-ds bl2seq cfkey crashlist dh_rebar Fsort freefoam-setFields fl-credential-ctl precord.o hmmemit nepomukcleaner plpprintd beta_significance.py qtmail rabbitsign slurmctld xsec-xklient