diff options
author | vbgl <vbgl@users.noreply.github.com> | 2014-12-07 11:27:05 +0100 |
---|---|---|
committer | vbgl <vbgl@users.noreply.github.com> | 2014-12-07 11:27:05 +0100 |
commit | bd5ace443fb220295529c29f729f577d50bfdbef (patch) | |
tree | 8ed35427edb3b31a3cb4d2c69d053e029d183f71 /pkgs | |
parent | f89195de81206d7931b88f3107ec5cf9b56e9506 (diff) | |
parent | c77ae0ced73ebadc192a8dae97f4dd433fadc232 (diff) | |
download | nixlib-bd5ace443fb220295529c29f729f577d50bfdbef.tar nixlib-bd5ace443fb220295529c29f729f577d50bfdbef.tar.gz nixlib-bd5ace443fb220295529c29f729f577d50bfdbef.tar.bz2 nixlib-bd5ace443fb220295529c29f729f577d50bfdbef.tar.lz nixlib-bd5ace443fb220295529c29f729f577d50bfdbef.tar.xz nixlib-bd5ace443fb220295529c29f729f577d50bfdbef.tar.zst nixlib-bd5ace443fb220295529c29f729f577d50bfdbef.zip |
Merge pull request #5248 from mstarzyk/urweb
urweb: updated to version 20141206
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/compilers/urweb/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/compilers/urweb/default.nix b/pkgs/development/compilers/urweb/default.nix index 01dbaee8cde6..51025847c902 100644 --- a/pkgs/development/compilers/urweb/default.nix +++ b/pkgs/development/compilers/urweb/default.nix @@ -2,12 +2,12 @@ stdenv.mkDerivation rec { pname = "urweb"; - version = "20140830"; + version = "20141206"; name = "${pname}-${version}"; src = fetchurl { url = "http://www.impredicative.com/ur/${name}.tgz"; - sha256 = "0l4zhvdy2fdvhihyl4gl09v8q4w05b1k0c6h4k8281px96d5ljgr"; + sha256 = "077yakksxvdjlmwgc9wlz9jnkr345sikqjchvmxyv0axga5bw4rj"; }; buildInputs = [ stdenv.gcc file openssl mlton mysql postgresql sqlite ]; |