Package: libcoq-paramcoq Version: 1.1.3+coq8.17-1 Severity: serious Tags: ftbfs Control: affects -1 src:coqeal
Package: libcoq-paramcoq Version: 1.1.3+coq8.17-1+b1 Depends: libcoq-stdlib (>= 8.17) Package: libcoq-paramcoq Version: 1.1.3+coq8.16-3+b1 Depends: libcoq-stdlib-ewsr6 This was likely the root cause of https://buildd.debian.org/status/fetch.php?pkg=coqeal&arch=amd64&ver=1.1.3-1%2Bb1&stamp=1690189656&raw=0