Binary: diagraphica

Debian packages that has this binary:

Package: mcrl2

/usr/bin/diagraphica

Random binary cloud:

smtp microblaze-linux-gnu-strip passmass filezilla fts_db_cleaner find-jar mpitests-osu_alltoallv ncl_convert2nc ods-signer chardetect xfce4-mixer unicode check_postgres_txn_time cryptdisks_stop drbl-sha1pass profit unregister-theme hamexam libjingle-call depgen.pl qt-faststart rrd-client-mta-traffic.pl.gz testH265VideoToTransportStream nova-spicehtml5proxy otrs.MySQLInnoDBSwitch.pl pluma lupdate perl6-p fixcrio useradm.cgi