Binary: coqwc

Debian packages that has this binary:

Package: coq

/usr/bin/coqwc

Random binary cloud:

bltk_get_hdparm LzmaCompress khelpcenter cgconfigparser mpitests-osu_multi_lat obchiral fbo-blit-d24s8 useprogram-flushverts-2 plymouth ftptop xpbsmon wvVersion apt-file cfingerd debiandoc2latexdvi mergechanges genrestr_d gapi3-codegen iptables-save Netxx-config nfc-mfsetuid mk_fol_names.install nova-cert pmxab postbooks pure-ftpd-mysql-virtualchroot python2-coverage syldbimport dupvserver translaboob