pkgs.loginroot.com
Home
Packages
Binaries
Binary: gallina
Debian packages that has this binary:
Package:
coq
/usr/bin/gallina
Random binary cloud:
db43_checkpoint
dahdi_cfg
ebtables-save
g_order
kfourinlineproc
error_resilient
pnmtops
run_perftest_loopback
mnemo-import-text-note
system-config-kdump
record
Affiche
autossh-argv0
exifcom
handler.py
git-remote-bzr
hmmpgmd
polarssl_mpi_demo
lxc-test-concurrent
mincconvert
sdeconv
ubinize
nuitka
osgstereomatch
polygraph-distr-test
pyblioconvert
mzc
ristretto
FileMerger
unidup