Binary: coqc

Debian packages that has this binary:

Package: coq

/usr/bin/coqc

Random binary cloud:

objcopy makekeys euscale-describe-scaling-activities g_msd_d paltohdf intel_upload_blit_large_gtt combine nfprofile yedit-gfortran dist.x quilt dvilj4 unzipsfx citadel sethdlc dictd standard.lut fbgrab georss2foxtrotgps-poi grub-emu-lite hjsmin qdbuscpp2xml roartypes nfacct odbxtest.master regfiletype split_stl newuidmap w3af_gui wine64-preloader