From b2444e25ef55be2069dc5b4cc9f3cc048cadd03e Mon Sep 17 00:00:00 2001 From: Aistis Raulinaitis Date: Tue, 16 May 2017 11:43:23 -0700 Subject: [PATCH] UrWeb version bump --- pkgs/development/compilers/urweb/default.nix | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/development/compilers/urweb/default.nix b/pkgs/development/compilers/urweb/default.nix index 638b10f76d5..c1e1e2ece7a 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 = "20160621"; + version = "20170105"; src = fetchurl { url = "http://www.impredicative.com/ur/${name}.tgz"; - sha256 = "08km96hli5yp754nsxxjzih2la0m89j5wc2cq12rkas43nqqgr65"; + sha256 = "2ad3aea2c4851c9b18f752d38c7127af8293fbbbbdb3dd06b73a4603fe399b67"; }; buildInputs = [ openssl mlton mysql.client postgresql sqlite ]; @@ -38,6 +38,6 @@ stdenv.mkDerivation rec { homepage = "http://www.impredicative.com/ur/"; license = stdenv.lib.licenses.bsd3; platforms = stdenv.lib.platforms.linux; - maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; + maintainers = [ stdenv.lib.maintainers.thoughtpolice stdenv.lib.maintainers.sheganinans ]; }; }