Forum: >>> Magnum BBS <<<

Processed: Re: It's actually a sphinx issue

From Debian Bug Tracking System@21:1/5 to All on Wed Jun 15 22:30:01 2022

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

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

Sysop:	Keyop
Location:	Huddersfield, West Yorkshire, UK
Users:	488
Nodes:	16 (2 / 14)
Uptime:	09:45:28
Calls:	9,664
Calls today:	6
Files:	13,711
Messages:	6,167,199
Posted today:	2