public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Upgrade camlp5 to version 6.02.3-1 (contributed by Russell O'Connor).

Browse Source 
Keep the old version 5.15 to allow a smooth migration.


svn path=/nixpkgs/trunk/; revision=30575
This commit is contained in:
Marco Maggesi
2011-11-26 19:39:14 +00:00
parent bf394d80ec
commit 8d4b5bcd0c
3 changed files with 68 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
pkgs/top-level/all-packages.nix
View File

@@ -2342,12 +2342,22 @@ let
camlidl = callPackage ../development/tools/ocaml/camlidl { };
camlp5_strict = callPackage ../development/tools/ocaml/camlp5 { };
camlp5_5_strict = callPackage ../development/tools/ocaml/camlp5/5.15.nix { };
camlp5_transitional = callPackage ../development/tools/ocaml/camlp5 {
camlp5_5_transitional = callPackage ../development/tools/ocaml/camlp5/5.15.nix {
transitional = true;
};
camlp5_6_strict = callPackage ../development/tools/ocaml/camlp5 { };
camlp5_6_transitional = callPackage ../development/tools/ocaml/camlp5 {
transitional = true;
};
camlp5_strict = camlp5_6_strict;
camlp5_transitional = camlp5_6_transitional;
camlzip = callPackage ../development/ocaml-modules/camlzip { };
camomile_0_8_2 = callPackage ../development/ocaml-modules/camomile/0.8.2.nix { };
@@ -2398,7 +2408,7 @@ let
ounit = callPackage ../development/ocaml-modules/ounit { };
ulex08 = callPackage ../development/ocaml-modules/ulex/0.8 {
camlp5 = camlp5_transitional;
camlp5 = camlp5_5_transitional;
};
};
@@ -8206,7 +8216,7 @@ let
coq = callPackage ../applications/science/logic/coq {
inherit (ocamlPackages) findlib lablgtk;
camlp5 = ocamlPackages.camlp5_transitional;
camlp5 = ocamlPackages.camlp5_5_transitional;
};
cvc3 = callPackage ../applications/science/logic/cvc3 {};
@@ -8253,7 +8263,7 @@ let
spass = callPackage ../applications/science/logic/spass {};
ssreflect = callPackage ../applications/science/logic/ssreflect {
camlp5 = ocamlPackages.camlp5_transitional;
camlp5 = ocamlPackages.camlp5_5_transitional;
};
tptp = callPackage ../applications/science/logic/tptp {};