Commit graph

714 commits

Author SHA1 Message Date
John Wiegley 4008300243 Merge pull request #20025 from vbgl/coq-8.5pl3
Coq: 8.5pl2 -> 8.5pl3
2016-11-03 10:38:45 -07:00
sternenseemann 096ec04b82 ocaml-erm_xmpp_0_3: init at 0.3 2016-11-03 14:39:26 +01:00
sternenseemann 9554143a9c ocaml-otr: init at 0.3.3 2016-11-03 14:39:26 +01:00
sternenseemann 02388e9ba5 ocaml-notty: init at 0.1.1 2016-11-03 14:39:22 +01:00
sternenseemann db760a5edc ocaml-astring: init at 0.8.3 2016-11-03 14:34:35 +01:00
sternenseemann d675e0d832 ocaml-tls: init at 0.7.1 2016-11-03 14:34:31 +01:00
sternenseemann d8686b4949 ocaml-nocrypto: 0.5.1 -> 0.5.3 2016-11-03 14:24:47 +01:00
sternenseemann 0c8859fd17 ocaml-ptime: init at 0.8.2 2016-11-03 14:08:18 +01:00
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