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