pkgs.loginroot.com
Home
Packages
Binaries
Binary: gallina
Debian packages that has this binary:
Package:
coq
/usr/bin/gallina
Random binary cloud:
checklocales.pyo
dirac_decoder
disktype
jcf-dump
kbuildsycoca
virt-format
drawpix-z
vapigen-0.10
xfsmdiag
arm-none-eabi-strings
mips64el-linux-gnuabi64-readelf
cantata
djscript
elogd
flashcache_destroy
hspace
gfan_latticeideal
mmpfb
directfb-config
masterha_check_ssh
read_dicom
jrunscript
outguess-histogram
MarketModels
regina-python
scaladoc
sleepctl
sup-config
uwsgi_emperor_pg
grind