summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/ocaml-fileutils: add 0.6.4Rafael Kitover2022-12-032-1/+26
| | | | | | | | | | Remove the 'v' version prefix, that is no longer used. Remove the edit to use ounit2 for tests, that is no longer necessary. Signed-off-by: Rafael Kitover <rkitover@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/28516 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-fileutils: drop 0.6.2-r1Rafael Kitover2022-12-031-32/+0
| | | | | | | In preparation for adding 0.6.4. Signed-off-by: Rafael Kitover <rkitover@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/llvm-ocaml: Remove 16.0.0_pre20221120Michał Górny2022-12-022-113/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 15.0.3Michał Górny2022-12-022-117/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/merlin: drop old 4.3.1-r3Maciej Barć2022-11-302-86/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/merlin: drop old 4.2-r2Maciej Barć2022-11-302-85/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/merlin: drop old 3.4.2-r3Maciej Barć2022-11-302-71/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/merlin: drop old 4.4-r3Maciej Barć2022-11-302-96/+0
| | | | | Closes: https://bugs.gentoo.org/883625 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/merlin: bump to 4.7Maciej Barć2022-11-302-0/+109
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 15.0.6Michał Górny2022-11-292-0/+117
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: 15.x is now 15.0.6.9999Michał Górny2022-11-291-0/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/merlin: remove seq reference from dune build fileMaciej Barć2022-11-281-1/+4
| | | | | Closes: https://bugs.gentoo.org/883433 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/yojson: drop 2.0.0Alfredo Tupone2022-11-262-40/+0
| | | | | Closes: https://bugs.gentoo.org/861356 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Remove 15.0.4Michał Górny2022-11-262-117/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 16.0.0_pre20221113Michał Górny2022-11-262-113/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 16.0.0_pre20221126 snapshotMichał Górny2022-11-262-0/+113
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ocurl: use HTTPSMichael Mair-Keimberger2022-11-242-2/+2
| | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
* dev-ml/calendar: use HTTPSMichael Mair-Keimberger2022-11-241-4/+4
| | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
* dev-ml/dune-site: add 3.2.0Alfredo Tupone2022-11-222-0/+32
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-private-libs: add 3.2.0Alfredo Tupone2022-11-222-0/+37
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/stdune: add 3.2.0Alfredo Tupone2022-11-222-0/+36
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dyn: add 3.2.0Alfredo Tupone2022-11-222-0/+32
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ordering: add 3.2.0Alfredo Tupone2022-11-222-0/+31
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: add 3.2.0Alfredo Tupone2022-11-222-0/+40
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-build-info: add 3.2.0Alfredo Tupone2022-11-222-0/+29
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: add 3.2.0Alfredo Tupone2022-11-222-0/+69
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: add 3.1.1Alfredo Tupone2022-11-212-0/+66
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: relax dune depsAlfredo Tupone2022-11-211-2/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ounit2: remove seq reference from dune build fileMaciej Barć2022-11-212-0/+21
| | | | | Closes: https://bugs.gentoo.org/882337 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/dune: use ED instead of DAlfredo Tupone2022-11-201-4/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Add 16.0.0_pre20221120 snapshotMichał Górny2022-11-202-0/+113
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/dune-private-libs: adj depsAlfredo Tupone2022-11-201-3/+7
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/stdune: adj depsAlfredo Tupone2022-11-201-2/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ordering: relax deps on duneAlfredo Tupone2022-11-201-2/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dyn: relax dune deps, and constraint dev-ml/ordering depAlfredo Tupone2022-11-201-2/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: build dune-configuratorAlfredo Tupone2022-11-193-16/+43
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: separate dune-configuratorAlfredo Tupone2022-11-191-21/+8
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-private-libs: fix buildAlfredo Tupone2022-11-191-10/+9
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/stdune: new package, add 3.0.3Alfredo Tupone2022-11-193-0/+47
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dyn: new package, add 3.0.3Alfredo Tupone2022-11-193-0/+44
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ordering: new package, add 3.0.3Alfredo Tupone2022-11-193-0/+44
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/pp: new package, add 1.1.2Alfredo Tupone2022-11-193-0/+32
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ptmap: remove seq reference from dune build fileMaciej Barć2022-11-192-0/+13
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/dune-site: bump to 3.0.3Maciej Barć2022-11-192-0/+31
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/dune-private-libs: bump to 3.0.3Maciej Barć2022-11-192-0/+36
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/dune: add 3.0.3Alfredo Tupone2022-11-192-0/+80
| | | | | | includes dune-configurator Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: add 3Alfredo Tupone2022-11-191-0/+16
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/gen: drop seq dependency on dune fileAlfredo Tupone2022-11-191-0/+9
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam: Stabilize 2.1.2-r1 ppc64, #859508Arthur Zamarin2022-11-191-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam-client: Stabilize 2.1.2 ppc64, #859508Arthur Zamarin2022-11-191-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>