Binary: gallina

Debian packages that has this binary:

Package: coq

/usr/bin/gallina

Random binary cloud:

thin_ls digitemp_DS9097 jcf-dump conjure kinit llvm-symbolizer youget esparse.js horde-set-perms qdbusxml2cpp-qt5 plotrho.x repoview syslinux xglyph tipc-config cp2k dms_createdb pg_7.2to7.3_upgrade_helper.pl ecaccess-association-delete euktotex fwb_compile_all gom maitreya7 nodup foo2qpdl dgscat-long make-plots vba oldlog2new kissbridge