Binary: coqc

Debian packages that has this binary:

Package: coq

/usr/bin/coqc

Random binary cloud:

era_check docbook2man ffrefboxrep gjavah globus-k5 d.path v.edit ftp mode2 clvmd ng_vol packagekit-bugreport.sh pcc ext_texture_integer-texture_integer_glsl130 lhapdf-getdata qlalr R grep-dctrl discoSnp_to_genotypes drbl-fuh-rm grace-thumbnailer rmid osganimationsolid otrs.CryptPassword.pl pg_virtualenv profnet_norsnet trml2pdf rhnsd rtl_power safe-rm