pkgs.loginroot.com
Home
Packages
Binaries
Binary: coqide
Debian packages that has this binary:
Package:
coqide
/usr/bin/coqide
Random binary cloud:
ceph_test_rados_api_misc
cmakereference
cube_cmp
gnome-config
dc1394_ladybug
xml2-config
lvm
cidcall
lupdate
rpmrebuild
sanlock
xscreensaver-getimage-file
yacc.py
ctioga2
add-shell
dxf2vrml
dunst
printdata
ganeti-listrunner
hxxmlns
ldaptor-getfreenumber
selfserv
mate-display-properties-install-systemwide
mia-3drigidreg
micro_proxy
nvramtool
chardet3
uppltotf
IDEvaluatorGUI
seeded-in-ubuntu