Binary: coqide

Debian packages that has this binary:

Package: coqide

/usr/bin/coqide

Random binary cloud:

sfconvert dmevent_tool dspam_dump euca-describe-groups r.statistics id3info psfaddtable raw2tiff arb_texrect-texture-base-level-error qtconfig-qt4 q2trans.x isohybrid.pl dh_dkms gnunet-gns gpsctl gapi2-codegen hrename jgit resume memcdump odfmetadoc myvi Newtonsoft.Json.dll osganimationsolid NRRDToDicom grib_repack randomplay remuco-okular xen-toolstack-wrapper xgfconfig