summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/react: add ml@gentoo.org to maintainersMaciej Barć2022-08-261-9/+15
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/react: reassign inactive proxied maintainer's packagesSam James2022-08-261-8/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/stdlib-shims: use <pkg> tag in metadata.xmlPetr Vaněk2022-08-261-1/+1
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-gettext: use <pkg> tag in metadata.xmlPetr Vaněk2022-08-261-1/+1
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-gettext-stub: use <pkg> tag in metadata.xmlPetr Vaněk2022-08-261-1/+1
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-gettext-camomile: use <pkg> tag in metadata.xmlPetr Vaněk2022-08-261-1/+1
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-fileutils: use <pkg> tag in metadata.xmlPetr Vaněk2022-08-261-1/+1
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 15.0.0_rc3Michał Górny2022-08-262-0/+117
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ocamlbuild: bump to 0.14.1Maciej Barć2022-08-242-0/+53
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ppx_import: require ppxlib>=24.0François-Xavier Carton2022-08-191-1/+1
| | | | | | Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/26926 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 15.0.0_rc2Michał Górny2022-08-092-0/+117
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 16.* live ebuildsMichał Górny2022-08-051-0/+115
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/jingoo: fix depsAlfredo Tupone2022-08-041-0/+1
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_deriving: add findlib dependencyAlfredo Tupone2022-08-041-1/+2
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/jingoo: fix dependencyAlfredo Tupone2022-08-041-1/+2
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2022-08-032-116/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Enable py3.11Michał Górny2022-07-311-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: add github upstream metadataSam James2022-07-281-0/+3
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/rresult: drop 0.5.0David Seifert2022-07-242-25/+0
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/rresult: stabilize 0.6.0 for x86David Seifert2022-07-241-1/+1
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/fpath: drop 0.7.2David Seifert2022-07-242-30/+0
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/fpath: stabilize 0.7.3 for x86David Seifert2022-07-241-1/+1
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/mtime: drop 1.1.0, 1.3.0Sam James2022-07-243-68/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/mtime: add 1.4.0Sam James2022-07-242-0/+32
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: drop 2.8.2-r1, 2.9.0Sam James2022-07-243-231/+0
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> Closes: https://github.com/gentoo/gentoo/pull/26555 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: drop 2.8.2-r1, 2.9.0Sam James2022-07-243-225/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: drop 1.11.4, 2.1.0, 2.7.1, 2.8.2, 2.9.0Sam James2022-07-246-195/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-state: drop 2.0.8, 2.0.8-r1, 2.1.0, 2.1.1Sam James2022-07-245-153/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-repository: drop 2.0.8, 2.0.8-r1, 2.1.0, 2.1.1Sam James2022-07-245-157/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-installer: drop versionsSam James2022-07-246-214/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-format: drop 2.0.8-r2, 2.0.8-r3, 2.1.0, 2.1.1, 2.1.2Sam James2022-07-246-254/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-file-format: drop 2.1.0, 2.1.2Sam James2022-07-243-54/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-core: drop 2.0.8-r1, 2.1.0, 2.1.1Sam James2022-07-244-139/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-client: drop 2.0.8, 2.0.8-r1, 2.1.0, 2.1.1Sam James2022-07-245-169/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam: drop 2.0.8-r1, 2.0.8-r2, 2.1.0, 2.1.1Sam James2022-07-245-165/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: drop 2.0.8, 2.0.8-r1, 2.1.0, 2.1.1Sam James2022-07-245-168/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: add 1.6.0Sam James2022-07-242-0/+36
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/expect_test_helpers_core: add missing depsSam James2022-07-241-0/+4
| | | | | Closes: https://bugs.gentoo.org/860354 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/tiny_httpd: [QA] fix dtd URL (HTTP->HTTPS)Sam James2022-07-231-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ptime: [QA] fix dtd URL (HTTP->HTTPS)Sam James2022-07-231-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocamlfuse: [QA] fix dtd URL (HTTP->HTTPS)Sam James2022-07-231-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/gapi-ocaml: [QA] fix dtd URL (HTTP->HTTPS)Sam James2022-07-231-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/seq: bump to 0.3Maciej Barć2022-07-232-0/+16
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/merlin: bump to 4.6Maciej Barć2022-07-232-0/+103
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/merlin: add missing diesMaciej Barć2022-07-224-4/+4
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/findlib: drop old 1.9.1Maciej Barć2022-07-222-76/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/findlib: bump to 1.9.5Maciej Barć2022-07-222-0/+76
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/opam: RESTRICT testAlfredo Tupone2022-07-201-0/+1
| | | | | | Closes: https://bugs.gentoo.org/838658 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/uucp: Stabilize 14.0.0 x86, #859196Sam James2022-07-191-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/uucp: Stabilize 14.0.0 amd64, #859196Sam James2022-07-191-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>