| .. |
|
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.0 -> 2.5.1
|
2020-04-20 09:08:36 +02:00 |
|
findlib
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |
|
js_of_ocaml
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |
|
merlin
|
ocamlPackages.merlin: 3.3.2 → 3.3.3
|
2019-12-11 09:58:21 +01:00 |
|
oasis
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |
|
obelisk
|
|
|
|
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.0 -> 0.14.1
|
2020-04-21 08:56:19 +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
|
|
|
|
opam
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |
|
utop
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |
