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).