pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: gallina

Debian packages that has this binary:

Package: coq

/usr/bin/gallina

Random binary cloud:

btrace uniq fusioninventory-inventory joe munin-run qucshelp clicktocall reposdump sfscandiff setxkbmap azr3 cjs-console envext ebook2odt opimd_fix_db fixpot git-pbuilder cpphs-hugs zebrasrv-2.0 llvm-link llvm-as-3.5 magjson resample_tracks class-11d.x pegasus-sc-converter dicomimageviewer pyacidobasic swift-container-sync VisualBoyAdvance zl

© loginroot.com, 2016