Processing control commands: > reassign -1 src:coq-doc 8.15.1-1 Bug #1012019 [src:sphinx] coq-doc: FTBFS Bug reassigned from package 'src:sphinx' to 'src:coq-doc'. No longer marked as found in versions sphinx/4.5.0-1. Ignoring request to alter fixed versions of bug #1012019 to the same values previously set Bug #1012019 [src:coq-doc] coq-doc: FTBFS Marked as found in versions coq-doc/8.15.1-1. > forwarded -1 https://github.com/coq/coq/pull/16193 Bug #1012019 [src:coq-doc] coq-doc: FTBFS Changed Bug forwarded-to-address to 'https://github.com/coq/coq/pull/16193' from 'https://github.com/sphinx-doc/sphinx/issues/10332'.
-- 1012019: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1012019 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems