Binary: coqc

Debian packages that has this binary:

Package: coq

/usr/bin/coqc

Random binary cloud:

crm grid-cert-request g_dist_d kni_socketcontrol mpic++ ocamltags importexport_binary.x_mpich pimpstat virt-what ytnef cinnamon dvdtguess distmat fence_nss_wrapper gliv gdcmscu svnnotify ui-gxmlcpp-version llvm-bcanalyzer-3.4 list_admins withlist obex-folder-listing pfsindcraw pgn2web canberraq qmail-popup rhn_check sendmailconfig wmii.rc xymonping