Binary: coqdoc

Debian packages that has this binary:

Package: coq

/usr/bin/coqdoc

Random binary cloud:

avahi-set-host-name BackupPC_fixupBackupSummary cdmake ebb eu-strings gsl-config h5import httping ppmntsc gunicorn_paster ytnefprint log2long e2mtiff install-exim4.sh gjiten gnunet-qr hatari-winuae xtables-multi bespin memctouch PTtiff2psd mkc_check_header onesixtyone eoutdent otrs.CheckModules.pl pg_receivexlog stg-cvs ringstat wmix xfce4-volumed