Binary: coqc

Debian packages that has this binary:

Package: coq

/usr/bin/coqc

Random binary cloud:

yes qconf halockrun makeg ksquares ext_framebuffer_multisample-clip-and-scissor-blit plowdown export2sam.pl mailutil xine-check airmon-ng get-oui numfmt cvm-pgsql-udp ebncontrol gksu i686-w64-mingw32-g++-win32 imview tdx-util ips gapplication mpg123-nas powerd-config jhat rebar rep-remote amk_fft2-int64 make-eot starpu_paje_state_stats wxAstroCapture