Processed: It's actually a sphinx issue

["Debian Bug Tracking System" <owner@bugs.debian.org>]

Processing commands for control@bugs.debian.org:

> reassign #1012019 sphinx 4.5.0
Bug #1012019 [src:coq-doc] coq-doc: FTBFS
Bug reassigned from package 'src:coq-doc' to 'sphinx'.
No longer marked as found in versions coq-doc/8.15.1-1.
Ignoring request to alter fixed versions of bug #1012019 to the same values previously set
Bug #1012019 [sphinx] coq-doc: FTBFS
There is no source info for the package 'sphinx' at version '4.5.0' with architecture ''
Unable to make a source version for version '4.5.0'
Marked as found in versions 4.5.0.
> affects #1012019 coq-doc
Bug #1012019 [sphinx] coq-doc: FTBFS
Added indication that 1012019 affects coq-doc
> forwarded #1012019 https://github.com/sphinx-doc/sphinx/issues/10332
Bug #1012019 [sphinx] coq-doc: FTBFS
Set Bug forwarded-to-address to 'https://github.com/sphinx-doc/sphinx/issues/10332'.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1012019: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1012019
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems