pkgs.loginroot.com
Home
Packages
Binaries
Binary: gallina
Debian packages that has this binary:
Package:
coq
/usr/bin/gallina
Random binary cloud:
bashbug-64
ceph_test_ioctls
db43_printlog
tail
ffplugingui
ulockmgr_server
gearman
sound_dump
iscsi-readcapacity16
par2create
nylist-g77
ldapsearch
arb_uniform_buffer_object-getuniformindices
qmake
bcftools
trace-summary
loon
cdfvT
dh_gconf
dizzy-render
freefoam-foamToGMV
gdiffmk
policytool
parallel-rsync
gout-int64
swgen
synce-serial-config
uwsgi_geoip
imresize
zalign