pkgs.loginroot.com
Home
Packages
Binaries
Binary: gallina
Debian packages that has this binary:
Package:
coq
/usr/bin/gallina
Random binary cloud:
microblaze-linux-gnu-ar
globus-gass-cache-destroy
globus-url-copy
r.slope.aspect
include-what-you-use
egroupwarewizard
par2
pilot-debugsh
Xnest
create_bmp_for_stripline_coupler
cucumber
dh_shlibdeps
debian-edu-update-netblock
dt-createdb
eiciel
gom
inews
kritagemini
ltsinfo
med-imaging
mhddfs
mia-3ddistance
oggDump
memory_compare
psurface-convert
instant-showcache
tcp-env
sra-stat.2
bin2fex
wildmidi