Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | dev-ml/merlin: drop old 4.9 | Maciej Barć | 2023-10-09 | 2 | -100/+0 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/merlin: bump to 4.12 | Maciej Barć | 2023-10-09 | 2 | -0/+100 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/luv: Stabilize 0.5.11-r2 arm, #915368 | Sam James | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/lwt: Stabilize 5.7.0 arm, #915368 | Sam James | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/ppxlib: Stabilize 0.30.0 arm64, #915372 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/ppxlib: Stabilize 0.30.0 arm, #915372 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/mtime: Stabilize 2.0.0 arm, #915370 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/mtime: Stabilize 2.0.0 arm64, #915370 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/luv: Stabilize 0.5.11-r2 arm64, #915368 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/lwt: Stabilize 5.7.0 arm64, #915368 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/luv: Stabilize 0.5.11-r2 x86, #915368 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/lwt: Stabilize 5.7.0 x86, #915368 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/lwt: Stabilize 5.7.0 amd64, #915368 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/yojson: Stabilize 2.1.0 amd64, #915373 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/ppxlib: Stabilize 0.30.0 ppc64, #915372 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/ppxlib: Stabilize 0.30.0 x86, #915372 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/ppxlib: Stabilize 0.30.0 amd64, #915372 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/ocplib-simplex: Stabilize 0.4.1 amd64, #915371 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/mtime: Stabilize 2.0.0 ppc64, #915370 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/mtime: Stabilize 2.0.0 x86, #915370 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/mtime: Stabilize 2.0.0 amd64, #915370 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/menhir: Stabilize 20230608 arm64, #915369 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/menhir: Stabilize 20230608 ppc64, #915369 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/menhir: Stabilize 20230608 x86, #915369 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/menhir: Stabilize 20230608 arm, #915369 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/menhir: Stabilize 20230608 amd64, #915369 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/luv: Stabilize 0.5.12 amd64, #915367 | Arthur Zamarin | 2023-10-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/llvm-ocaml: Bump to 17.0.2 | Michał Górny | 2023-10-04 | 2 | -0/+114 |
| | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
* | dev-ml/llvm-ocaml: Add 18.0.0_pre20231002 snapshot | Michał Górny | 2023-10-02 | 2 | -0/+113 |
| | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
* | dev-ml/llvm-ocaml: 17.x is now 17.0.2.9999 | Michał Górny | 2023-10-02 | 1 | -0/+0 |
| | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
* | dev-ml/llvm-ocaml: Remove old | Michał Górny | 2023-10-02 | 3 | -227/+0 |
| | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
* | dev-ml/memtrace: new package; add 0.2.3 | Maciej Barć | 2023-09-30 | 3 | -0/+38 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/ocaml-ssl: bump to 0.7.0 | Maciej Barć | 2023-09-30 | 2 | -0/+46 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/ocaml-ssl: drop old 0.5.12 | Maciej Barć | 2023-09-30 | 2 | -33/+0 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/ocaml-ssl: drop old 0.5.10 | Maciej Barć | 2023-09-30 | 2 | -28/+0 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/ocaml-ssl: drop old 0.5.9 | Maciej Barć | 2023-09-30 | 2 | -29/+0 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/tyxml: bump to 4.6.0 | Maciej Barć | 2023-09-30 | 2 | -0/+35 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/llvm-ocaml: Add 18.0.0_pre20230925 snapshot | Michał Górny | 2023-09-25 | 2 | -0/+113 |
| | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
* | dev-ml/zarith: bump to 1.13 | Maciej Barć | 2023-09-22 | 2 | -0/+62 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/uunf: bump to 15.1.0 | Maciej Barć | 2023-09-22 | 2 | -0/+39 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/uunf: drop old 14.0.0 | Maciej Barć | 2023-09-22 | 2 | -32/+0 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/uunf: drop old 13.0.0-r1 | Maciej Barć | 2023-09-22 | 2 | -32/+0 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/uucp: bump to 15.1.0 | Maciej Barć | 2023-09-22 | 2 | -0/+35 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/uucp: drop old 14.0.0 | Maciej Barć | 2023-09-22 | 2 | -29/+0 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/uucp: drop old 13.0.0-r2 | Maciej Barć | 2023-09-22 | 2 | -30/+0 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/pprint: bump to 20230830 | Maciej Barć | 2023-09-22 | 2 | -0/+16 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/batteries: drop old 3.4.0 | Maciej Barć | 2023-09-22 | 2 | -32/+0 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/llvm-ocaml: Bump to 17.0.1 | Michał Górny | 2023-09-19 | 2 | -0/+114 |
| | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
* | dev-ml/stdcompat: fix VariableShadowed | Arthur Zamarin | 2023-09-19 | 1 | -3/+2 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/ppx_deriving: fix VariableShadowed | Arthur Zamarin | 2023-09-19 | 2 | -6/+4 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> |