Binary: coqide

Debian packages that has this binary:

Package: coqide

/usr/bin/coqide

Random binary cloud:

ld x86_64-linux-gnu-ranlib queryparse gfork isnsd kObjCache svm-subset.py lldptool mpif77 pbmtolps opannotate clipedit quantlib-config rackup xsup_ntpwdhash conjugue-ISO-8859-1 pamd enblend-mp ext3grep gr_time_plot_b rgrep fetchnews external-ip qmqp-sink pygettext2.7 qemu-cris-static masai_indexer run.x86-linux.so sam-dump.2.3.5 tmpreaper