Binary: coq_makefile

Debian packages that has this binary:

Package: coq

/usr/bin/coq_makefile

Random binary cloud:

blktrace lrmadmin mkdssp freeroute.jnlp pnmtojbig initialized-texmemory newaliases.postfix virt-convert virt-image adsl-setup sendmail.ssmtp flood_mld26 voikkospell wvWml xlsfonts mheard cinnamon-launcher expeyes-junior t2p gr_plot_fft_f kaddressbook-mobile kmldonkey llvm-config-3.4 miview public.pl otrs.ArticleStorageSwitch.pl patch-hmm.pl cachepic vbmm2 xenstore-control