pkgs.loginroot.com
Home
Packages
Binaries
Binary: gallina
Debian packages that has this binary:
Package:
coq
/usr/bin/gallina
Random binary cloud:
cf-execd
exchange-connector-setup-2.32
pldes
claw-config
arb_draw_instanced-dlist
glsl-unused-varying
glx-pixmap-life
hiz-stencil-read-fbo-d24-s8
mizuho-asciidoc
xdg-user-dirs-gtk-update
xournal
affinfo
dcm_x_disp
dh_auto_clean
mknic-nbi
tnameserv
gdesklets
gd2i
clingo
fortc
llvm-size-3.4
neutron-db-manage
bank.py
avg_videoinfo
denoise_wrapper.py
remuco-mplayer
gpgparticipants-prefill
ssvncviewer
undertaker-coreboot-tree
wdiff