Processing commands for cont...@bugs.debian.org:
> fixed #1012060 coq/8.15.2+dfsg-2
Bug #1012060 {Done: Julien Puydt <jpu...@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 <jpu...@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 ow...@bugs.debian.org with problems
