Gitlab is now running v13.10.2 - More info -> here <-

Commit 59f8542a authored by Nicolas Thiéry's avatar Nicolas Thiéry

Merge branch '24-install-ocaml-and-some-dependencies' into 'master'

Resolve "Install ocaml and some dependencies"

Closes #24

See merge request !1
parents ddb968a3 82f8394c
Pipeline #89557 passed with stage
in 124 minutes and 22 seconds