Processing control commands: > found -1 coq/8.15.1+dfsg-2 Bug #1012061 [src:coq, src:coquelicot] coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac Marked as found in versions coq/8.15.1+dfsg-2. > found -1 coquelicot/3.2.0-2 Bug #1012061 [src:coq, src:coquelicot] coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac Marked as found in versions coquelicot/3.2.0-2.
-- 1012061: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1012061 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems