Skip to content

Update deps

Hichem R. A. requested to merge update_deps into master

Updates dolmen to 0.9.0, restricts Core's version to < v0.16.0 because newer versions of Core require OCaml 4.14.0, while Colibri2 requires OCaml 4.12.0.

Merge request reports