diff options
| author | Domen Kožar <domen@dev.si> | 2015-10-26 20:11:36 +0100 |
|---|---|---|
| committer | Domen Kožar <domen@dev.si> | 2015-10-26 20:11:36 +0100 |
| commit | 3b85cf704cd49dcaa1d9ae6b1fdf429172934b38 (patch) | |
| tree | c24b07a412d353cc29e24e87434984c468a6bd94 /pkgs/development/compilers | |
| parent | bad15da9242209e8c84451f9e8a41c6c00667933 (diff) | |
| parent | 2cfa1e8f98f8222ae25133c763abe5f28cfced43 (diff) | |
| download | nixlib-3b85cf704cd49dcaa1d9ae6b1fdf429172934b38.tar nixlib-3b85cf704cd49dcaa1d9ae6b1fdf429172934b38.tar.gz nixlib-3b85cf704cd49dcaa1d9ae6b1fdf429172934b38.tar.bz2 nixlib-3b85cf704cd49dcaa1d9ae6b1fdf429172934b38.tar.lz nixlib-3b85cf704cd49dcaa1d9ae6b1fdf429172934b38.tar.xz nixlib-3b85cf704cd49dcaa1d9ae6b1fdf429172934b38.tar.zst nixlib-3b85cf704cd49dcaa1d9ae6b1fdf429172934b38.zip | |
Merge pull request #10632 from grwlf/urweb-bump
Urweb bump
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 dc862940edf2..3e4b0bcae5b9 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 = "20150819"; + version = "20151018"; src = fetchurl { url = "http://www.impredicative.com/ur/${name}.tgz"; - sha256 = "0gpdlq3aazx121k3ia94qfa4dyv04q7478x2p6hvcjamn18vk56n"; + sha256 = "08p52p5m1xl2gzdchnayky44mm2b0x8hv0f00iviyyv1gnx3lpy0"; }; buildInputs = [ openssl mlton mysql postgresql sqlite ]; |