pkgs.loginroot.com
Home
Packages
Binaries
Binary: gallina
Debian packages that has this binary:
Package:
coq
/usr/bin/gallina
Random binary cloud:
frv-linux-gnu-c++filt
drat
gdbserver
httpd.event
dcopidlng
piconv
getuniform-01
glx-multithread-makecurrent-3
po4a-updatepo
tex4ht-ht
mpstools
mkfontscale
array-info
powerpc-linux-gnu-size
c-index-test
db5.3_stat
list-desktop-profiles
installdeb-hunspell
tapeconv
deb-systemd-helper
jacksum
kumolog
vdb_view
batch_rubber_sheet
mia-2dimagecreator
nvtv
qmail-lspawn
atk6-fake_mld26
transgui
velvetg_63_long