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/dune-site: Stabilize 2.9.3 arm, #896102Arthur Zamarin2023-08-161-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.9.3 arm, #896102Arthur Zamarin2023-08-161-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.9.3 arm, #896102Arthur Zamarin2023-08-161-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-build-info: Stabilize 2.9.3 arm, #896102Arthur Zamarin2023-08-161-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune: Stabilize 2.9.3-r3 arm, #896102Arthur Zamarin2023-08-161-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/merlin: bump to 4.9Maciej Barć2023-08-112-0/+100
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ocaml-ctypes: Update the homepageMichał Górny2023-08-102-3/+3
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> Closes: https://github.com/gentoo/gentoo/pull/32248 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ocaml-ctypes: Fix installing ctypes-foreign libraryMichał Górny2023-08-101-0/+4
| | | | | | Closes: https://bugs.gentoo.org/911932 Closes: https://bugs.gentoo.org/911944 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.0.0_pre20230810 snapshotMichał Górny2023-08-102-0/+113
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 17.0.0_rc2Michał Górny2023-08-082-0/+114
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/camlp5: add 8.02.00, drop 8.01.00Alfredo Tupone2023-08-082-1/+1
| | | | | Closes: https://bugs.gentoo.org/911844 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/gapi-ocaml: add 0.4.4Alfredo Tupone2023-08-072-0/+33
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlp5: add 8.01.00Alfredo Tupone2023-08-062-0/+61
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/batteries: add 3.6.1Alfredo Tupone2023-08-062-0/+33
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/utop: drop old 2.9.2Maciej Barć2023-08-052-64/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ocaml-ctypes: fix deps and add dune_pkg_nameAlfredo Tupone2023-08-041-0/+2
| | | | | Closes: https://bugs.gentoo.org/911683 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocaml-ctypes: add 0.21.1, drop 0.21.0Alfredo Tupone2023-08-032-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocaml-ctypes: add 0.21.0Alfredo Tupone2023-08-032-0/+27
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.0.0_pre20230803 snapshotMichał Górny2023-08-032-0/+113
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 17.x snapshotsMichał Górny2023-08-032-113/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/dune-site: add 3.10.0Alfredo Tupone2023-08-022-0/+32
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-private-libs: add 3.10.0Alfredo Tupone2023-08-022-0/+37
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/stdune: add 3.10.0Alfredo Tupone2023-08-022-0/+37
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dyn: add 3.10.0Alfredo Tupone2023-08-022-0/+32
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ordering: add 3.10.0Alfredo Tupone2023-08-022-0/+31
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: add 3.10.0Alfredo Tupone2023-08-022-0/+40
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-build-info: add 3.10.0Alfredo Tupone2023-08-022-0/+29
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: add 3.10.0Alfredo Tupone2023-08-022-0/+69
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Add 17.0.0_rc1Michał Górny2023-07-292-0/+114
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/alcotest: require core_unit-0.15Alfredo Tupone2023-07-291-1/+1
| | | | | Closes: https://bugs.gentoo.org/911381 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/zed: fix test depsAlfredo Tupone2023-07-281-1/+5
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Closes: https://bugs.gentoo.org/911338
* dev-ml/zed: add 3.2.2Alfredo Tupone2023-07-272-0/+28
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/base: add 0.16.2Alfredo Tupone2023-07-252-0/+23
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.x live ebuildsMichał Górny2023-07-251-0/+112
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove old snapshotsMichał Górny2023-07-253-226/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 17.0.0_pre20230722 snapshotMichał Górny2023-07-222-0/+113
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ppx_js_style: add 0.16.0Alfredo Tupone2023-07-182-0/+26
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/core_bench: add 0.16.0Alfredo Tupone2023-07-172-0/+28
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/core_unix: add missing depsAlfredo Tupone2023-07-171-0/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_base: add missing depsAlfredo Tupone2023-07-171-0/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_jane: add missing depsAlfredo Tupone2023-07-171-0/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Add 17.0.0_pre20230717 snapshotMichał Górny2023-07-172-0/+113
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/pcre-ocaml: Keyword 7.5.0 ppc64, #895368Sam James2023-07-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlp5: Keyword 8.00.05-r1 ppc64, #895368Sam James2023-07-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cmdliner: add 1.2.0Alfredo Tupone2023-07-162-0/+43
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2023-07-142-114/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/dune-site: add 3.9.1Alfredo Tupone2023-07-112-0/+32
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-private-libs: add 3.9.1Alfredo Tupone2023-07-112-0/+37
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/stdune: add 3.9.1Alfredo Tupone2023-07-112-0/+37
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dyn: add 3.9.1Alfredo Tupone2023-07-112-0/+32
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>