public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

urweb: updated to version 20141206

Browse Source
This commit is contained in:
Maciek Starzyk 2014-12-06 23:35:51 +01:00
parent f85ad2d378
commit c77ae0ced7
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/compilers/urweb/default.nix
View File

@ -2,12 +2,12 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "urweb"; pname = "urweb";
version = "20140830"; version = "20141206";
name = "${pname}-${version}"; name = "${pname}-${version}";
src = fetchurl { src = fetchurl {
url = "http://www.impredicative.com/ur/${name}.tgz"; url = "http://www.impredicative.com/ur/${name}.tgz";
sha256 = "0l4zhvdy2fdvhihyl4gl09v8q4w05b1k0c6h4k8281px96d5ljgr"; sha256 = "077yakksxvdjlmwgc9wlz9jnkr345sikqjchvmxyv0axga5bw4rj";
}; };
buildInputs = [ stdenv.gcc file openssl mlton mysql postgresql sqlite ]; buildInputs = [ stdenv.gcc file openssl mlton mysql postgresql sqlite ];