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/ocamlbuild: QA_TEXTRELSAlfredo Tupone2024-05-311-1/+5
| | | | | Closes: https://bugs.gentoo.org/928109 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocamlfuse: different fix for WintAlfredo Tupone2024-05-311-9/+65
| | | | | Closes: https://bugs.gentoo.org/933214 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlidl: use cpp from make.confAlfredo Tupone2024-05-312-8/+8
| | | | | Closes: https://bugs.gentoo.org/933215 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/num: ignore TEXTRELS on 32 bits archAlfredo Tupone2024-05-311-1/+5
| | | | | Closes: https://bugs.gentoo.org/723750 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: drop 3.0.3-r1, 3.1.1, 3.2.0, 3.5.0, 3.6.1Alfredo Tupone2024-05-306-339/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/csexp: fix dune depsAlfredo Tupone2024-05-301-2/+5
| | | | | Closes: https://bugs.gentoo.org/922166 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocamlfuse: -Wint-conversionAlfredo Tupone2024-05-302-2/+16
| | | | | Closes: https://bugs.gentoo.org/932194 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlp5: DependenciesAlfredo Tupone2024-05-301-3/+9
| | | | | Closes: https://bugs.gentoo.org/932497 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/core_unix: Fix build on muslAlfredo Tupone2024-05-292-2/+13
| | | | | Closes: https://bugs.gentoo.org/932770 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/textutils: 0.14.0 is only for 0.14.* depsAlfredo Tupone2024-05-291-4/+4
| | | | | Closes: https://bugs.gentoo.org/932771 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/atd: drop old 2.12.0Maciej Barć2024-05-262-42/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/reason: drop old 3.10.0Maciej Barć2024-05-262-44/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/llvm-ocaml: Enable py3.13Michał Górny2024-05-252-2/+2
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-05-253-218/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240525 snapshotMichał Górny2024-05-252-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.1.6Michał Górny2024-05-192-0/+110
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240518 snapshotMichał Górny2024-05-182-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-05-164-326/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240509 snapshotMichał Górny2024-05-112-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240504 snapshotMichał Górny2024-05-042-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-05-043-216/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.1.5Michał Górny2024-05-042-0/+110
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* */*: inline mirror://sourceforgeLucio Sauer2024-04-301-2/+2
| | | | | | | bump copyright of touched ebuilds to 2024 Signed-off-by: Lucio Sauer <watermanpaint@posteo.net> Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240427 snapshotMichał Górny2024-04-272-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* 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>