Binary: alt-ergo

Debian packages that has this binary:

Package: alt-ergo

/usr/bin/alt-ergo

Random binary cloud:

dtest dpns-mkdir euca-describe-keypairs ntfsck openvassd arb_shader_atomic_counters-default-partition scotch_dgord rbssh Cylinder xaumix drbl-useradd-list decryptdir freefoam-buoyantSimple freefoam-shallowWater icesound t1lint update-nfonts schemagen osganimationnode pads reset-ftrace rainbow-sugarize i7094 rsyncd-stop ini2spectacle trev storeBackupSearch uservd translaboob promoterwise