diff options
| author | Vladimír Čunát <vcunat@gmail.com> | 2014-06-15 17:55:35 +0200 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2014-06-15 17:55:35 +0200 |
| commit | 9757785295b95aa67d0c824dae73721fe47e7d5b (patch) | |
| tree | 9dfebfef885900bc44d537d13b6c08c807262c67 /pkgs/development/compilers/urweb/default.nix | |
| parent | de12094b0e97e36485a26abce86a014d4bddd0de (diff) | |
| parent | 0d71d2b631a1c31763806e6878c88db9f0a53e52 (diff) | |
| download | nixlib-9757785295b95aa67d0c824dae73721fe47e7d5b.tar nixlib-9757785295b95aa67d0c824dae73721fe47e7d5b.tar.gz nixlib-9757785295b95aa67d0c824dae73721fe47e7d5b.tar.bz2 nixlib-9757785295b95aa67d0c824dae73721fe47e7d5b.tar.lz nixlib-9757785295b95aa67d0c824dae73721fe47e7d5b.tar.xz nixlib-9757785295b95aa67d0c824dae73721fe47e7d5b.tar.zst nixlib-9757785295b95aa67d0c824dae73721fe47e7d5b.zip | |
Merge recent master
Diffstat (limited to 'pkgs/development/compilers/urweb/default.nix')
| -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 2073104c6fdf..bd457b227e6f 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 = "20140426"; + version = "20140531"; name = "${pname}-${version}"; src = fetchurl { url = "http://www.impredicative.com/ur/${name}.tgz"; - sha256 = "0d7mbmjc59y0dwk4k7r4wpxfsn4fzswrdxai9xh2nzjsxg2fa7d2"; + sha256 = "0gbk16hzs8267cfhb7w1cqgjxdv2icxg5clxdbda6qsn84jaf3n4"; }; buildInputs = [ stdenv.gcc file openssl mlton mysql postgresql sqlite ]; |