Binary: gallina

Debian packages that has this binary:

Package: coq

/usr/bin/gallina

Random binary cloud:

BackupPC_link condor_run condor_master ck-log-system-start sgdisk mlpack_local_coordinate_coding routino-planetsplitter ntdbdump sg_sat_set_features smbios-wakeup-ctl musixflx zabbix_server_sqlite3 cougar autocutsel sethdlc printerbanner freefoam-attachMesh jv-convert-4.9 forge_get_config dh_gnome_clean grpn wine jeuclid-cli servertool phonefsod qmail-queue serverlove.rb srtp_driver tomoyo-auditd uwsgi_router_access