Binary: alt-ergo

Debian packages that has this binary:

Package: alt-ergo

/usr/bin/alt-ergo

Random binary cloud:

ar srmv2.2 eric4-diff gearadmin r.digit h5pfc lcg-cr sqlalchemy-migrate-repository tapconvert ceflatex buildapp cfshow touch update-debian-edu-artwork-spacefun ganeti-confd gapi2-parser jh_build kambdb_recover graphics_driver qemu-armeb except t33out.txt.gz regina sbuild-hold hr.pl SpecLibSearcher ulatencyd vde_switch vlc cmd_write