pkgs.loginroot.com
Home
Packages
Binaries
Binary: gallina
Debian packages that has this binary:
Package:
coq
/usr/bin/gallina
Random binary cloud:
btrace
uniq
fusioninventory-inventory
joe
munin-run
qucshelp
clicktocall
reposdump
sfscandiff
setxkbmap
azr3
cjs-console
envext
ebook2odt
opimd_fix_db
fixpot
git-pbuilder
cpphs-hugs
zebrasrv-2.0
llvm-link
llvm-as-3.5
magjson
resample_tracks
class-11d.x
pegasus-sc-converter
dicomimageviewer
pyacidobasic
swift-container-sync
VisualBoyAdvance
zl