Binary: diagraphica

Debian packages that has this binary:

Package: mcrl2

/usr/bin/diagraphica

Random binary cloud:

ranlib rmcp-ping i.photo.rectify r.drain mydns-mysql pnmscalefixed olad grepdiff lupdate tm_xypic bcron-sched arm-linux-gnueabihf-size btdownloadgui.bittorrent csp_mkdircp cdflinreg cdfpvor spatch dr_symlinks psrose gnunet-ats wifichoice.sh ace pev qmail-newu filedumper adr2vcf sql_gen_objects.py wims_mathml canvasdraw xiphos