Processing commands for cont...@bugs.debian.org: > fixed #1012060 8.15.0-2 Bug #1012060 [src:coq, src:coq-bignums] coq breaks coq-bignums autopkgtest: Compiled library Bignums.BigN.BigN makes inconsistent assumptions over library Coq.Init.Ltac The source 'coq' and version '8.15.0-2' do not appear to match any binary packages Marked as fixed in versions coq/8.15.0-2 and coq-bignums/8.15.0-2. > thanks Stopping processing here.
Please contact me if you need assistance. -- 1012060: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1012060 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
