summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/ounit2: Stabilize 2.2.7 ppc64, #925658Arthur Zamarin2024-03-021-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240302 snapshotMichał Górny2024-03-022-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/re: Stabilize 1.11.0 ppc64, #924576Matoro Mahri2024-03-011-1/+1
| | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Viorel Munteanu <ceamac@gentoo.org>
* dev-ml/zarith: drop oldEli Schwartz2024-03-013-66/+0
| | | | | | | | | | Removes last use case of "mpir" USE flag, so purge it from metadata.xml. Also purge it from profiles/ where it was, naturally, masked. The ultimate masking is to remove the USE flag. Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/zarith: Stabilize 1.13 amd64, #924580Sam James2024-03-011-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cryptokit: mark "mpir" use dependency as disabled-if-missingEli Schwartz2024-03-011-2/+2
| | | | | | | | | | Support for mpir was removed from zarith, which means this is guaranteed to be disabled. That's what we want here anyway. Just indicate this with a use-dependency default. Fixes: a8c2b35f50a01d401be9c29abe6d720804ebbe44 Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/zarith: remove support for mpir USE flagEli Schwartz2024-02-291-5/+3
| | | | | | | | | | | mpir is an ancient fork of gmp from 2017. It claims to be focused on speed. It doesn't build with modern compilers due to Modern C issues, and it fails to build with LTO as well. Unlike gmp, this will never be fixed. Bug: https://bugs.gentoo.org/812950 Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-02-284-325/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.1.0_rc4Michał Górny2024-02-282-0/+109
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ounit2: Stabilize 2.2.7 arm, #925658Sam James2024-02-271-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ounit2: Stabilize 2.2.7 amd64, #925658Sam James2024-02-271-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ounit2: Stabilize 2.2.7 x86, #925658Sam James2024-02-271-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/reason: bump to 3.11.0Maciej Barć2024-02-262-0/+44
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/reason: drop old 3.9.0-r1Maciej Barć2024-02-262-42/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240224 snapshotMichał Górny2024-02-242-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.1.0_rc3Michał Górny2024-02-222-0/+109
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240218 snapshotMichał Górny2024-02-182-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-02-172-108/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/time_now: update maintainersAlfredo Tupone2024-02-171-1/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_string: update maintainersAlfredo Tupone2024-02-171-1/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_stable: update maintainersAlfredo Tupone2024-02-171-1/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_module_timer: update maintainersAlfredo Tupone2024-02-171-1/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_fixed_literal: update maintainersAlfredo Tupone2024-02-171-1/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_cold: update maintainersAlfredo Tupone2024-02-171-1/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/yojson: Stabilize 2.1.1 amd64, #924579Sam James2024-02-151-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/uunf: Stabilize 15.1.0 amd64, #924578Sam James2024-02-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/uucp: Stabilize 15.1.0 amd64, #924577Sam James2024-02-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/re: Stabilize 1.11.0 amd64, #924576Sam James2024-02-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/re: Stabilize 1.11.0 x86, #924576Jakov Smolić2024-02-151-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/zarith: Stabilize 1.13 x86, #924580Arthur Zamarin2024-02-141-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/uunf: Stabilize 15.1.0 x86, #924578Arthur Zamarin2024-02-141-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/uucp: Stabilize 15.1.0 x86, #924577Arthur Zamarin2024-02-141-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/re: Stabilize 1.11.0 arm64, #924576Sam James2024-02-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/re: Stabilize 1.11.0 arm, #924576Sam James2024-02-141-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* */*: Reassign gienah's packagesMichał Górny2024-02-1492-368/+6
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240210 snapshotMichał Górny2024-02-102-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-02-103-223/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Migrate to llvm-utilsMichał Górny2024-02-103-18/+9
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/merlin: bump to 4.13Maciej Barć2024-02-082-0/+102
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/merlin: drop old 4.7-r1Maciej Barć2024-02-082-112/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/merlin: drop old 4.10Maciej Barć2024-02-082-100/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.1.0_rc2Michał Górny2024-02-072-0/+112
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240203 snapshotMichał Górny2024-02-032-0/+111
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ppx_import: Stabilize 1.10.0 x86, #921517Matoro Mahri2024-01-311-1/+1
| | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-ml/ppx_blob: Stabilize 0.7.2 x86, #921517Matoro Mahri2024-01-311-1/+1
| | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-ml/llvm-ocaml: Remove 18.0.0*Michał Górny2024-01-305-443/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.1.0_rc1Michał Górny2024-01-302-0/+112
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240127 snapshotMichał Górny2024-01-272-0/+111
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/alcotest: fix dependencyAlfredo Tupone2024-01-243-6/+6
| | | | | Closes: https://bugs.gentoo.org/911406 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.x live ebuildMichał Górny2024-01-241-0/+110
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>