869 Commits

Author	SHA1	Message	Date
Vincent Laporte	22732fc656	opam: remove 1.0.0	2016-11-05 16:28:21 +01:00
sternenseemann	37a47c1970	ocaml-astring: init at 0.8.3	2016-11-05 10:04:18 +01:00
sternenseemann	3f0e1f4c83	ocaml-ptime: init at 0.8.2	2016-11-04 19:15:18 +01:00
Vincent Laporte	16242a7c63	ocamlPackages.sedlex: init at 1.99.3 ... sedlex is a Unicode-friendly lexer generator for OCaml. Homepage: https://github.com/alainfrisch/sedlex	2016-11-04 19:06:45 +01:00
Profpatsch	2bd86e9e47	Revert "Merge pull request #20090 from sternenseemann/master" ... Reason: https://github.com/NixOS/nixpkgs/pull/20090#commitcomment-19686426 This reverts commit 9ffcb1b250, reversing changes made to a6283c1126.	2016-11-04 12:24:57 +01:00
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