 Michał Górny
|
1824ace74d
|
dev-ml/llvm-ocaml: Add 20.0.0_pre20241106 snapshot
Signed-off-by: Michał Górny <mgorny@gentoo.org>
|
2024-11-07 06:26:43 +01:00 |
|
 Maciej Barć
|
35fa6807b8
|
dev-ml/merlin: drop old 4.12-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
2024-11-04 01:19:23 +01:00 |
|
|
Maciej Barć
|
697e5a69c9
|
dev-ml/merlin: workaround menhir restriction
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
2024-11-04 01:19:23 +01:00 |
|
 Alfredo Tupone
|
cd7765da1f
|
dev-ml/sedlex: add 3.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
2024-11-02 17:01:24 +01:00 |
|
|
Alfredo Tupone
|
aec78d7e88
|
dev-ml/re: add 1.13.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
2024-11-02 16:58:49 +01:00 |
|
|
Alfredo Tupone
|
6a87ce9850
|
dev-ml/dune: add 3.16.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
2024-11-02 16:51:34 +01:00 |
|
|
Alfredo Tupone
|
f55665ccef
|
dev-ml/camlzip: add 1.13
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
2024-11-02 16:39:48 +01:00 |
|
|
Michał Górny
|
e9af5b5d56
|
dev-ml/llvm-ocaml: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
|
2024-11-02 08:19:39 +01:00 |
|
|
Michał Górny
|
5464bd527d
|
dev-ml/llvm-ocaml: Add 19.1.3
Signed-off-by: Michał Górny <mgorny@gentoo.org>
|
2024-10-30 20:29:07 +01:00 |
|
 Andreas K. Hüttel
|
531ee99508
|
dev-ml/core_unix: drop 0.15.0
Bug: https://bugs.gentoo.org/895840
Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
|
2024-10-29 22:04:24 +01:00 |
|
|
Michał Górny
|
2dbba691b7
|
dev-ml/llvm-ocaml: Add 20.0.0_pre20241029 snapshot
Signed-off-by: Michał Górny <mgorny@gentoo.org>
|
2024-10-29 14:01:28 +01:00 |
|
|
Alfredo Tupone
|
acc99350ad
|
dev-ml/zmq: add 5.3.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
2024-10-24 18:58:32 +02:00 |
|
|
Alfredo Tupone
|
9fa417578d
|
dev-ml/ocamlnet: drop which in favor of command -v
Closes: https://bugs.gentoo.org/941755
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
2024-10-23 21:45:46 +02:00 |
|
|
Maciej Barć
|
d7542f929f
|
dev-ml/reason: drop old 3.11.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
2024-10-23 17:44:02 +02:00 |
|
|
Maciej Barć
|
34390ea5e1
|
dev-ml/reason: bump to 3.13.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
2024-10-23 17:44:01 +02:00 |
|
|
Michał Górny
|
c4388caee8
|
dev-ml/llvm-ocaml: Add 20.0.0_pre20241023 snapshot
Signed-off-by: Michał Górny <mgorny@gentoo.org>
|
2024-10-23 14:18:06 +02:00 |
|
 Arthur Zamarin
|
4ee6398282
|
dev-ml/alcotest: Stabilize 1.8.0 arm, #941858
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
|
2024-10-21 21:41:31 +03:00 |
|
|
Arthur Zamarin
|
ccb88b302e
|
dev-ml/alcotest: Stabilize 1.8.0 arm64, #941858
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
|
2024-10-21 21:41:31 +03:00 |
|
|
Alfredo Tupone
|
fb783d774a
|
dev-ml/tiny_httpd: drop seq deps
Closes: https://bugs.gentoo.org/941902
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
2024-10-21 12:11:03 +02:00 |
|
|
Alfredo Tupone
|
ec21a0a06c
|
dev-ml/tiny_httpd: add 0.17.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
2024-10-20 19:48:42 +02:00 |
|
|
Alfredo Tupone
|
3141cef092
|
dev-ml/iostream: new package, add 0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
2024-10-20 19:48:38 +02:00 |
|
|
Alfredo Tupone
|
dcf5ceaf12
|
dev-ml/hmap: new package, add 0.8.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
2024-10-20 19:48:34 +02:00 |
|
|
Alfredo Tupone
|
75f3f83a74
|
dev-ml/lwt: drop 5.4.2-r1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
2024-10-20 09:50:14 +02:00 |
|
 Sam James
|
c20f9a0561
|
dev-ml/gen: Stabilize 1.1 x86, #941858
Signed-off-by: Sam James <sam@gentoo.org>
|
2024-10-20 05:45:36 +01:00 |
|
|
Sam James
|
8f16a8a7b9
|
dev-ml/sedlex: Stabilize 3.2 x86, #941858
Signed-off-by: Sam James <sam@gentoo.org>
|
2024-10-20 05:45:35 +01:00 |
|
|
Sam James
|
6c6166b6eb
|
dev-ml/alcotest: Stabilize 1.8.0 x86, #941858
Signed-off-by: Sam James <sam@gentoo.org>
|
2024-10-20 05:45:34 +01:00 |
|
|
Sam James
|
ffb5453725
|
dev-ml/gen: Stabilize 1.1 amd64, #941858
Signed-off-by: Sam James <sam@gentoo.org>
|
2024-10-20 05:45:33 +01:00 |
|
|
Sam James
|
46874ac6b5
|
dev-ml/sedlex: Stabilize 3.2 amd64, #941858
Signed-off-by: Sam James <sam@gentoo.org>
|
2024-10-20 05:45:33 +01:00 |
|
|
Sam James
|
44ea99fa7f
|
dev-ml/yojson: Stabilize 2.2.1 amd64, #941858
Signed-off-by: Sam James <sam@gentoo.org>
|
2024-10-20 05:45:32 +01:00 |
|
|
Sam James
|
91f29b81bd
|
dev-ml/alcotest: Stabilize 1.8.0 amd64, #941858
Signed-off-by: Sam James <sam@gentoo.org>
|
2024-10-20 05:45:31 +01:00 |
|
|
Michał Górny
|
ed8b79582b
|
dev-ml/llvm-ocaml: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
|
2024-10-19 17:24:26 +02:00 |
|
|
Alfredo Tupone
|
5df6da680a
|
dev-ml/uuseg: add 16.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
2024-10-19 17:11:06 +02:00 |
|
|
Alfredo Tupone
|
638d2f4a59
|
dev-ml/uunf: add 16.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
2024-10-19 17:05:21 +02:00 |
|
|
Alfredo Tupone
|
4d8497fd27
|
dev-ml/uuidm: add 0.9.9
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
2024-10-19 16:58:03 +02:00 |
|
|
Alfredo Tupone
|
8655701aef
|
dev-ml/uucp: add 16.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
2024-10-19 16:56:09 +02:00 |
|
|
Alfredo Tupone
|
79b4922ba1
|
dev-ml/reason: add 3.12.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
2024-10-19 16:42:43 +02:00 |
|
|
Alfredo Tupone
|
c6b6b5c104
|
dev-ml/textutils_kernel: add 0.17.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
2024-10-18 22:18:34 +02:00 |
|
|
Alfredo Tupone
|
64d531af7f
|
dev-ml/re: add 1.12.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
2024-10-18 20:02:20 +02:00 |
|
|
Alfredo Tupone
|
0a1ed88958
|
dev-ml/ptime: add 1.2.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
2024-10-18 19:57:06 +02:00 |
|
|
Alfredo Tupone
|
fc243a082e
|
dev-ml/ppxlib: add 0.33.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
2024-10-18 19:54:01 +02:00 |
|
|
Alfredo Tupone
|
4fa4737082
|
dev-ml/ppx_deriving_yojson: add 3.9.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
2024-10-18 19:48:12 +02:00 |
|
|
Alfredo Tupone
|
48f128072c
|
dev-ml/ocaml-migrate-parsetree: do not work with ocaml-5
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
2024-10-18 19:48:08 +02:00 |
|
|
Arthur Zamarin
|
53f058c1d5
|
dev-ml/xml-light: Stabilize 2.5 arm64, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
|
2024-10-18 18:40:17 +03:00 |
|
|
Arthur Zamarin
|
809bb0e2b9
|
dev-ml/pp: Stabilize 1.2.0 arm64, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
|
2024-10-18 18:40:16 +03:00 |
|
|
Arthur Zamarin
|
e62b64007a
|
dev-ml/ocamlgraph: Stabilize 2.1.0 arm64, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
|
2024-10-18 18:40:16 +03:00 |
|
|
Arthur Zamarin
|
d0407c8940
|
dev-ml/ocaml-ctypes: Stabilize 0.22.0 arm64, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
|
2024-10-18 18:40:15 +03:00 |
|
|
Arthur Zamarin
|
69fa601d4f
|
dev-ml/ocamlbuild: Stabilize 0.15.0 arm64, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
|
2024-10-18 18:40:15 +03:00 |
|
|
Arthur Zamarin
|
50afa2069a
|
dev-ml/num: Stabilize 1.5 arm64, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
|
2024-10-18 18:40:14 +03:00 |
|
|
Arthur Zamarin
|
6c54997971
|
dev-ml/menhir: Stabilize 20240715 arm64, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
|
2024-10-18 18:40:13 +03:00 |
|
|
Arthur Zamarin
|
b88e920e28
|
dev-ml/lablgtk-sourceview: Stabilize 3.1.5 arm64, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
|
2024-10-18 18:40:13 +03:00 |
|