diff options
| author | Evan Danaher <github@edanaher.net> | 2017-08-05 22:28:19 -0400 |
|---|---|---|
| committer | Evan Danaher <github@edanaher.net> | 2017-08-05 22:28:19 -0400 |
| commit | b769a941533f3b69490f160b6b464c4dbc0e4832 (patch) | |
| tree | 805000a27289298502de9a63bee87cf1a84c1e01 /pkgs/development/compilers/urweb | |
| parent | a7c8f5e419ba07711c132bf81baaab0e74862cce (diff) | |
| download | nixpkgs-b769a941533f3b69490f160b6b464c4dbc0e4832.tar nixpkgs-b769a941533f3b69490f160b6b464c4dbc0e4832.tar.gz nixpkgs-b769a941533f3b69490f160b6b464c4dbc0e4832.tar.bz2 nixpkgs-b769a941533f3b69490f160b6b464c4dbc0e4832.tar.lz nixpkgs-b769a941533f3b69490f160b6b464c4dbc0e4832.tar.xz nixpkgs-b769a941533f3b69490f160b6b464c4dbc0e4832.tar.zst nixpkgs-b769a941533f3b69490f160b6b464c4dbc0e4832.zip | |
urweb: 20170105 -> 20170720
Diffstat (limited to 'pkgs/development/compilers/urweb')
| -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 c1e1e2ece7a..7145a8f2fa0 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 = "20170105"; + version = "20170720"; src = fetchurl { url = "http://www.impredicative.com/ur/${name}.tgz"; - sha256 = "2ad3aea2c4851c9b18f752d38c7127af8293fbbbbdb3dd06b73a4603fe399b67"; + sha256 = "17qh9mcmlhbv6r52yij8l9ik7j7x6x7c09lf6pznnbdh4sf8p5wb"; }; buildInputs = [ openssl mlton mysql.client postgresql sqlite ]; |