| .. |
|
camlidl
|
|
|
|
camlp4
|
camlp4: fix build with spacetime
|
2020-08-15 23:44:01 +02:00 |
|
camlp5
|
ocamlPackages.camlp5: 7.12 → 7.13
|
2020-11-24 08:21:21 +01:00 |
|
cppo
|
ocamlPackages.cppo: 1.6.{5,6} → 1.6.7
|
2020-12-30 15:04:11 +01:00 |
|
crunch
|
|
|
|
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
|
ocamlPackages.js_of_ocaml*: 3.7.0 -> 3.8.0
|
2020-12-19 23:33:20 +01:00 |
|
merlin
|
ocamlPackages.merlin: 3.4.0 → 3.4.2
|
2020-12-31 08:17:21 +01:00 |
|
oasis
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |
|
obelisk
|
obelisk: 0.4.0 → 0.5.2
|
2020-12-02 22:39:56 +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: build legacy versions with OCaml 4.07
|
2020-12-18 21:03:56 +01:00 |
|
ocamlify
|
treewide: run ./maintainers/scripts/update_redirected_urls.sh
|
2020-11-27 01:35:54 +01:00 |
|
ocamlmod
|
treewide: run ./maintainers/scripts/update_redirected_urls.sh
|
2020-11-27 01:35:54 +01:00 |
|
ocamlscript
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |
|
ocp-build
|
ocamlPackages.ocp-build: 1.99.19-beta → 1.99.21-beta
|
2020-10-30 11:39:15 +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
|
|
|
|
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 |
