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 |
|