Vincent Laporte
|
5f49eeb935
|
coq: move out of ocamlPackages
|
2016-11-02 19:23:15 +01:00 |
|
Vincent Laporte
|
92ef4067a6
|
ocamlPackages.uchar: init at 0.0.1
The uchar package provides a compatibility library for the `Uchar` module introduced in OCaml 4.03.
|
2016-10-19 19:20:32 +02:00 |
|
Kirill Boltaev
|
0a6ec885aa
|
ocaml-ng: export mkOcamlPackages
|
2016-10-17 08:50:23 +02:00 |
|
Vincent Laporte
|
731b616fdb
|
camlp4: fix for OCaml-4.03
|
2016-10-09 11:55:19 +02:00 |
|
Kirill Boltaev
|
3e646865f4
|
treewide: use ocaml.version (#19192)
|
2016-10-05 09:32:30 +02:00 |
|
Kirill Boltaev
|
e61663a233
|
treewide: move to ocaml-ng system
|
2016-09-26 02:36:49 +03:00 |
|