| .. |
|
camlidl
|
treewide: CAML_LD_LIBRARY_PATH may be undefined
|
2019-11-14 13:44:07 -05:00 |
|
camlp4
|
treewide: replace make/build/configure/patchFlags with nix lists
|
2019-12-30 12:58:11 +01:00 |
|
camlp5
|
treewide: replace make/build/configure/patchFlags with nix lists
|
2019-12-30 12:58:11 +01:00 |
|
cppo
|
Revert "ocamlPackages.cppo: 1.6.5 -> 1.6.6"
|
2020-01-04 09:00:00 -05:00 |
|
crunch
|
ocaml-crunch: init at 3.1.0
|
2019-12-06 06:17:14 +00:00 |
|
dune
|
dune_2: fix hash
|
2020-02-24 12:54:42 +01:00 |
|
findlib
|
treewide: CAML_LD_LIBRARY_PATH may be undefined
|
2019-11-14 13:44:07 -05:00 |
|
js_of_ocaml
|
js_of_ocaml: 3.4.0 -> 3.5.2 (#75766)
|
2020-03-06 07:42:04 +01:00 |
|
merlin
|
ocamlPackages.merlin: 3.3.2 → 3.3.3
|
2019-12-11 09:58:21 +01:00 |
|
oasis
|
Rename z77z into maggesi
|
2019-10-07 17:05:25 +02:00 |
|
obelisk
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
|
obuild
|
treewide: name -> pname
|
2019-08-17 10:54:38 +00:00 |
|
ocaml-top
|
ocaml-top: 1.1.5 → 1.2.0-rc
|
2019-12-15 08:11:56 +01:00 |
|
ocamlbuild
|
|
|
|
ocamlformat
|
ocamlformat: fix 0.13.0 URL
|
2020-02-10 07:34:52 +01:00 |
|
ocamlify
|
Rename z77z into maggesi
|
2019-10-07 17:05:25 +02:00 |
|
ocamlmod
|
Rename z77z into maggesi
|
2019-10-07 17:05:25 +02:00 |
|
ocamlscript
|
treewide: replace make/build/configure/patchFlags with nix lists
|
2019-12-30 12:58:11 +01:00 |
|
ocp-build
|
ocamlPackages.ocp-build: fix for OCaml ≥ 4.08
|
2020-03-01 22:39:43 +01:00 |
|
ocp-indent
|
ocamlPackages.ocp-indent: 1.7.0 → 1.8.1
|
2019-11-04 07:32:17 +00:00 |
|
ocp-index
|
ocamlPackages.ocp-index: 1.1.9 → 1.2
|
2020-03-01 22:39:43 +01:00 |
|
ocsigen-i18n
|
ocsigen-i18n: 3.4.0 → 3.5.0
|
2020-03-08 18:09:22 +01:00 |
|
omake
|
treewide: replace make/build/configure/patchFlags with nix lists
|
2019-12-30 12:58:11 +01:00 |
|
opaline
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
|
opam
|
opam: 2.0.5 -> 2.0.6
|
2020-01-16 15:35:29 +01:00 |
|
utop
|
ocamlPackages.utop: 2.4.2 → 2.4.3
|
2020-01-28 17:33:13 +01:00 |
