Processing commands for cont...@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 ow...@bugs.debian.org with problems
