Binary: coqdoc

Debian packages that has this binary:

Package: coq

/usr/bin/coqdoc

Random binary cloud:

euca-reset-snapshot-attribute sendmail.exim gfal-mkdir hp2ps gmtmath inxi s3 ppmtoterm scalasca star dmxtodmx imapd print_server_display dictl vectorstrip defectDensity gnome-ppp jigdo-file vcstime safe-ldif install-sh mimms osgthreadedterrain pfsabsolute envfrom2srs taurustrend2d yubikey-totp update-usbids csg_inverse integer_calc