pkgs.loginroot.com
Home
Packages
Binaries
Binary: gallina
Debian packages that has this binary:
Package:
coq
/usr/bin/gallina
Random binary cloud:
i.group
intel_reg_read
korganizer
smixlate
hca_self_test.ofed
escp2topbm
tilt
piglit-merge-results
smoltGui
star
sysprof
httexi
dhcp6s
objcopy
cappuccino
crashmaint
elyxer
gcb
html2utf8
h2synth
ipe6upgrade
is.pl
txt2pbes
mipe2snps
mdtool.exe
flowtop
zpcregrep
simsearch
vflmkgf
zivot