 autodist
|
9064780695
|
automatic version update by autodist [release 22.1.7-1mamba;Tue Jun 02 2026]
22.1.7-1mamba
|
2026-06-03 15:37:17 +02:00 |
|
 claude
|
3fd113bf9e
|
rebuild with ocaml-integers >= 0.8.0, ocaml-ctypes >= 0.24.0-4mamba [release 22.1.6-2mamba;Wed May 27 2026]
22.1.6-2mamba
|
2026-05-28 01:24:39 +02:00 |
|
|
autodist
|
67719cc49f
|
automatic version update by autodist [release 22.1.6-1mamba;Thu May 21 2026]
22.1.6-1mamba
|
2026-05-22 17:07:34 +02:00 |
|
|
autodist
|
f2cb3f4bc2
|
automatic version update by autodist [release 22.1.5-1mamba;Wed May 06 2026]
22.1.5-1mamba
|
2026-05-07 11:27:10 +02:00 |
|
|
claude
|
d5e2a03aaf
|
rebuild with ocaml >= 5.4.1 [release 22.1.4-2mamba;Mon Apr 27 2026]
22.1.4-2mamba
|
2026-05-05 22:18:11 +02:00 |
|
|
autodist
|
997ec4e80b
|
automatic version update by autodist [release 22.1.4-1mamba;Wed Apr 22 2026]
22.1.4-1mamba
|
2026-04-23 11:06:20 +02:00 |
|
|
autodist
|
bec9741eb5
|
automatic version update by autodist [release 22.1.3-1mamba;Tue Apr 07 2026]
22.1.3-1mamba
|
2026-04-08 22:16:03 +02:00 |
|
|
autodist
|
809445153c
|
automatic version update by autodist [release 22.1.2-1mamba;Wed Mar 25 2026]
22.1.2-1mamba
|
2026-03-27 01:05:03 +01:00 |
|
|
autodist
|
0f25f9f6bb
|
automatic version update by autodist [release 22.1.1-1mamba;Wed Mar 11 2026]
22.1.1-1mamba
|
2026-03-15 22:13:08 +01:00 |
|
|
autodist
|
e4a1f8929f
|
automatic version update by autodist [release 21.1.8-1mamba;Thu Dec 18 2025]
21.1.8-1mamba
|
2025-12-19 21:57:19 +01:00 |
|
|
autodist
|
bd04af3575
|
automatic version update by autodist [release 21.1.7-1mamba;Tue Dec 02 2025]
21.1.7-1mamba
|
2025-12-03 10:15:44 +01:00 |
|
|
autodist
|
f7ec99b272
|
automatic version update by autodist [release 21.1.6-1mamba;Wed Nov 19 2025]
21.1.6-1mamba
|
2025-11-20 13:30:35 +01:00 |
|
|
autodist
|
8dea53de87
|
automatic version update by autodist [release 21.1.5-1mamba;Tue Nov 04 2025]
21.1.5-1mamba
|
2025-11-05 10:37:27 +01:00 |
|
|
autodist
|
00d2d71807
|
automatic version update by autodist [release 21.1.4-1mamba;Tue Oct 21 2025]
21.1.4-1mamba
|
2025-10-22 20:54:15 +02:00 |
|
|
autodist
|
e13eb8d651
|
automatic version update by autodist [release 21.1.3-1mamba;Wed Oct 08 2025]
21.1.3-1mamba
|
2025-10-09 18:27:04 +02:00 |
|
|
autodist
|
926010c242
|
automatic version update by autodist [release 21.1.2-1mamba;Wed Sep 24 2025]
21.1.2-1mamba
|
2025-10-03 13:53:27 +02:00 |
|
|
autodist
|
70a52b7fa9
|
automatic version update by autodist [release 20.1.8-1mamba;Wed Jul 09 2025]
20.1.8-1mamba
|
2025-07-12 19:05:23 +02:00 |
|
|
autodist
|
141d231f3a
|
automatic version update by autodist [release 20.1.7-1mamba;Sat Jun 14 2025]
20.1.7-1mamba
|
2025-06-16 21:31:59 +02:00 |
|
|
autodist
|
485f762261
|
automatic version update by autodist [release 20.1.6-1mamba;Fri May 30 2025]
20.1.6-1mamba
|
2025-06-02 22:39:49 +02:00 |
|
|
autodist
|
addae09953
|
automatic version update by autodist [release 20.1.5-1mamba;Fri May 23 2025]
20.1.5-1mamba
|
2025-05-23 21:09:18 +02:00 |
|
|
autodist
|
5cca21cfb5
|
automatic version update by autodist [release 19.1.7-1mamba;Tue Jan 14 2025]
19.1.7-1mamba
|
2025-01-16 15:14:58 +01:00 |
|
|
autodist
|
3d11f03483
|
automatic version update by autodist [release 19.1.6-1mamba;Wed Dec 18 2024]
19.1.6-1mamba
|
2024-12-19 12:21:23 +01:00 |
|
|
autodist
|
47745591f9
|
automatic version update by autodist [release 19.1.5-1mamba;Tue Dec 03 2024]
19.1.5-1mamba
|
2024-12-04 21:04:18 +01:00 |
|
|
autodist
|
8b5626b36f
|
automatic version update by autodist [release 19.1.4-1mamba;Tue Nov 19 2024]
19.1.4-1mamba
|
2024-11-21 13:57:56 +01:00 |
|
|
autodist
|
1ece87de05
|
automatic version update by autodist [release 19.1.3-1mamba;Wed Oct 30 2024]
19.1.3-1mamba
|
2024-11-02 11:35:09 +01:00 |
|
|
autodist
|
6268706724
|
automatic version update by autodist [release 19.1.2-1mamba;Tue Oct 15 2024]
19.1.2-1mamba
|
2024-10-17 21:53:00 +02:00 |
|
|
autodist
|
a3cba86a89
|
automatic version update by autodist [release 19.1.1-1mamba;Wed Oct 02 2024]
19.1.1-1mamba
|
2024-10-06 21:09:02 +02:00 |
|
|
autodist
|
da0658a1d9
|
automatic version update by autodist [release 18.1.8-1mamba;Sat Jun 22 2024]
18.1.8-1mamba
|
2024-06-27 18:47:56 +02:00 |
|
|
autodist
|
5c08458c39
|
automatic version update by autodist [release 18.1.7-1mamba;Fri Jun 07 2024]
18.1.7-1mamba
|
2024-06-08 14:56:51 +02:00 |
|
|
autodist
|
dfcfd970ca
|
automatic version update by autodist [release 18.1.6-1mamba;Sun May 19 2024]
18.1.6-1mamba
|
2024-05-22 21:29:37 +02:00 |
|
|
autodist
|
69a66503b6
|
automatic version update by autodist [release 18.1.5-1mamba;Sat May 04 2024]
18.1.5-1mamba
|
2024-05-08 18:45:53 +02:00 |
|
|
autodist
|
83fd1d76db
|
automatic version update by autodist [release 18.1.4-1mamba;Thu Apr 18 2024]
18.1.4-1mamba
|
2024-04-20 11:56:04 +02:00 |
|
|
autodist
|
de8a6a7a5c
|
automatic version update by autodist [release 18.1.3-1mamba;Sat Apr 06 2024]
18.1.3-1mamba
|
2024-04-13 13:50:41 +02:00 |
|
|
autodist
|
804acc31a1
|
automatic version update by autodist [release 18.1.2-1mamba;Wed Mar 20 2024]
18.1.2-1mamba
|
2024-03-22 17:13:14 +01:00 |
|
|
autodist
|
b84e0fc5fb
|
automatic version update by autodist [release 18.1.1-1mamba;Sat Mar 09 2024]
18.1.1-1mamba
|
2024-03-19 19:48:59 +01:00 |
|
 autodist-mambasoft
|
c7369a50fe
|
automatic version update by autodist [release 17.0.6-1mamba;Wed Nov 29 2023]
17.0.6-1mamba
|
2024-01-06 06:26:28 +01:00 |
|
|
autodist-mambasoft
|
6d25aa1332
|
automatic version update by autodist [release 17.0.5-1mamba;Wed Nov 15 2023]
17.0.5-1mamba
|
2024-01-06 06:26:26 +01:00 |
|
|
autodist-mambasoft
|
f3964bbe80
|
automatic version update by autodist [release 17.0.4-1mamba;Tue Oct 31 2023]
17.0.4-1mamba
|
2024-01-06 06:26:24 +01:00 |
|
|
autodist-mambasoft
|
9c1d238735
|
automatic version update by autodist [release 17.0.3-1mamba;Tue Oct 17 2023]
17.0.3-1mamba
|
2024-01-06 06:26:22 +01:00 |
|
 mambasoft
|
2011646367
|
rebuilt with ocaml 4.14.1 [release 16.0.6-2mamba;Thu Jul 06 2023]
16.0.6-2mamba
|
2024-01-06 06:26:20 +01:00 |
|
|
autodist-mambasoft
|
40770ea842
|
automatic version update by autodist [release 16.0.6-1mamba;Wed Jun 14 2023]
16.0.6-1mamba
|
2024-01-06 06:26:19 +01:00 |
|
|
autodist-mambasoft
|
add64e6c34
|
automatic version update by autodist [release 16.0.5-1mamba;Sat Jun 03 2023]
16.0.5-1mamba
|
2024-01-06 06:26:17 +01:00 |
|
|
autodist-mambasoft
|
8e826e8d69
|
automatic version update by autodist [release 16.0.4-1mamba;Thu May 18 2023]
16.0.4-1mamba
|
2024-01-06 06:26:15 +01:00 |
|
|
autodist-mambasoft
|
e6881a36b2
|
automatic version update by autodist [release 15.0.7-1mamba;Thu Jan 12 2023]
15.0.7-1mamba
|
2024-01-06 06:26:13 +01:00 |
|
|
autodist-mambasoft
|
5def60428d
|
automatic version update by autodist [release 15.0.6-1mamba;Tue Nov 29 2022]
15.0.6-1mamba
|
2024-01-06 06:26:11 +01:00 |
|
|
autodist-mambasoft
|
9d030b248b
|
automatic version update by autodist [release 15.0.5-1mamba;Thu Nov 17 2022]
15.0.5-1mamba
|
2024-01-06 06:26:11 +01:00 |
|
|
autodist-mambasoft
|
804d6440e9
|
automatic version update by autodist [release 14.0.6-1mamba;Sat Jun 25 2022]
14.0.6-1mamba
|
2024-01-06 06:26:11 +01:00 |
|
|
autodist-mambasoft
|
1be572aac1
|
automatic version update by autodist [release 14.0.5-1mamba;Sat Jun 11 2022]
14.0.5-1mamba
|
2024-01-06 06:26:11 +01:00 |
|
|
autodist-mambasoft
|
46eb9ee9ec
|
automatic version update by autodist [release 14.0.4-1mamba;Thu May 26 2022]
14.0.4-1mamba
|
2024-01-06 06:26:11 +01:00 |
|
|
mambasoft
|
74db3e64f2
|
re-add LLVM_ENABLE_RTTI=ON [release 14.0.3-3mamba;Fri May 20 2022]
14.0.3-3mamba
|
2024-01-06 06:26:11 +01:00 |
|