Binary: coqc

Debian packages that has this binary:

Package: coq

/usr/bin/coqc

Random binary cloud:

hilbert pybabel conmand dpm-sql-dpns-by-replication dcopfind mpiname pretty-bytes ldapadd myproxy-init.pl drawpix-z unit2.py virtualenv-2.6 visudo systool edfhed arm-linux-gnueabi-ar bp_seqpart cfexecd clang-check-3.5 setbrlkeys kpasswd.heimdal icalfilter llvm-ar-3.4 mia-3dfuzzysegment obdgui foo2zjs qmail-tcpto XML2Modelica stella turtleart