Binary: coqchk

Debian packages that has this binary:

Package: coq

/usr/bin/coqchk

Random binary cloud:

condor_submit cupsaddsmb gvfs-mkdir milter-greylist mrtg-traffic-sum ytobin pdns_control glsl-vs-mov-after-deref rakverb clusvcadm vcf-contrast twm apertium-lextor msp430-elfedit filetea gmerlin_vanalyze grdtrend domain pe.pl pherkin mate-about-me streamtrack dh_phpcomposer prelude-manager scitools zope-sendmail qthid-2.2 roarvio winswitch_away msgcache