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