| .. |
|
camlidl
|
treewide: remove redundant quotes
|
2019-09-08 23:38:31 +00: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: remove redundant quotes
|
2019-09-08 23:38:31 +00:00 |
|
dune
|
dune: 1.11.3 -> 1.11.4
|
2019-10-11 12:10:18 +02:00 |
|
findlib
|
Merge staging-next into staging
|
2019-11-11 12:09:26 +01:00 |
|
js_of_ocaml
|
ocamlPackages.js_of_ocaml*: 3.3.0 -> 3.4.0
|
2019-09-14 06:54:35 +00:00 |
|
merlin
|
ocamlPackages.merlin: 3.3.1 -> 3.3.2
|
2019-07-15 16:11:22 +02: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.8 → 0.11.0
|
2019-09-24 05:53:06 +00: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
|
Ensure that we can evaluate the platform attribute of ocaml packages.
|
2016-03-13 19:08:26 +00:00 |
|
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
|
ocamlPackages.utop: fix source
|
2019-11-12 13:24:44 +01:00 |
