pkgs.loginroot.com
Home
Packages
Binaries
Binary: gallina
Debian packages that has this binary:
Package:
coq
/usr/bin/gallina
Random binary cloud:
ld
cmake-fedora-fedpkg
mkdssp
fb_smp_server
gccxml_cc1plus
ktoblzcheck
ppmforge
j2k_to_image
oparchive
parrot_nci_thunk_gen
ext_transform_feedback-generatemipmap
sdcc-sdasgb
sigul_server
udisks
vglconnect
HierarchicalBoxPipeline
regsvr32
aediff
aoss
debiandoc2pdf
x86_64-linux-gnu-gfortran
grdcut
send-uucp.pl
splitfont
cmdebug
owmon
filter_otus_from_otu_table.py
rlfe
pval
spinner