Commit Graph

23 Commits

Author SHA1 Message Date
Marco Maggesi
ff1ed720e2 Rename z77z into maggesi
Make the "handle" of the maintainer match the name of the github account.
Also update the email address.
2019-10-07 17:05:25 +02:00
Vincent Laporte
0c0e63d211
ocamlPackages.camlp5: 7.08 → 7.10 2019-09-21 03:35:39 +00:00
Vincent Laporte
957a0ae2a7 ocamlPackages.camlp5: 7.07 -> 7.08 2019-08-12 14:36:38 +00:00
Vincent Laporte
0c0954781e ocamlPackages.camlp5: remove legacy version (7.06) 2019-04-06 11:03:29 +02:00
Vincent Laporte
e481df83b1 ocamlPackages.camlp5: 7.06 -> 7.07
Keeping the legacy (7.06) version around, needed by hol_light
2018-11-21 05:59:49 +00:00
Vincent Laporte
af5b528c95 ocamlPackages.camlp5: 7.05 -> 7.06 (#45326) 2018-08-23 23:07:45 +02:00
Vincent Laporte
a3c143c39c ocamlPackages.camlp5: 7.03 -> 7.05 2018-02-28 19:08:40 +01:00
Vincent Laporte
dd0cdc2fb4
ocamlPackages.camlp5: 7.02 -> 7.03 2017-10-30 11:58:05 +00:00
Vincent Laporte
182b357c9d ocamlPackages.camlp5: 7.01 -> 7.02 2017-10-17 09:01:22 +02:00
Vincent Laporte
cacc9faac7 camlPackages.camlp5: 6.17 -> 7.01 2017-07-08 06:14:43 +00:00
Théo Zimmermann
017a723939 camlp5: fix install with ocaml 4.04
The problem was that bytecode executables were shrinked.

This closes #25367.
2017-05-03 11:57:33 +02:00
Vincent Laporte
f0d7e808b2 camlp5: 6.16 -> 6.17 2016-11-29 18:34:21 +00:00
Kirill Boltaev
3e646865f4 treewide: use ocaml.version (#19192) 2016-10-05 09:32:30 +02:00
Vincent Laporte
3a6c85da65 camlp5: 6.14 -> 6.16 2016-05-01 16:10:10 +02:00
Nicolas B. Pierron
72c6f8a140 Ensure that we can evaluate the platform attribute of ocaml packages. 2016-03-13 19:08:26 +00:00
Vincent Laporte
399a9da2ae camlp5: 6.12 -> 6.14 2015-09-23 19:05:02 +02:00
Vincent Laporte
a6af1e96de Updates camlp5 6.11 -> 6.12 2014-10-01 00:44:15 +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