arb-git: remove

Older than the stable version
This commit is contained in:
Matthew Bauer 2018-11-20 21:57:17 -06:00
parent f4bf6ba67b
commit 5ad5708f83
2 changed files with 0 additions and 22 deletions

View File

@ -1,21 +0,0 @@
{stdenv, fetchFromGitHub, mpir, gmp, mpfr, flint}:
stdenv.mkDerivation rec {
name = "${pname}-${version}";
pname = "arb";
version = "2.9.0pre20161013";
src = fetchFromGitHub {
owner = "fredrik-johansson";
repo = "${pname}";
rev = "10bc615ce5999caf4723444b2b1219b74781d8a4";
sha256 = "1xb40x3hv9nh76aizhskj5gdhalgn7r95a7zji2nn4ih3lmh40hl";
};
buildInputs = [ mpir gmp mpfr flint ];
configureFlags = [ "--with-gmp=${gmp}" "--with-mpir=${mpir}" "--with-mpfr=${mpfr}" "--with-flint=${flint}" ];
meta = {
inherit version;
description = ''A library for arbitrary-precision interval arithmetic'';
license = stdenv.lib.licenses.lgpl21Plus;
maintainers = [stdenv.lib.maintainers.raskin];
platforms = stdenv.lib.platforms.linux;
};
}

View File

@ -9112,7 +9112,6 @@ with pkgs;
};
arb = callPackage ../development/libraries/arb {};
arb-git = callPackage ../development/libraries/arb/git.nix {};
argp-standalone = callPackage ../development/libraries/argp-standalone {};