Forum: >>> Magnum BBS <<<

Processed: bug 1078549 is forwarded to https://github.com/LPCIC/coq-elp

From Debian Bug Tracking System@21:1/5 to All on Tue Aug 13 02:00:01 2024

Processing commands for [email protected]:

forwarded 1078549 https://github.com/LPCIC/coq-elpi/issues/678

Bug #1078549 [src:coq-elpi] FTBFS with OCaml 5.2.0 on ppc64el
Set Bug forwarded-to-address to 'https://github.com/LPCIC/coq-elpi/issues/678'.

thanks

Stopping processing here.

Please contact me if you need assistance.
--
1078549: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1078549
Debian Bug Tracking System
Contact [email protected] with problems

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

Sysop:	Keyop
Location:	Huddersfield, West Yorkshire, UK
Users:	741
Nodes:	16 (2 / 14)
Uptime:	110:52:00
Calls:	12,461
Calls today:	3
Files:	15,198
Messages:	6,538,153