Bug#918633: why3-coq: package should Depend on a specific Coq version

[Benjamin Barenblat]

Package: why3-coq
Version: 1.1.1-1
Severity: serious

why3-coq Depends on coq, but it contains compiled .vo files that can
only be read by Coq 8.6. (In general, Coq .vo files are tied to the
minor version of Coq that produced them.) why3-coq should Depend on the
minor version of Coq that compiled it (like 8.6 or 8.8).