summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/dune: add 3.7.1Alfredo Tupone2023-04-162-0/+69
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: add 3.7.1Alfredo Tupone2023-04-162-0/+40
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-site: add 3.7.1Alfredo Tupone2023-04-162-0/+32
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-private-libs: add 3.7.1Alfredo Tupone2023-04-162-0/+37
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-build-info: add 3.7.1Alfredo Tupone2023-04-162-0/+29
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/stdune: add 3.7.1Alfredo Tupone2023-04-162-0/+37
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dyn: add 3.7.1Alfredo Tupone2023-04-162-0/+32
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ordering: add 3.7.1Alfredo Tupone2023-04-162-0/+31
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Add 17.0.0_pre20230414 snapshotMichał Górny2023-04-142-0/+113
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/seq: Stabilize 0.3.1-r1 arm, #901713Arthur Zamarin2023-04-111-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/seq: Stabilize 0.3.1-r1 amd64, #901713Arthur Zamarin2023-04-111-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/seq: Stabilize 0.3.1-r1 ppc64, #901713Arthur Zamarin2023-04-111-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/seq: Stabilize 0.3.1-r1 arm64, #901713Arthur Zamarin2023-04-111-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/seq: Stabilize 0.3.1-r1 x86, #901713Arthur Zamarin2023-04-111-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/seq: update >=3.0 depsMaciej Barć2023-04-112-3/+5
| | | | | Closes: https://bugs.gentoo.org/904167 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2023-04-113-227/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ocaml-expat: Stabilize 1.3.0 arm64, #901617Arthur Zamarin2023-04-091-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/lablgtk: Stabilize 3.1.3 x86, #901643Arthur Zamarin2023-04-091-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/lablgtk-sourceview: Stabilize 3.1.3 x86, #901643Arthur Zamarin2023-04-091-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/lablgtk: Stabilize 3.1.3 arm, #901643Arthur Zamarin2023-04-091-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/lablgtk-sourceview: Stabilize 3.1.3 arm, #901643Arthur Zamarin2023-04-091-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/re: Stabilize 1.10.4-r2 amd64, #901645Arthur Zamarin2023-04-091-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/re: Stabilize 1.10.4-r2 arm64, #901645Arthur Zamarin2023-04-091-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/lablgtk: Stabilize 3.1.3 amd64, #901643Arthur Zamarin2023-04-091-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/lablgtk-sourceview: Stabilize 3.1.3 amd64, #901643Arthur Zamarin2023-04-091-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ocamlgraph: drop 1.8.8-r2Alfredo Tupone2023-04-062-71/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dose3: drop 5.0.1_p16-r4, 6.0.1_p2-r1, 6.1-r1Alfredo Tupone2023-04-065-182/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 16.0.1Michał Górny2023-04-052-0/+114
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: fix PV to be 16.0.2.9999Michał Górny2023-04-051-0/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: 16.x is now 16.0.2.9999Michał Górny2023-04-051-0/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/parmap: Stabilize 1.2.5 x86, #901659Arthur Zamarin2023-04-031-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/parmap: Stabilize 1.2.5 arm, #901659Arthur Zamarin2023-04-031-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/findlib: Stabilize 1.9.6-r1 arm, #901661Arthur Zamarin2023-04-031-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/findlib: Stabilize 1.9.6-r1 arm64, #901661Sam James2023-04-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlp-streams: drop old 5.0Maciej Barć2023-04-022-22/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/yojson: amd64 stableAlfredo Tupone2023-04-012-4/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/biniou: amd64 stableAlfredo Tupone2023-04-012-4/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/easy-format: stabilize 1.2.0 for amd64Alfredo Tupone2023-04-011-2/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/lablgtk: Stabilize 3.1.3 arm64, #901643Sam James2023-04-011-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/lablgtk-sourceview: Stabilize 3.1.3 arm64, #901643Sam James2023-04-011-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/base_quickcheck: Stabilize 0.15.0-r2 arm64, #901559Sam James2023-04-011-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/findlib: avoid building unused thingsAlfredo Tupone2023-04-011-1/+8
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ordering: Stabilize 3.6.2 arm64, #901629Sam James2023-04-011-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/pp: Stabilize 1.1.2 arm64, #901629Sam James2023-04-011-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dyn: Stabilize 3.6.2 arm64, #901629Sam James2023-04-011-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/stdune: Stabilize 3.6.2-r1 arm64, #901629Sam James2023-04-011-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 3.6.2 arm64, #901629Sam James2023-04-011-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_js_style: Stabilize 0.15.0 arm64, #901621Arthur Zamarin2023-03-311-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_js_style: Stabilize 0.15.0 arm, #901621Arthur Zamarin2023-03-311-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ocaml-ctypes: Stabilize 0.20.1 arm64, #901613Arthur Zamarin2023-03-311-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>