Binary: gallina

Debian packages that has this binary:

Package: coq

/usr/bin/gallina