pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: gallina

Debian packages that has this binary:

Package: coq

/usr/bin/gallina

Random binary cloud:

db43_checkpoint dahdi_cfg ebtables-save g_order kfourinlineproc error_resilient pnmtops run_perftest_loopback mnemo-import-text-note system-config-kdump record Affiche autossh-argv0 exifcom handler.py git-remote-bzr hmmpgmd polarssl_mpi_demo lxc-test-concurrent mincconvert sdeconv ubinize nuitka osgstereomatch polygraph-distr-test pyblioconvert mzc ristretto FileMerger unidup

© loginroot.com, 2016