diff options
author | vbgl <vbgl@users.noreply.github.com> | 2015-09-29 19:43:15 +0200 |
---|---|---|
committer | vbgl <vbgl@users.noreply.github.com> | 2015-09-29 19:43:15 +0200 |
commit | b02c07641b1fc697a5811aa090f9156231b6f11f (patch) | |
tree | 89e378a548903341be400984ba2f6e6ea2209d4c /pkgs/development/tools | |
parent | bfd8e56aa690ac9e99443380738acef83b1baaef (diff) | |
parent | 399a9da2ae1286c039f15fe6c9c502669dbd6809 (diff) | |
download | nixlib-b02c07641b1fc697a5811aa090f9156231b6f11f.tar nixlib-b02c07641b1fc697a5811aa090f9156231b6f11f.tar.gz nixlib-b02c07641b1fc697a5811aa090f9156231b6f11f.tar.bz2 nixlib-b02c07641b1fc697a5811aa090f9156231b6f11f.tar.lz nixlib-b02c07641b1fc697a5811aa090f9156231b6f11f.tar.xz nixlib-b02c07641b1fc697a5811aa090f9156231b6f11f.tar.zst nixlib-b02c07641b1fc697a5811aa090f9156231b6f11f.zip |
Merge pull request #10014 from vbgl/camlp5-6.13
camlp5: 6.12 → 6.14
Diffstat (limited to 'pkgs/development/tools')
-rw-r--r-- | pkgs/development/tools/ocaml/camlp5/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/tools/ocaml/camlp5/default.nix b/pkgs/development/tools/ocaml/camlp5/default.nix index 1c811b217585..d9f364234308 100644 --- a/pkgs/development/tools/ocaml/camlp5/default.nix +++ b/pkgs/development/tools/ocaml/camlp5/default.nix @@ -7,11 +7,11 @@ in stdenv.mkDerivation { - name = "camlp5${if transitional then "_transitional" else ""}-6.12"; + name = "camlp5${if transitional then "_transitional" else ""}-6.14"; src = fetchurl { - url = http://camlp5.gforge.inria.fr/distrib/src/camlp5-6.12.tgz; - sha256 = "00jwgp6w4g64lfqjx77xziy532091fy00c42fsy0b4i892rch5mp"; + url = http://camlp5.gforge.inria.fr/distrib/src/camlp5-6.14.tgz; + sha256 = "1ql04iyvclpyy9805kpddc4ndjb5d0qg4shhi2fc6bixi49fvy89"; }; buildInputs = [ ocaml ]; |