pkgs.loginroot.com
Home
Packages
Binaries
Binary: gallina
Debian packages that has this binary:
Package:
coq
/usr/bin/gallina
Random binary cloud:
bf_copy
dmenu_path
ftvalid
msginit
lprsetup.sh
xwdtopnm
ntfscat
lspci
pdfbook
pdf_text
scorep-score
gbkpdflatex
trace-view
exp
blaze-config
ddptctl
newinclude
gerris3D
copylink
hocr
yuv4mpeg
otrs.CreateTranslationFile.pl
certs2ldap.py
pydhcp
lupdate
qtconfig
ruby-standalone
tau_analyze
xnbd-watchdog
wpe