diff options
author | Peter Simons <simons@cryp.to> | 2013-01-11 17:03:03 +0100 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2013-01-11 17:03:16 +0100 |
commit | c77946fa70ec3a6a8c7fb3f28e15e230ed55e915 (patch) | |
tree | 12b0399e49dfcefed83e60f3774c0971048173f1 /pkgs/development/libraries/ppl | |
parent | 82e852160bc170ecd91b56343cdaf6d6c55ce1fb (diff) | |
download | nixlib-c77946fa70ec3a6a8c7fb3f28e15e230ed55e915.tar nixlib-c77946fa70ec3a6a8c7fb3f28e15e230ed55e915.tar.gz nixlib-c77946fa70ec3a6a8c7fb3f28e15e230ed55e915.tar.bz2 nixlib-c77946fa70ec3a6a8c7fb3f28e15e230ed55e915.tar.lz nixlib-c77946fa70ec3a6a8c7fb3f28e15e230ed55e915.tar.xz nixlib-c77946fa70ec3a6a8c7fb3f28e15e230ed55e915.tar.zst nixlib-c77946fa70ec3a6a8c7fb3f28e15e230ed55e915.zip |
ppl: update to version 0.12.1
Diffstat (limited to 'pkgs/development/libraries/ppl')
-rw-r--r-- | pkgs/development/libraries/ppl/default.nix | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/pkgs/development/libraries/ppl/default.nix b/pkgs/development/libraries/ppl/default.nix index b24b4e06cb94..ca37881ae95f 100644 --- a/pkgs/development/libraries/ppl/default.nix +++ b/pkgs/development/libraries/ppl/default.nix @@ -1,13 +1,13 @@ { fetchurl, stdenv, gmpxx, perl, gnum4 }: -let version = "0.11.2"; in +let version = "0.12.1"; in stdenv.mkDerivation rec { name = "ppl-${version}"; src = fetchurl { url = "http://bugseng.com/products/ppl/download/ftp/releases/${version}/ppl-${version}.tar.bz2"; - sha256 = "1sxviip4yk6gp453pid5scy1ba66dzdpr02i1416yk7lkv0x3yz3"; + sha256 = "165iy8bmkgszs0v8lkb1mzwp53x4vkcc7m1xdpv8w77qf93ya8j0"; }; nativeBuildInputs = [ perl gnum4 ]; @@ -23,7 +23,9 @@ stdenv.mkDerivation rec { enableParallelBuilding = true; meta = { + homepage = "http://www.cs.unipr.it/ppl/"; description = "PPL: The Parma Polyhedra Library"; + license = "GPLv3+"; longDescription = '' The Parma Polyhedra Library (PPL) provides numerical abstractions @@ -40,10 +42,6 @@ stdenv.mkDerivation rec { version of the simplex algorithm. ''; - homepage = http://www.cs.unipr.it/ppl/; - - license = "GPLv3+"; - maintainers = [ stdenv.lib.maintainers.ludo ]; }; } |