|
|
966468187f
|
ocaml: update to 5.1.1
|
2023-12-08 12:12:07 +01:00 |
|
|
|
a66acdd221
|
ocaml: update to 5.1.0
|
2023-09-15 10:53:26 +02:00 |
|
|
|
86026d1c88
|
ocaml: update to 5.0.0
|
2023-04-18 11:07:24 +02:00 |
|
|
|
891816f966
|
ocaml: update to 4.14.0
|
2022-03-30 16:44:19 +02:00 |
|
|
|
715f2c0d0c
|
ocaml: update to 4.13.0
|
2021-09-26 12:58:20 +02:00 |
|
|
|
33385c8dd4
|
ocaml: update to 4.12.0
|
2021-03-18 18:02:37 +01:00 |
|
|
|
72c087e46b
|
ocaml: update to 4.11.0
|
2020-08-22 11:11:47 +02:00 |
|
|
|
5b1d78200c
|
ocaml: update to 4.10.0
|
2020-02-25 14:32:30 +01:00 |
|
|
|
e2a0c5f6cc
|
ocaml: update to 4.07
|
2018-07-12 14:19:16 +02:00 |
|
|
|
cc6523576c
|
ocaml: update to 4.06.0
|
2017-11-27 14:51:27 +01:00 |
|
|
|
c17f334a99
|
ocaml: update to 4.05.0
|
2017-08-01 12:02:03 +02:00 |
|
|
|
38f53fcfc8
|
ocaml: update to 4.04.0
|
2016-11-06 13:03:39 +01:00 |
|
|
|
e9b6f718d6
|
ocaml: update to 4.03
|
2016-05-21 13:40:17 +02:00 |
|
|
|
ba9b2a23d1
|
ocaml: update to 4.02.3
|
2015-07-27 18:34:22 +02:00 |
|
|
|
59d2b8ac72
|
ocaml: update to 4.02.2
|
2015-06-18 12:10:01 +02:00 |
|
|
|
1706ded8b2
|
ocaml: update to 4.02.1
|
2014-10-24 11:06:40 +02:00 |
|
|
|
0297be29ad
|
ocaml: disable graph and camlp4
|
2014-09-22 19:16:02 +02:00 |
|
|
|
b76a3f7ccd
|
ocaml: update to 4.01.0
|
2013-09-16 16:03:53 +02:00 |
|
|
|
0ce84e0d89
|
ocaml: update to 4.00.1
|
2012-10-06 09:34:10 +02:00 |
|
|
|
81ebfd08e6
|
ocaml: update to 3.12.0
|
2010-08-30 10:04:48 +02:00 |
|
|
|
7e5cc35906
|
ocaml: udpate to 3.11.1
|
2009-06-12 23:27:52 +02:00 |
|
|
|
40a2a7fbac
|
ocaml: update to 3.11.0
|
2008-12-08 18:31:06 +01:00 |
|
|
|
eaf3f9b88e
|
ocaml: removed optional dependency to xorg, thanks sepen
|
2008-01-19 15:58:36 +01:00 |
|
|
|
f0ff430334
|
ocaml: update to 3.10.1
|
2008-01-12 10:48:59 +01:00 |
|
|
|
942f3bb2ca
|
ocaml: update to 3.10.0
|
2007-07-05 16:09:50 +02:00 |
|
Juergen Daubert
|
66eeafa1fb
|
ocaml: update to 3.09.3
|
2006-09-17 12:26:38 +00:00 |
|
Johannes Winkelmann
|
bdea7e6c6a
|
create branch for 2.2
|
2006-02-23 15:26:10 +00:00 |
|
