Binary: gallina

Debian packages that has this binary:

Package: coq

/usr/bin/gallina

Random binary cloud:

unarj ia64-linux-gnu-ld boinccmd c-index-test clojure ipmi-chassis-config ipmi-ping sge_shadowd isdnconf akonadi2xml pilot-install-todo lupdate-qt4 satyr sg_raw zbarimg apt-extracttemplates bibledit-git xduplic-copier gnome-subtitles trjorder_d hwloc-diff crosspost mcu8051ide mumble-django-configure owl qemu-x86_64 seqan_tcoffee OpenSwathRewriteToFeatureXML xls2ods wmbiff