Binary: coqc

Debian packages that has this binary:

Package: coq

/usr/bin/coqc

Random binary cloud:

udppm autoscan-2.13 bfin-linux-gnu-gprof celestia fcoeadm fedmsg-irc g_trjcat mlpack_det pnmcolormap dlist-color-material average.x_mpich q2qstar.x_mpich tuxpaint-import icon_append_index gdal_list_corners drblsrv epic5 exrnormalize gpsprune ca.pl perf_3.16 nzbget poa pvm_gstat celeryd_detach.py resolvconf dreamhost.rb sfood scfg_test xy2sky