|
advanced
|
Merge branch 'master' into stable for 0.18
|
2016-06-14 14:13:29 +02:00 |
|
bigarray
|
Merge branch 'master' into stable
|
2016-04-22 23:42:29 +02:00 |
|
core
|
Merge branch 'master' into stable for 0.18
|
2016-06-14 14:13:29 +02:00 |
|
data
|
Merge branch 'master' into stable for 0.18
|
2016-06-14 14:13:29 +02:00 |
|
io
|
0.14.0.1 with some bugfixes
|
2015-11-11 17:43:07 +01:00 |
|
iter
|
Merge branch 'master' into stable for 0.18
|
2016-06-14 14:13:29 +02:00 |
|
lwt
|
Merge branch 'master' into stable; version 0.13
|
2015-09-23 16:40:38 +02:00 |
|
misc
|
Merge branch 'master' into stable; version 0.13
|
2015-09-23 16:40:38 +02:00 |
|
pervasives
|
Merge branch 'master' into stable for 0.10
|
2015-04-10 16:43:16 +02:00 |
|
sexp
|
Merge branch 'master' into stable for 0.16
|
2016-02-24 22:09:31 +01:00 |
|
string
|
Merge branch 'master' into stable
|
2016-04-22 23:42:29 +02:00 |
|
threads
|
Merge branch 'master' into stable
|
2016-04-22 23:42:29 +02:00 |
|
top
|
re-generate oasis files; remove dep on oasis in opam
|
2016-03-09 10:13:30 +01:00 |
|
unix
|
Merge branch 'master' into stable
|
2016-04-22 23:42:29 +02:00 |
