alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
201555 commits 217 branches 121 tags 4.5 GiB
Commit graph

26 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
Théo Zimmermann cf1f8b2d04
camlp5: remove old version 5.15 2018-10-08 21:09:59 +02: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 3d049938c8 Adds some “branch” meta-data 2014-11-06 19:40:50 +00:00
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