pkgs.loginroot.com
Home
Packages
Binaries
Binary: gallina
Debian packages that has this binary:
Package:
coq
/usr/bin/gallina
Random binary cloud:
BackupPC_fixupBackupSummary
objcopy
openrisc-linux-gnu-ld
ceph_scratchtool
rm
id
initialize_github2fedmsg_db
hp_smoothing_cxx
roundup-demo
floppy
vtk
db2bak
codebehind1.dll
glm
mk_adni_phantom
freefoam-interDyM
dial_tone
indi_tcfs_focus
findorule
s3get
llvm-mcmarkup
locate.findutils
obm-nav
dmi_resource
sigma
pdp15
specto
OMSSAAdapter
twoftpd-anon-conf
h5convert