Binary: gallina

Debian packages that has this binary:

Package: coq

/usr/bin/gallina

Random binary cloud:

atop euare-instanceprofilegetattributes gnatls gvfs-rm ph5diff h5import ristosds zh kalarmautostart pmlogconf perlbrew prove formail vigra-config GWCommand ranlib btlaunchmany.bittorrent brltty-ctb db5.3_verify dh_installinfo gaphor mftrace pepper pg_top createlang cobe rspamc vdb-dump.2.3.5 vdb-unlock bmpblk_font