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/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>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2022-07-192-125/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2022-07-194-345/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/integers: bump to 0.7.0Maciej Barć2022-07-192-0/+21
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/re: bump to 1.10.4Maciej Barć2022-07-192-0/+28
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ocamlfuse: initial commitChristoph Junghans2022-07-123-0/+61
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Christoph Junghans <junghans@gentoo.org>
* dev-ml/gapi-ocaml: initial commitChristoph Junghans2022-07-124-0/+116
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Christoph Junghans <junghans@gentoo.org>
* dev-ml/tiny_httpd: initial commitChristoph Junghans2022-07-113-0/+70
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Christoph Junghans <junghans@gentoo.org>
* dev-ml/ptime: initial commitChristoph Junghans2022-07-113-0/+68
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Christoph Junghans <junghans@gentoo.org>
* dev-ml/yojson: relax deps on ocamloptAlfredo Tupone2022-07-062-6/+6
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: be less strict vs ocamlopt depAlfredo Tupone2022-07-065-16/+16
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-private-libs: be less strict depending on ocamloptAlfredo Tupone2022-07-065-12/+12
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/sexplib: depends on 0/0.15 slotAlfredo Tupone2022-07-051-3/+3
| | | | | | Closes: https://bugs.gentoo.org/840740 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/utop: drop old 2.8.0-r1Maciej Barć2022-07-042-64/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/utop: bump to 2.9.2Maciej Barć2022-07-042-0/+64
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/utop: enable Emacs supportMaciej Barć2022-07-047-81/+192
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/uutf: force ocamlopt? dependency on cmdlinerAlfredo Tupone2022-07-031-2/+2
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/luv: use system dev-libs/libuvAlfredo Tupone2022-07-011-0/+4
| | | | | | Closes: https://bugs.gentoo.org/843338 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>