Processing commands for control@bugs.debian.org:

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 owner@bugs.debian.org with problems

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