Binary: coqc

Debian packages that has this binary:

Package: coq

/usr/bin/coqc

Random binary cloud:

eulb-disable-zones-for-lb gucharmap cert2ldap myproxy-admin-load-credential rdf2bin pambayer orbit-ird vppreproc clip-plane-transformation pilot-undelete pabrowse axgetlist xlet-settings.ui get-latest-ocs-live-ver cancelmsg dcfile gcc-ranlib idjc idfilter lsh-make-seed mknbi-rom nw nullmailer-inject i686-w64-mingw32-ocamlopt web2py qlandkartegt sdngen rtdServer wmname dviasm