| .. |
|
camlidl
|
treewide: CAML_LD_LIBRARY_PATH may be undefined
|
2019-11-14 13:44:07 -05:00 |
|
camlp4
|
ocamlPackages.camlp4: fix evaluation for OCaml ≥ 4.09
|
2019-10-25 07:09:42 +00:00 |
|
camlp5
|
Rename z77z into maggesi
|
2019-10-07 17:05:25 +02:00 |
|
cppo
|
Treewide: fix URL permanent redirects
|
2019-11-16 01:41:23 +01:00 |
|
crunch
|
ocaml-crunch: init at 3.1.0
|
2019-12-06 06:17:14 +00:00 |
|
dune
|
dune: 1.11.3 -> 1.11.4
|
2019-10-11 12:10:18 +02:00 |
|
findlib
|
treewide: CAML_LD_LIBRARY_PATH may be undefined
|
2019-11-14 13:44:07 -05:00 |
|
js_of_ocaml
|
js_of_ocaml: fix dependencies
|
2019-11-26 18:03:50 +03: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
|
buildDunePackage: new support function; use it to refactor some OCaml derivations
|
2018-11-07 10:08:03 +01:00 |
|
ocamlbuild
|
ocamlPackages.ocamlbuild: 0.12.0 -> 0.14.0
|
2019-03-03 10:57:18 +01:00 |
|
ocamlformat
|
ocamlformat: 0.11.0 -> 0.12
|
2019-12-09 15:08:07 +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
|
|
|
|
ocp-build
|
treewide: remove redundant rec
|
2019-08-28 11:07:32 +00: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.8 -> 1.1.9
|
2019-03-18 05:39:11 +01:00 |
|
ocsigen-i18n
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
|
omake
|
treewide: remove redundant quotes
|
2019-09-08 23:38:31 +00:00 |
|
opaline
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
|
opam
|
treewide: Make still dont* Variables are optional in most cases
|
2019-11-01 14:44:44 -04:00 |
|
utop
|
treewide: CAML_LD_LIBRARY_PATH may be undefined
|
2019-11-14 13:44:07 -05:00 |
