Binary: lts2pbes

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lts2pbes

Random binary cloud:

cp2k.psmp_mpich cpaldjvu gfortran glances g_rama gsstool perfquery gmdb2 mingw64-pkg-config manage_logger oscap-vm qmltestrunner qmlviewer-qt5 sg_get_config system-config-services gnatcheck aubioonset ax25_call bauble calypso ceph_test_timers x2sys_cross marisa-dump mia-3dfield2norm mpb gaps pdfcube plsense-server-work make_phylogeny.py rsakeyfind