pkgs.loginroot.com
Home
Packages
Binaries
Binary: gallina
Debian packages that has this binary:
Package:
coq
/usr/bin/gallina
Random binary cloud:
fs_mark
globus-domainname
ccomps
hddtemp
make_driver_db_cups
gpmetis
rpcdebug
arb_vertex_program-getlocal4d-with-error
pilot-ietf2datebook
pg_dumpall
syncqt.pl
pp.x_mpich
in.imapproxyd
xmlif
aewan
booi
bpython3
markdown-calibre
red.lut
fl-run-bench
gfan_minkowskisum
juke
jana-ecal-event
cc_dump
lrcalc
mouseemu
class-11d.x
tntlogin
rubber-pipe
sks