Processed: Get rid of old bugs preventing testing migration
Processing commands for control@bugs.debian.org:
> notfound #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
Ignoring request to alter found versions of bug #1012060 to the same values previously set
> notfound #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
Ignoring request to alter found versions of bug #1012061 to the same values previously set
> 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: