summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240420 snapshotMichał Górny2024-04-202-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-04-204-326/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.1.4Michał Górny2024-04-182-0/+110
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240410 snapshotMichał Górny2024-04-102-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240404 snapshotMichał Górny2024-04-062-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-04-064-326/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.1.3Michał Górny2024-04-042-0/+110
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240330 snapshotMichał Górny2024-03-302-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240322 snapshotMichał Górny2024-03-232-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-03-234-326/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/facile: drop 1.1.3-r1Andreas Sturmlechner2024-03-223-102/+0
| | | | | Closes: https://bugs.gentoo.org/909072 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.1.2Michał Górny2024-03-202-0/+110
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240316 snapshotMichał Górny2024-03-162-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240309 snapshotMichał Górny2024-03-092-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Rekeyword 18.1.0Michał Górny2024-03-061-1/+2
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-03-064-326/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 18.1.0Michał Górny2024-03-062-0/+109
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/zarith: remove unused patch(es)Michael Mair-Keimberger2024-03-051-11/+0
| | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Petr Vaněk <arkamar@gentoo.org>
* dev-ml/ounit2: Stabilize 2.2.7 arm64, #925658Sam James2024-03-031-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* 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>