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

© loginroot.com, 2016