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/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>
* dev-ml/camlp5: drop old 7.14Maciej Barć2024-07-022-61/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/camlp5: drop old 8.00Maciej Barć2024-07-022-59/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/camlp5: drop old 8.00.01Maciej Barć2024-07-022-59/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/camlp5: drop old 8.00.02Maciej Barć2024-07-022-59/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/camlp5: drop old 8.00.03Maciej Barć2024-07-022-56/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/graphics: drop old 5.1.1-r1Maciej Barć2024-07-022-23/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/cmdliner: drop old 1.0.4Maciej Barć2024-07-022-46/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/cinaps: drop old 0.14.0Maciej Barć2024-07-022-27/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/camldbm: drop old 1.0Maciej Barć2024-07-022-38/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/cairo2: drop old 0.6.2-r2Maciej Barć2024-07-022-36/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/cairo2: drop old 0.6.1-r2Maciej Barć2024-07-022-38/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/alcotest: drop old 1.6.0-r2Maciej Barć2024-07-022-38/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/alcotest: drop old 1.2.3-r4Maciej Barć2024-07-022-34/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/dune: add 3.13.1Alfredo Tupone2024-07-022-0/+71
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-site: add 3.13.1Alfredo Tupone2024-07-022-0/+33
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-private-libs: add 3.13.1Alfredo Tupone2024-07-022-0/+36
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: add 3.13.1Alfredo Tupone2024-07-022-0/+40
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-build-info: add 3.13.1Alfredo Tupone2024-07-022-0/+29
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/stdune: add 3.13.1Alfredo Tupone2024-07-022-0/+37
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dyn: add 3.13.1Alfredo Tupone2024-07-022-0/+32
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ordering: add 3.13.1Alfredo Tupone2024-07-022-0/+30
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/tiny_httpd: add 0.16Alfredo Tupone2024-07-013-0/+62
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/sedlex: add 3.2Alfredo Tupone2024-07-012-0/+37
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_import: add 1.11.0Alfredo Tupone2024-07-012-0/+30
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_deriving_yojson: add 3.8.0Alfredo Tupone2024-07-012-0/+25
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_deriving: add 6.0.2Alfredo Tupone2024-06-302-0/+26
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_blob: add 0.8.0Alfredo Tupone2024-06-302-0/+21
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240630 snapshotMichał Górny2024-06-302-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/patience_diff: add 0.16.0, 0.17.0Alfredo Tupone2024-06-303-0/+49
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocamlgraph: add 2.1.0Alfredo Tupone2024-06-302-0/+23
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>