Binary: alt-ergo

Debian packages that has this binary:

Package: alt-ergo

/usr/bin/alt-ergo

Random binary cloud:

ldclt-bin gptsync euare-roleaddpolicy gshhg g_gmxcheck_d hid-recorder krb5kdc graphchk64 ptardiff oid2name moc moc qcollectiongenerator restclient po2xliff winedbg x2goprint msp430-as cdfcensus glsweep iostream.o gfan_tolatex hmmfetch lastdb makeppgraph phenny atk6-thcping6 wine-preloader xymonclient-netbsd.sh svcstatus.cgi