Processed: Re: It's actually a sphinx issue
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 owner@bugs.debian.org with problems
Reply to: