pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: gallina

Debian packages that has this binary:

Package: coq

/usr/bin/gallina

Random binary cloud:

bf_copy dmenu_path ftvalid msginit lprsetup.sh xwdtopnm ntfscat lspci pdfbook pdf_text scorep-score gbkpdflatex trace-view exp blaze-config ddptctl newinclude gerris3D copylink hocr yuv4mpeg otrs.CreateTranslationFile.pl certs2ldap.py pydhcp lupdate qtconfig ruby-standalone tau_analyze xnbd-watchdog wpe

© loginroot.com, 2016