#1143518 coq-gappa: autopkgtest regression

Package:
src:coq-gappa
Source:
src:coq-gappa
Submitter:
Adrian Bunk
Date:
2026-08-04 13:35:02 UTC
Severity:
normal
#1143518#5
Date:
2026-08-03 14:00:14 UTC
From:
To:
https://tracker.debian.org/pkg/coq-gappa

Migration status for coq-gappa (1.7.0-1 to 1.10.0-2): BLOCKED: Rejected/violates migration policy/introduces a regression
Issues preventing migration:
∙ ∙ Autopkgtest for coq-gappa/1.10.0-2: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)

...
132s [deprecated-dirpath-Coq,deprecated-since-9.0,deprecated,default]
132s File "/tmp/autopkgtest-lxc.2okr7jzc/downtmp/autopkgtest_tmp/check.v", line 22, characters 2-29:
132s Warning: Coq.Reals.Rdefinitions.Rinv has been replaced by
132s Stdlib.Reals.Rdefinitions.Rinv.
132s [deprecated-dirpath-Coq,deprecated-since-9.0,deprecated,default]
132s File "/tmp/autopkgtest-lxc.2okr7jzc/downtmp/autopkgtest_tmp/check.v", line 22, characters 2-29:
132s Warning: Coq.Reals.Rbasic_fun.Rabs has been replaced by
132s Stdlib.Reals.Rbasic_fun.Rabs.
132s [deprecated-dirpath-Coq,deprecated-since-9.0,deprecated,default]
132s autopkgtest [06:26:18]: @@@@@@@@@@@@@@@@@@@@ summary
132s command1             PASS
132s testsuite            FAIL stderr: File "/tmp/autopkgtest-lxc.2okr7jzc/downtmp/autopkgtest_tmp/check.v", line 1, characters 15-20:
...