pkgs.loginroot.com
Home
Packages
Binaries
Binary: gallina
Debian packages that has this binary:
Package:
coq
/usr/bin/gallina
Random binary cloud:
aureport
objdump
dbus-binding-tool
dpkg-scanpackages
mysql_waitpid
glx-swap-pixmap
dynmat.x_mpich
python_count
xmlindexer
bno_plot
cryptdisks_stop
csanalyze
dcmcjpeg
jumble
git-import-dscs
gmime-uudecode
gnunet-arm
htp
oxygen-settings
memcdump
wlancfg
testMP3Streamer
mia-3dlandmarks-transform
mp3fs
proftpd-gencert
ironic
radeonreg
scanssh
synce-serial-chat
wmaloader