diff options
| author | Russell O'Connor <roconnor@theorem.ca> | 2012-05-28 20:53:17 +0000 |
|---|---|---|
| committer | Russell O'Connor <roconnor@theorem.ca> | 2012-05-28 20:53:17 +0000 |
| commit | 417a07a0e92e5d3e368193b7cfbf8cfe956e1e34 (patch) | |
| tree | c71652082ead5cd4af692c0b83366e048eab1fe9 /pkgs/top-level | |
| parent | f02a71103a7edb19d950622ff1970d9e878141e5 (diff) | |
| download | nixlib-417a07a0e92e5d3e368193b7cfbf8cfe956e1e34.tar nixlib-417a07a0e92e5d3e368193b7cfbf8cfe956e1e34.tar.gz nixlib-417a07a0e92e5d3e368193b7cfbf8cfe956e1e34.tar.bz2 nixlib-417a07a0e92e5d3e368193b7cfbf8cfe956e1e34.tar.lz nixlib-417a07a0e92e5d3e368193b7cfbf8cfe956e1e34.tar.xz nixlib-417a07a0e92e5d3e368193b7cfbf8cfe956e1e34.tar.zst nixlib-417a07a0e92e5d3e368193b7cfbf8cfe956e1e34.zip | |
Updatings ssreflect to depend on camlp5 version 6.
svn path=/nixpkgs/trunk/; revision=34263
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 073bf66d3499..28f7e07f2be4 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -8298,7 +8298,7 @@ let spass = callPackage ../applications/science/logic/spass {}; ssreflect = callPackage ../applications/science/logic/ssreflect { - camlp5 = ocamlPackages.camlp5_5_transitional; + camlp5 = ocamlPackages.camlp5_transitional; }; tptp = callPackage ../applications/science/logic/tptp {}; |