Processing control commands: > found -1 coq/8.15.1+dfsg-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 Marked as found in versions coq/8.15.1+dfsg-2. > found -1 coq-bignums/8.15.0-1 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 Marked as found in versions coq-bignums/8.15.0-1.
-- 1012060: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1012060 Debian Bug Tracking System Contact [email protected] with problems
