Binary: txt2pbes

Debian packages that has this binary:

Package: mcrl2

/usr/bin/txt2pbes

Random binary cloud:

minimize liveinst dpns-listusrmap weather gkrellm r.out.png kmk_time klinkstatus vidir node-gyp qdbusxml2cpp qmlviewer bg5conv xinput_calibrator anfo shutdown_dbserver.sh appletviewer gforthmi-0.7.2 grdimage jack-osc kteatime lcdvc mp3info2 ccmtcnvt mpop swclock expire_backups odedraw xemacs-21.4.22-mule-canna-wnn xen-hvmctx