Binary: coqide

Debian packages that has this binary:

Package: coqide

/usr/bin/coqide

Random binary cloud:

powerpc64-linux-gnu-gprof bltk_check findthatword gedit MagneticField runhaskell-ghc glite-lb-interlogd glite-proxy-renew sgml2lyx arb_viewport_array-render-depthrange sipdialer lcp_crtpol2 cr_checkpoint cdfmoy_weighted downtime expect_multixterm ffado-fireworks-downloader h5math ircflush aligrep mincgen jffs2dump br_bioflat riakcs.rb amk_ccc-long londiste3 newvserver wrap..exec analogy_config xorp_ospfv2