summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/mccs: add rdeps on extlibAlfredo Tupone2 days2-14/+6
| | | | | Closes: https://bugs.gentoo.org/941618 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/xml-light: drop 2.2-r3Alfredo Tupone4 days2-70/+0
| | | | | Closes: https://bugs.gentoo.org/880055 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: add 3.17.1Alfredo Tupone5 days2-0/+40
| | | | | Bug: https://bugs.gentoo.org/946135 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm: Add 20.0.0_pre20241221 snapshotMichał Górny5 days2-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm: Add 19.1.6Michał Górny8 days2-0/+110
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm: Add 20.0.0_pre20241215 snapshotMichał Górny10 days2-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/re: fix test DEPsAlfredo Tupone2024-12-111-1/+4
| | | | | Closes: https://bugs.gentoo.org/946259 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* Rename dev-ml/{llvm-ocaml → llvm}Michał Górny2024-12-1110-0/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* Move {sys-devel → llvm-core}/llvmMichał Górny2024-12-118-16/+16
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* Move sys-libs/llvm-libunwind → llvm-runtimes/libunwindMichał Górny2024-12-111-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-12-112-108/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 20.0.0_pre20241207 snapshotMichał Górny2024-12-072-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-12-053-216/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/jsonm: drop 1.0.1Alfredo Tupone2024-12-042-41/+0
| | | | | Closes: https://bugs.gentoo.org/804100 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.1.5Michał Górny2024-12-032-0/+110
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/reason: drop old 3.12.0Maciej Barć2024-12-012-43/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/reason: bump to 3.14.0Maciej Barć2024-12-012-0/+45
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/llvm-ocaml: Add 20.0.0_pre20241130 snapshotMichał Górny2024-11-302-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/utop: add 2.15.0Alfredo Tupone2024-11-282-0/+70
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/typerep: add 0.17.1Alfredo Tupone2024-11-282-0/+23
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam: add 2.2.1Alfredo Tupone2024-11-272-0/+56
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocaml_intrinsics: update upstream metadataSam James2024-11-271-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cryptokit: add 1.19Alfredo Tupone2024-11-262-0/+64
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/easy-format: add 1.3.4Alfredo Tupone2024-11-262-0/+16
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/easy-format: update maintainersAlfredo Tupone2024-11-261-1/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/spdx_licenses: Keyword 1.2.0 riscv, #944753Jakov Smolić2024-11-241-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/opam-0install-cudf: Keyword 0.5.0-r2 riscv, #944753Jakov Smolić2024-11-241-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/0install: Keyword 2.18-r1 riscv, #944753Jakov Smolić2024-11-241-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/yojson: Keyword 2.2.2-r1 riscv, #944753Jakov Smolić2024-11-241-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/sedlex: Keyword 3.3 riscv, #944753Jakov Smolić2024-11-241-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/gen: Keyword 1.1 riscv, #944753Jakov Smolić2024-11-241-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/xmlm: Keyword 1.4.0 riscv, #944753Jakov Smolić2024-11-241-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/ocurl: Keyword 0.9.2-r2 riscv, #944753Jakov Smolić2024-11-241-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/yojson: Keyword 2.2.2-r1 x86, #944753Jakov Smolić2024-11-241-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/xmlm: Keyword 1.4.0 x86, #944753Jakov Smolić2024-11-241-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/0install: Keyword 2.18-r1 x86, #944753Jakov Smolić2024-11-241-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/spdx_licenses: Keyword 1.2.0 x86, #944753Jakov Smolić2024-11-241-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/opam-0install-cudf: Keyword 0.5.0-r2 x86, #944753Jakov Smolić2024-11-241-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/gen: Keyword 1.1 arm, #944753Sam James2024-11-231-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/sedlex: Keyword 3.3 arm, #944753Sam James2024-11-231-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/yojson: Keyword 2.2.2-r1 arm, #944753Sam James2024-11-231-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/xmlm: Keyword 1.4.0 arm, #944753Sam James2024-11-231-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/0install: Keyword 2.18-r1 arm, #944753Sam James2024-11-231-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/spdx_licenses: Keyword 1.2.0 arm, #944753Sam James2024-11-231-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-0install-cudf: Keyword 0.5.0-r2 arm, #944753Sam James2024-11-231-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/gen: Keyword 1.1 arm64, #944753Sam James2024-11-231-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/sedlex: Keyword 3.3 arm64, #944753Sam James2024-11-231-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/yojson: Keyword 2.2.2-r1 arm64, #944753Sam James2024-11-231-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/xmlm: Keyword 1.4.0 arm64, #944753Sam James2024-11-231-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/0install: Keyword 2.18-r1 arm64, #944753Sam James2024-11-231-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>