pkgs.loginroot.com
Home
Packages
Binaries
Binary: gallina
Debian packages that has this binary:
Package:
coq
/usr/bin/gallina
Random binary cloud:
bf_compact
dirac_UYVYtoRGB
rfrename
r.bitpattern
mdb-parsecsv
pmie
findrule
xgettext.pl
potrace
rawdog
rdesktop
make_filelists
wesnoth_addon_manager
xfce4-session-settings
upgradednformat
tape2wav
g_sans
qikec
latexdiff-rcs
fakenect
scrobble-server
schema2example
logmake
lxclipboard
nova-api
balldollar.png
outguess-extract
bootstrap.jar
vdu
vdm_encode
