Source: coq, coquelicot Control: found -1 coq/8.15.1+dfsg-2 Control: found -1 coquelicot/3.2.0-2 Severity: serious Tags: sid bookworm User: debian-ci@lists.debian.org Usertags: breaks needs-update Dear maintainer(s),With a recent upload of coq the autopkgtest of coquelicot fails in testing when that autopkgtest is run with the binary packages of coq from unstable. It passes when run with only packages from testing. In tabular form:
pass fail
coq from testing 8.15.1+dfsg-2
coquelicot from testing 3.2.0-2
all others from testing from testing
I copied some of the output at the bottom of this report.
Currently this regression is blocking the migration of coq to testing
[1]. Due to the nature of this issue, I filed this bug report against
both packages. Can you please investigate the situation and reassign the
bug to the right package?
More information about this bug and the reason for filing it can be found on https://wiki.debian.org/ContinuousIntegration/RegressionEmailInformation Paul [1] https://qa.debian.org/excuses.php?package=coq https://ci.debian.net/data/autopkgtest/testing/amd64/c/coquelicot/22188156/log.gz File "./BacS2013.v", line 24, characters 0-112: Error:Compiled library Coquelicot.Rcomplements (in file /usr/lib/ocaml/coq/user-contrib/Coquelicot/Rcomplements.vo) makes inconsistent assumptions over library Coq.Init.Ltac
autopkgtest [11:12:10]: test examples
Attachment:
OpenPGP_signature
Description: OpenPGP digital signature