Binary: coqc

Debian packages that has this binary:

Package: coq

/usr/bin/coqc

Random binary cloud:

generate_modules.pyc bsdcpio3 gio-querymodules-64 g_dist ibccquery tiffset faxspool shptest ttf2afm v4l2-ctl rvim bregex XletSettings.py create_greyscale_module drbl-client-service ecaccess-file-mkdir start_webtool findbugs-msv gopchop king tracemerge nbdswapd latop pm_test inherita base.py etrn snp-sites unihist zwrite