nixpkgs/pkgs/development/tools/ocaml
2020-12-02 22:39:56 +01:00
..
camlidl treewide: CAML_LD_LIBRARY_PATH may be undefined 2019-11-14 13:44:07 -05:00
camlp4 camlp4: fix build with spacetime 2020-08-15 23:44:01 +02:00
camlp5 ocamlPackages.camlp5: 7.12 → 7.13 2020-11-24 08:21:21 +01:00
cppo ocamlPackages.cppo: 1.6.5 → 1.6.6 2020-04-09 10:02:59 +02:00
crunch ocaml-crunch: init at 3.1.0 2019-12-06 06:17:14 +00:00
dune dune_2: fix hash 2020-09-07 13:26:52 +02:00
dune-release dune-release: 1.3.3 → 1.4.0 2020-08-02 15:01:02 +02:00
findlib treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
js_of_ocaml js_of_ocaml: 3.6.0 → 3.7.0 2020-08-15 07:29:11 +02:00
merlin ocamlPackages.merlin: 3.3.9 -> 3.4.0 2020-10-04 16:57:52 +02:00
oasis treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
obelisk obelisk: 0.4.0 → 0.5.2 2020-12-02 22:39:56 +01:00
obuild treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
ocaml-top treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
ocamlbuild treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
ocamlformat ocamlformat: refactor 2020-10-18 09:51:18 +02:00
ocamlify treewide: run ./maintainers/scripts/update_redirected_urls.sh 2020-11-27 01:35:54 +01:00
ocamlmod treewide: run ./maintainers/scripts/update_redirected_urls.sh 2020-11-27 01:35:54 +01:00
ocamlscript treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
ocp-build ocamlPackages.ocp-build: 1.99.19-beta → 1.99.21-beta 2020-10-30 11:39:15 +01:00
ocp-indent ocamlPackages.ocp-indent: 1.8.1 -> 1.8.2 2020-08-15 14:10:21 +00:00
ocp-index ocamlPackages.ocp-index: 1.2 → 1.2.1 2020-09-02 10:30:34 +02:00
ocsigen-i18n treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
omake treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
opaline treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
opam opam: add marsam to maintainers 2020-04-21 15:49:43 +02:00
utop treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00