Commit Graph

656 Commits

Author SHA1 Message Date
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