Binary: coq-tex

Debian packages that has this binary:

Package: coq

/usr/bin/coq-tex

Random binary cloud:

bglpp man8x f95 h5c++-64 pgmmedian camlp4oof.opt picogcnf qdbus rlog rake-compiler autospec argonaut-server ceph_test_rados_api_misc check_postgres_dbstats resample dateutils.dseq dnaclust-abun tobin gerris2D gnunet-peerinfo gnunet-publish miz3e bp.pl txt2las rsvg-view-3 mkdtdskel ltscompare tbl2asn perl-cross-staging genohyper.txt.gz