Update ocaml packages
This lists outdated packages
- coq -> 8.14.0 (see #9)
Can't update:
- bap -> 2.3.0 missing dependencies, switch to latest ocaml
- ocaml-batteries -> 3.3.0 require new dependencies
- ocaml-dose3 -> 7.0.0 change together with ocaml-graph, and wait for next opam release
- ocaml-graph -> 2.0.0 change together with dose3, and wait for next opam release
- ocaml-pcre -> 7.5.0 need ocaml >= 4.12
- ocaml-rresult -> 0.7.0 ocaml-bos fails with
Result.result is abstract because no corresponding cmi file was found in path.
- ocaml-sqlite3 -> 5.1.0 need ocaml >= 4.12
- js-of-ocaml -> 3.11.0 linking error during tests
Don't update:
- ocaml-bibtex2html -> 1.99-1
- ocaml-cudf -> 0.9-1
- ocaml-mccs -> 1.1+13
- ocaml-merlin -> 4.3.2 this is a preview, and targets ocaml 4.13
- ocaml-migrate-parsetree-1 -> 2.2.0
- ocaml-ocb-stubblr -> 0.1.1-1
Edited by Julien Lepiller