| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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> | ||||
| * | dev-ml/llvm-ocaml: 17.x is now 17.0.1 | Michał Górny | 2023-09-19 | 1 | -0/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/reason: bump to 3.10.0 | Maciej Barć | 2023-09-15 | 3 | -0/+54 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Remove old | Michał Górny | 2023-09-08 | 4 | -340/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/odoc: bump to 2.2.1 | Maciej Barć | 2023-09-07 | 2 | -0/+30 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Add 18.0.0_pre20230906 snapshot | Michał Górny | 2023-09-06 | 2 | -0/+113 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Bump to 17.0.0_rc4 | Michał Górny | 2023-09-05 | 2 | -0/+114 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/ocplib-simplex: add 0.4.1 |   Alfredo Tupone | 2023-09-02 | 2 | -0/+37 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/ocaml-base64: add 3.5.1 | Alfredo Tupone | 2023-09-02 | 2 | -0/+20 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/lwt_ssl: add 1.2.0 | Alfredo Tupone | 2023-09-02 | 2 | -0/+24 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/lwt: add 5.7.0 | Alfredo Tupone | 2023-09-02 | 2 | -0/+60 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/lambda-term: add 3.3.2 | Alfredo Tupone | 2023-09-02 | 2 | -0/+27 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/base: add 0.16.3 | Alfredo Tupone | 2023-09-02 | 2 | -0/+23 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Add 18.0.0_pre20230829 snapshot | Michał Górny | 2023-08-29 | 2 | -0/+113 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Remove old | Michał Górny | 2023-08-29 | 6 | -567/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/merlin: drop old 4.6 | Maciej Barć | 2023-08-27 | 2 | -109/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/merlin: drop old 4.5-r3 | Maciej Barć | 2023-08-27 | 2 | -101/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/merlin: bump to 4.10 | Maciej Barć | 2023-08-27 | 2 | -0/+100 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/reason: drop old 3.8.2 | Maciej Barć | 2023-08-27 | 2 | -38/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/utop: drop old 2.11.0-r1 | Maciej Barć | 2023-08-27 | 2 | -65/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/ptime: bump to 1.1.0 | Maciej Barć | 2023-08-27 | 2 | -0/+32 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Add 18.0.0_pre20230825 snapshot | Michał Górny | 2023-08-25 | 2 | -0/+113 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Add 17.0.0_rc3 | Michał Górny | 2023-08-23 | 2 | -0/+114 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Add 18.0.0_pre20230820 snapshot | Michał Górny | 2023-08-20 | 2 | -0/+113 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/zed: drop old 3.2.1-r2 | Maciej Barć | 2023-08-20 | 2 | -28/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/zed: drop old 3.1.0 | Maciej Barć | 2023-08-20 | 2 | -23/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/zed: bump to 3.2.3 | Maciej Barć | 2023-08-20 | 2 | -0/+32 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/menhir: bump to 20230608 | Maciej Barć | 2023-08-20 | 2 | -0/+22 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/menhir: drop old 20211012 | Maciej Barć | 2023-08-20 | 2 | -22/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/menhir: drop old 20210419-r1 | Maciej Barć | 2023-08-20 | 2 | -22/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/menhir: drop old 20190924 | Maciej Barć | 2023-08-20 | 2 | -43/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/dune-site: Stabilize 2.9.3 arm, #896102 | Arthur Zamarin | 2023-08-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/dune-configurator: Stabilize 2.9.3 arm, #896102 | Arthur Zamarin | 2023-08-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/dune-private-libs: Stabilize 2.9.3 arm, #896102 | Arthur Zamarin | 2023-08-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/dune-build-info: Stabilize 2.9.3 arm, #896102 | Arthur Zamarin | 2023-08-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/dune: Stabilize 2.9.3-r3 arm, #896102 | Arthur Zamarin | 2023-08-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/merlin: bump to 4.9 | Maciej Barć | 2023-08-11 | 2 | -0/+100 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/ocaml-ctypes: Update the homepage | Michał Górny | 2023-08-10 | 2 | -3/+3 |
| | | | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> Closes: https://github.com/gentoo/gentoo/pull/32248 Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/ocaml-ctypes: Fix installing ctypes-foreign library | Michał Górny | 2023-08-10 | 1 | -0/+4 |
| | | | | | | | Closes: https://bugs.gentoo.org/911932 Closes: https://bugs.gentoo.org/911944 Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
GitWeb