Binary: fof-prover9

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/fof-prover9

Random binary cloud:

ld birdcl sdptool ceph_test_trans condor_userlog_job_counter fence_ilo heimdal-kadmin pamdice exiftool arb_framebuffer_srgb-blit pinentry-qt scotch_dgpart ps2frag trademgen_with_db dcmcjpeg ecaccess-gateway-list homebank i3-sensible-terminal kdc2tiff tiffgt monkeysign quasselclient qwavjoin checkrhosts stormondemand.rb shntrim lv2_jack_host xapers-adder shelltool zope-testrunner