nixpkgs/pkgs/development/tools/ocaml
2020-06-15 08:53:50 +02:00
..
camlidl treewide: CAML_LD_LIBRARY_PATH may be undefined 2019-11-14 13:44:07 -05:00
camlp4 treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
camlp5 treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +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: 2.5.1 -> 2.6.0 2020-06-08 10:45:02 +02:00
findlib treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
js_of_ocaml ocamlPackages.js_of_ocaml_2: remove at 2.7 & 2.8.4 2020-06-15 08:53:50 +02:00
merlin ocamlPackages.merlin: 3.3.4 -> 3.3.6 2020-06-12 04:20:00 -05:00
oasis treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
obelisk treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +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: 0.14.1 -> 0.14.2 2020-05-12 08:14:18 +02:00
ocamlify treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
ocamlmod treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
ocamlscript treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
ocp-build treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
ocp-indent treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
ocp-index treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01: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