diff options
author | Marco Maggesi <maggesi@math.unifi.it> | 2012-09-04 12:02:18 +0200 |
---|---|---|
committer | Marco Maggesi <maggesi@math.unifi.it> | 2012-09-04 12:02:18 +0200 |
commit | 264c528154364841730d9ab29128effb0da674e8 (patch) | |
tree | 3cfb7447a2acdc80115c98f3dc00c56e92eda60a | |
parent | 449230335dff460184887b784ee3e751194fc6a6 (diff) | |
download | nixlib-264c528154364841730d9ab29128effb0da674e8.tar nixlib-264c528154364841730d9ab29128effb0da674e8.tar.gz nixlib-264c528154364841730d9ab29128effb0da674e8.tar.bz2 nixlib-264c528154364841730d9ab29128effb0da674e8.tar.lz nixlib-264c528154364841730d9ab29128effb0da674e8.tar.xz nixlib-264c528154364841730d9ab29128effb0da674e8.tar.zst nixlib-264c528154364841730d9ab29128effb0da674e8.zip |
Upgrade PolyML to version 5.4.1
-rw-r--r-- | pkgs/development/compilers/polyml/default.nix | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/pkgs/development/compilers/polyml/default.nix b/pkgs/development/compilers/polyml/default.nix index 9a3d0a7deb4d..2654fd513e54 100644 --- a/pkgs/development/compilers/polyml/default.nix +++ b/pkgs/development/compilers/polyml/default.nix @@ -1,16 +1,15 @@ {stdenv, fetchurl}: let - pname = "polyml"; - version = "5.4"; + version = "5.4.1"; in stdenv.mkDerivation { - name = "${pname}-${version}"; + name = "polyml-${version}"; src = fetchurl { - url = "mirror://sourceforge/${pname}/${pname}.${version}.tar.gz"; - sha256 = "1ykbm4zk260dkdr8jl7mjaqxy98h65fq0z82k44b1fp5q8zy5d34"; + url = "mirror://sourceforge/polyml/polyml.${version}.tar.gz"; + sha256 = "514d1d07be487b783d4dfa29dbd550b3396640579ce135a9eb5a61f08e7f9cac"; }; meta = { @@ -19,7 +18,7 @@ stdenv.mkDerivation { Poly/ML is a full implementation of Standard ML. ''; homepage = http://www.polyml.org/; - license = "LGPL"; + license = stdenv.lib.licenses.lgpl; platforms = with stdenv.lib.platforms; linux; maintainers = [ #Add your name here! stdenv.lib.maintainers.z77z |