pkgs.loginroot.com
Home
Packages
Binaries
Binary: gallina
Debian packages that has this binary:
Package:
coq
/usr/bin/gallina
Random binary cloud:
hlfsd
avr-g++
cf-promises
tbench_srv
tkpasswd
gnome-session-custom-session
gpgkey2ssh
international-time
otfdump
ncargex
Medical3
bf_compact-bdb
cback-span
cpufreqd-set
ctdb_persistent
fdpowermon
gosh
g.mapset
hg-fast-export
dustmasker
pkann
taurusgui
quickml
spe
ssft.sh
tg_index.bin
eptex
vbetool
why
clientupdate