Binary: gallina

Debian packages that has this binary:

Package: coq

/usr/bin/gallina

Random binary cloud:

mkfs.ext4dev i.ortho.photo g_disre_d htdbm makedumpfile iodbc-config dnal arbtt-capture strip bp_revtrans-motif crashgetnode multidelta mpipython fallc.fal convert2gpx fc-solve freefoam-coldEngine hxindex jocamllex make_combined_log2 mcrl2xi es2gears xfminvert wxglade httparty scsi-spin snacc latf-load tsdecrypt_ffdecsa ucimf_keyboard