diff options
| author | Kranium Gikos Mendoza <kranium@gikos.net> | 2016-07-14 23:14:15 +0800 |
|---|---|---|
| committer | Kranium Gikos Mendoza <kranium@gikos.net> | 2016-07-14 23:14:15 +0800 |
| commit | 2c169f83e7d43c92fe96b362b1ef45e390a0dc4d (patch) | |
| tree | 7a9640484393cf24574385eae30153de3ea6a2aa /pkgs/development/compilers | |
| parent | 125ffff089b6bd360c82cf986d8cc9b17fc2e8ac (diff) | |
| download | nixlib-2c169f83e7d43c92fe96b362b1ef45e390a0dc4d.tar nixlib-2c169f83e7d43c92fe96b362b1ef45e390a0dc4d.tar.gz nixlib-2c169f83e7d43c92fe96b362b1ef45e390a0dc4d.tar.bz2 nixlib-2c169f83e7d43c92fe96b362b1ef45e390a0dc4d.tar.lz nixlib-2c169f83e7d43c92fe96b362b1ef45e390a0dc4d.tar.xz nixlib-2c169f83e7d43c92fe96b362b1ef45e390a0dc4d.tar.zst nixlib-2c169f83e7d43c92fe96b362b1ef45e390a0dc4d.zip | |
urweb: 20151220 -> 20160621
Diffstat (limited to 'pkgs/development/compilers')
| -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 eebc8a56765b..d9c448970c97 100644 --- a/pkgs/development/compilers/urweb/default.nix +++ b/pkgs/development/compilers/urweb/default.nix @@ -4,11 +4,11 @@ stdenv.mkDerivation rec { name = "urweb-${version}"; - version = "20151220"; + version = "20160621"; src = fetchurl { url = "http://www.impredicative.com/ur/${name}.tgz"; - sha256 = "155maalm4l1ni7az3yqs0lrgl5f2xr3pz4118ag1hnk82qldd4s5"; + sha256 = "08km96hli5yp754nsxxjzih2la0m89j5wc2cq12rkas43nqqgr65"; }; buildInputs = [ openssl mlton mysql postgresql sqlite ]; |