pkgs.loginroot.com
Home
Packages
Binaries
Binary: gallina
Debian packages that has this binary:
Package:
coq
/usr/bin/gallina
Random binary cloud:
sedispol
libgnutls-extra-config
r.li.richness
mpirun
ext_framebuffer_multisample-turn-on-off
ext_transform_feedback-change-size
mozprofile
generic_count
amavisd-milter
cdfmltmask
cfshow
discid
indi_eval
chkconf
mifare-ultralight-info
memcflush
lighty-disable-mod
lldb-platform
mate-terminal
nitrogen
mhshow
pure-ftpd-ldap-virtualchroot
python-coverage
avg_videoplayer
sgml2x
jc.pl
uno.bin
main.new
tool-stat
xbuffy