pkgs.loginroot.com
Home
Packages
Binaries
Binary: gallina
Debian packages that has this binary:
Package:
coq
/usr/bin/gallina
Random binary cloud:
lpr.cups
fts-set-priority
x86_64-w64-mingw32-ranlib
telescope
phpab
pstopdf
advmng
afuse
dispcal
cycfx2prog
dns_tree
tmap
enum
gauche-package
r.drain
xynagios
estwolefind
ireminder
jarwrapper
ri
ansi2html
llgal
mh_genrules
rawtominc
glav
owwrite
r2e-migrate
sz80
tagcoll
xmms2-launcher