Skip to content

testing/ocaml-*: upgrade Reason ML, add OCamlnet and LablGtk3

rubicon requested to merge rubicon/aports:rubicon-coq-reason into master

Tests are green on all archs except ppc64le, which is failing due to the OCaml packages I added yesterday not being available there at the moment.

I managed to upgrade Reason, but enabling Coq's graphical IDE will have to wait for another day. However, I don't use Coq and don't know how its IDE functions.

So, if there is anyone here who is a Coq user, the packages ocaml-lablgtk3 and ocaml-cairo2 from this MR (and their dependencies) should be what you need to enable Coq's graphical IDE.

Edited by rubicon

Merge request reports