summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/opam-format: drop 2.0.9, 2.0.10Alfredo Tupone2024-07-193-96/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-solver: drop 2.0.9, 2.0.10Alfredo Tupone2024-07-193-86/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-repository: drop 2.0.9, 2.0.10Alfredo Tupone2024-07-193-80/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-state: drop 2.0.9, 2.0.10Alfredo Tupone2024-07-193-78/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-client: drop 2.0.9, 2.0.10Alfredo Tupone2024-07-193-84/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam: drop 2.0.9, 2.0.10-r1Alfredo Tupone2024-07-193-86/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-installer: drop 2.0.9-r1, 2.0.10-r1Alfredo Tupone2024-07-193-94/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/fmt: update maintainersAlfredo Tupone2024-07-191-1/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/astring: update maintainersAlfredo Tupone2024-07-191-1/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/*: drop package version included in dune-private-libsAlfredo Tupone2024-07-196-98/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-private-libs: collaps ordering dyn stdune in hereAlfredo Tupone2024-07-191-3/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/*: drop opam-2.1.5 & childrenAlfredo Tupone2024-07-1816-359/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-installer: add 2.1.6Alfredo Tupone2024-07-182-0/+42
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam: add 2.1.6Alfredo Tupone2024-07-182-0/+55
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/merlin: add missing findlib depMaciej Barć2024-07-172-2/+6
| | | | | Closes: https://bugs.gentoo.org/936226 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/dose3: remove unnecessary dependencies on archiversAlain Emilia Anna Zscheile2024-07-152-0/+45
| | | | | | | This also fixes unnecessary [ocamlopt=] use-flag dependencies. Signed-off-by: Alain Emilia Anna Zscheile <fogti@ytrizja.de> Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/zarith: update EAPI 7 -> 8Alfredo Tupone2024-07-151-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/zarith: add 1.14Alfredo Tupone2024-07-152-0/+60
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam: add 2.1.5Alfredo Tupone2024-07-152-0/+45
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-client: add 2.1.5Alfredo Tupone2024-07-152-0/+44
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-solver: add 2.1.5Alfredo Tupone2024-07-152-0/+44
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-state: add 2.1.5Alfredo Tupone2024-07-152-0/+40
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-repository: add 2.1.5Alfredo Tupone2024-07-152-0/+41
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-installer: add 2.1.5Alfredo Tupone2024-07-152-0/+43
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-core: drop 2.1.4Alfredo Tupone2024-07-152-47/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-format: add 2.1.5Alfredo Tupone2024-07-152-0/+55
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-core: add 2.1.5Alfredo Tupone2024-07-152-0/+47
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-core: add 2.1.4Alfredo Tupone2024-07-152-0/+47
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/alcotest: update maintainer addressAlain Emilia Anna Zscheile2024-07-141-1/+1
| | | | | Signed-off-by: Alain Emilia Anna Zscheile <fogti@ytrizja.de> Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/mccs: update HOMEPAGE, SRC_URIAlain Emilia Anna Zscheile2024-07-144-9/+9
| | | | | | | This fixes a dead URL and a redirect (git repo changed owner). Signed-off-by: Alain Emilia Anna Zscheile <fogti@ytrizja.de> Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/mccs: add 1.1.17Alain Emilia Anna Zscheile2024-07-142-0/+30
| | | | | Signed-off-by: Alain Emilia Anna Zscheile <fogti@ytrizja.de> Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240712 snapshotMichał Górny2024-07-132-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/base: add 0.17.1, drop 0.17.0-r1Alfredo Tupone2024-07-132-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/yojson: add 2.2.2Alfredo Tupone2024-07-132-0/+44
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/uuseg: add 15.1.0Alfredo Tupone2024-07-132-0/+40
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/utop: add 2.14.0Alfredo Tupone2024-07-132-0/+67
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/xdg: new package, add 3.16.0Alfredo Tupone2024-07-133-0/+41
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/qcheck: add 0.22Alfredo Tupone2024-07-132-0/+37
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/alcotest: build with dev-ml/core-0.16+Alfredo Tupone2024-07-133-0/+98
| | | | | | Patch from: Alain Emilia Anna Zscheile Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_js_style: add 0.17.0Alfredo Tupone2024-07-132-0/+25
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/pp: add 1.2.0Alfredo Tupone2024-07-132-0/+19
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/odoc: add 2.4.2Alfredo Tupone2024-07-132-0/+36
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-07-133-216/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ocaml-crunch: new package, add 3.3.1Alfredo Tupone2024-07-133-0/+36
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/odoc-parser: add 2.4.2Alfredo Tupone2024-07-122-0/+44
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocplib-simplex: add 0.5.1Alfredo Tupone2024-07-102-0/+25
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocamlbuild: add 0.15.0Alfredo Tupone2024-07-102-0/+52
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/jingoo: add 1.5.0Alfredo Tupone2024-07-102-0/+28
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlp5: add 8.03.00Alfredo Tupone2024-07-102-0/+70
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/cudf: make it work with ocaml-5Alfredo Tupone2024-07-062-3/+102
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>