Binary: lpsrewr

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lpsrewr

Random binary cloud:

abrt-action-save-package-data centerim fence_ilo_mp g_cluster_d jack_load_test kmk_printf lbzcmp fbo-blit-scaled-linear x2gosuspend-session xrdp-sesadmin tee openbsd-cwm i.zc grokevt-builddb indi_moonlite_focus info2man jmeter-server svm-subset dotextwrap robotic-arm-kinematics osgdepthpeeling pbn2dds window_test socklog-check statcvs viking vbinterpolate xringd xwatch yeahconsole