pkgs.loginroot.com
Home
Packages
Binaries
Binary: gallina
Debian packages that has this binary:
Package:
coq
/usr/bin/gallina
Random binary cloud:
celtdec
zserv
s390x-linux-gnu-cpp
bdftops
gfs-gfork-master
rotctld
naev
pmdumptext
turba-convert-sql-shares-to-sqlng
arb_texture_multisample-minmax
tie
ucommon-config
cfdisk
zanata
debiandoc2dbk
switch-pxe-bg-mode
vefte
install-nsspgsql.sh
tcpbsi
mb-applet-wireless
mia-3dcombine-mr-segmentations
jdb
pcimodules
qemu-sh4eb-static
xenserver.rb
ssr
tupi
vdm_encode
vzmigrate
simplify2why