On 18. 01. 20 13:03, Richard W.M. Jones wrote:
OCaml 4.10.0 beta1 was released upstream about a week ago
(https://bugzilla.redhat.com/show_bug.cgi?id=1673688). I'm intending
to build OCaml packages into a side tag starting today, and then
if it seems to work well integrate it into F32.
Hello.
There are three packages that started to fail now and the log says something
about ocaml:
https://koschei.fedoraproject.org/package/coq
https://koschei.fedoraproject.org/package/xen
https://koschei.fedoraproject.org/package/z3
All three interfere with our Python 3.9 rebuilds. Should I open bugzillas or is
this still work in progress?
--
Miro Hrončok
--
Phone: +420777974800
IRC: mhroncok
_______________________________________________
devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx
