Binary: coqide

Debian packages that has this binary:

Package: coqide

/usr/bin/coqide

Random binary cloud:

gvfs-copy gvfs-monitor-dir mcheck night_filter pcl_virtual_scanner qdbusxml2cpp kss2wfk ilmid heka2itx bley fillImageDB check-enhancements expect_rftp fence_alom phod2a originator r.drain gst-discoverer-1.0 condor_credd mimecat pure-ftpd-mysql radioclkd chrid.dat commander science-highenergy-physics-dev smtpprox-loopprevent tracd v4l2ctrl wrc xbindkeys_show