Binary: coqide

Debian packages that has this binary:

Package: coqide

/usr/bin/coqide

Random binary cloud:

amadmin ceph_test_cors applydeltaiso h5import lrzip vgrename sponge sandbox_skeleton qshape sdbadmin iwconfig file65 brltty cdfzonalmean efix-0.9a scheme-elk expo.itt fastdep x86_64-linux-gnu-gcc-nm-4.8 GNUIDLObjectGenerator.pm simgrid-colorizer svm-grid pg_tapgen lsh-execuv pkextract shindont svnauthz-validate swami tsung_stats.pl sql_schema.sql.mako