pkgs.loginroot.com
Home
Packages
Binaries
Binary: gallina
Debian packages that has this binary:
Package:
coq
/usr/bin/gallina
Random binary cloud:
condor_on
mkdfiff
fbo-gl_pointcoord
tricklectl
xwud
xpaint_ocr
tiffgamut
autoradiod
arm-linux-gnueabihf-ld.bfd
bp_seqret
buffer
buildd-update-chroots
calligraplanwork
pv_import
fastaq_merge
gplc-iso
brsccla
mpif90.mpich2
lxclipboard
msg2pdf
simul-gridmap
x86_64-w64-mingw32-ocamlmktop
psppire
taurusuic4
van-pydeb
usearch61
rsakeyfind
s9scm2html
pdp10
unburden-home-dir