Binary: gallina

Debian packages that has this binary:

Package: coq

/usr/bin/gallina

Random binary cloud:

dos2unix.sh __init__.pyo BackupPC_fixupBackupSummary ia64-linux-gnu-as eclipse faked gtester ipv6logconv trinity-fp1 sockaddr wvCleanLatex xa xfce4-settings-editor belvu aevol_misc_gene_families nrparms convert_warp freefoam-Pe gemanx gfs2_fsck r.out.arc levee cpants_lint pfscut mailq rax2 exprlp synaesthesia udp-sender vbetool