Binary: gallina

Debian packages that has this binary:

Package: coq

/usr/bin/gallina

Random binary cloud:

BackupPC_fixupBackupSummary objcopy openrisc-linux-gnu-ld ceph_scratchtool rm id initialize_github2fedmsg_db hp_smoothing_cxx roundup-demo floppy vtk db2bak codebehind1.dll glm mk_adni_phantom freefoam-interDyM dial_tone indi_tcfs_focus findorule s3get llvm-mcmarkup locate.findutils obm-nav dmi_resource sigma pdp15 specto OMSSAAdapter twoftpd-anon-conf h5convert