8 commits

Author	SHA1	Message	Date
Vincent Laporte	a6af1e96de	Updates camlp5 6.11 -> 6.12	2014-10-01 00:44:15 +01:00
Vincent Laporte	8febae5dfd	Updates ocaml-sexplib and ocaml-typeconv ... Fixes OCaml / camlp5 version mismatch	2014-09-19 19:09:37 +01:00
Marco Maggesi	389da8b64c	Update camlp5 to version 6.11	2014-01-18 20:56:44 +00:00
Marco Maggesi	2221bf0593	Update camlp5 to 6.06.	2012-10-09 14:03:12 -04:00
Marco Maggesi	8d4b5bcd0c	Upgrade camlp5 to version 6.02.3-1 (contributed by Russell O'Connor). ... Keep the old version 5.15 to allow a smooth migration. svn path=/nixpkgs/trunk/; revision=30575	2011-11-26 19:39:14 +00:00
Marco Maggesi	e7accaf8d3	* Update camlp5 ... svn path=/nixpkgs/trunk/; revision=25206	2010-12-20 10:32:22 +00:00
Marco Maggesi	a0207b3dc7	Updated Coq to version 8.2pl1 ... svn path=/nixpkgs/trunk/; revision=18069	2009-11-02 11:44:27 +00:00
Marco Maggesi	c4533b8d24	Added camlp5 the preprocessor-pretty-printer for OCaml ... svn path=/nixpkgs/trunk/; revision=18068	2009-11-02 10:47:24 +00:00