| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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> | ||||
| * | dev-ml/llvm-ocaml: Add 18.0.0_pre20230810 snapshot | Michał Górny | 2023-08-10 | 2 | -0/+113 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Add 17.0.0_rc2 | Michał Górny | 2023-08-08 | 2 | -0/+114 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/camlp5: add 8.02.00, drop 8.01.00 | Alfredo Tupone | 2023-08-08 | 2 | -1/+1 |
| | | | | | | Closes: https://bugs.gentoo.org/911844 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/gapi-ocaml: add 0.4.4 | Alfredo Tupone | 2023-08-07 | 2 | -0/+33 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/camlp5: add 8.01.00 | Alfredo Tupone | 2023-08-06 | 2 | -0/+61 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/batteries: add 3.6.1 | Alfredo Tupone | 2023-08-06 | 2 | -0/+33 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/utop: drop old 2.9.2 | Maciej Barć | 2023-08-05 | 2 | -64/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/ocaml-ctypes: fix deps and add dune_pkg_name | Alfredo Tupone | 2023-08-04 | 1 | -0/+2 |
| | | | | | | Closes: https://bugs.gentoo.org/911683 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/ocaml-ctypes: add 0.21.1, drop 0.21.0 | Alfredo Tupone | 2023-08-03 | 2 | -1/+1 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/ocaml-ctypes: add 0.21.0 | Alfredo Tupone | 2023-08-03 | 2 | -0/+27 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Add 18.0.0_pre20230803 snapshot | Michał Górny | 2023-08-03 | 2 | -0/+113 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Remove 17.x snapshots | Michał Górny | 2023-08-03 | 2 | -113/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/dune-site: add 3.10.0 | Alfredo Tupone | 2023-08-02 | 2 | -0/+32 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dune-private-libs: add 3.10.0 | Alfredo Tupone | 2023-08-02 | 2 | -0/+37 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/stdune: add 3.10.0 | Alfredo Tupone | 2023-08-02 | 2 | -0/+37 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dyn: add 3.10.0 | Alfredo Tupone | 2023-08-02 | 2 | -0/+32 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/ordering: add 3.10.0 | Alfredo Tupone | 2023-08-02 | 2 | -0/+31 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dune-configurator: add 3.10.0 | Alfredo Tupone | 2023-08-02 | 2 | -0/+40 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
GitWeb