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
