..
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.11 → 7.12
2020-07-01 13:46:30 +02: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.8 -> 3.3.9
2020-09-04 16:33:58 +02: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
Declare several versions of OCamlformat ( #88799 )
2020-09-22 07:30:35 +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
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