pkgs.loginroot.com
Home
Packages
Binaries
Binary: coqide
Debian packages that has this binary:
Package:
coqide
/usr/bin/coqide
Random binary cloud:
bshdoc
ghc
imontty
omniNames
dbpmda
qlalr
rxvt-2.7.10
gmac
po2txt
xchm
airport-config
bconsole
objdump
c2faxsend
cf-agent
cstocs
drbl-userdel-list
dvbtune
fastaq_scaffolds_to_contigs
freedv
gm-restore_data
d.geodesic
launchtool
config-edit
gtk-launch
deb2solv
wsapi.fcgi
repl
popcon-largest-unused
psi-plus-webkit