Binary: coqdoc

Debian packages that has this binary:

Package: coq

/usr/bin/coqdoc

Random binary cloud:

system-config-authentication simfsm euca-version ftp lokalize umount.nfs rndr pm-hibernate rbox pktogf catalog_update.inc dacsacl db5.3_dump dcmmkdir cathparse gmerlin_recorder gnome-pie r.horizon gtranslator herold hxpipe b64-encode.awk logtool match mia-3dnonrigidreg-alt qdbusviewer rt-email-dashboards-4 sipdump transfermii_gui xentrace