Binary: coqc

Debian packages that has this binary:

Package: coq

/usr/bin/coqc

Random binary cloud:

avr-gcc-4.5.0 cachefilesd bsqldb gif2ps cgsnapshot mk-table-sync mconfig mpitests-IMB-MPI1 cli.js ola_e131 pdfshuffler arb_shader_atomic_counters-semantics activate-global-python-argcomplete ase-info turbo_lanczos.x_mpich clear_console ddcpci freefoam-rhoPiso po2txt mcxmap otrs.AddQueue2StdTemplate.pl spindown profnet_prof qbs-config-ui rt-validate-aliases-4 fm2ps svn-autoreleasedeb bmpblk_utility dicomtonifti xjdxgen