Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* 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>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240706 snapshotMichał Górny2024-07-062-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/camlp5: remove unused patch(es)Michael Mair-Keimberger2024-07-041-13/+0
| | | | | | Bug: https://github.com/gentoo/gentoo/pull/37421 Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/camldbm: remove unused patch(es)Michael Mair-Keimberger2024-07-042-30/+0
| | | | | | Bug: https://github.com/gentoo/gentoo/pull/37421 Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/cairo2: remove unused patchesMichael Mair-Keimberger2024-07-042-152/+0
| | | | | | Bug: https://github.com/gentoo/gentoo/pull/37421 Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/dune: add 3.16.0Alfredo Tupone2024-07-032-0/+71
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-site: add 3.16.0Alfredo Tupone2024-07-032-0/+33
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-private-libs: add 3.16.0Alfredo Tupone2024-07-032-0/+35
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/stdune: add 3.16.0Alfredo Tupone2024-07-032-0/+36
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dyn: add 3.16.0Alfredo Tupone2024-07-032-0/+32
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ordering: add 3.16.0Alfredo Tupone2024-07-032-0/+30
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: add 3.16.0Alfredo Tupone2024-07-032-0/+40
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-build-info: add 3.16.0Alfredo Tupone2024-07-032-0/+29
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlp5: drop old 7.11-r1Maciej Barć2024-07-022-55/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/camlp5: drop old 7.12Maciej Barć2024-07-022-62/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/camlp5: drop old 7.13Maciej Barć2024-07-022-56/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>