Processed: Let all things Coq go to testing already!
Processing commands for control@bugs.debian.org:
> fixed #1012060 coq/8.15.2+dfsg-2
Bug #1012060 {Done: Julien Puydt <jpuydt@debian.org>} [src:coq, src:coq-bignums] coq breaks coq-bignums autopkgtest: Compiled library Bignums.BigN.BigN makes inconsistent assumptions over library Coq.Init.Ltac
Marked as fixed in versions coq/8.15.2+dfsg-2.
> fixed #1012061 coq/8.15.2+dfsg-2
Bug #1012061 {Done: Julien Puydt <jpuydt@debian.org>} [src:coq, src:coquelicot] coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac
Marked as fixed in versions coq/8.15.2+dfsg-2.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
1012060: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1012060
1012061: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1012061
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: