diff options
| author | Matthew Bauer <mjbauer95@gmail.com> | 2018-11-20 21:57:17 -0600 |
|---|---|---|
| committer | Matthew Bauer <mjbauer95@gmail.com> | 2018-11-21 09:39:23 -0600 |
| commit | 5ad5708f83a1661ef56ba1e2b2b8c82829e36774 (patch) | |
| tree | 5e71dc873792d6082df53c1ee74f081ddbfb761e /pkgs/development/libraries/arb | |
| parent | f4bf6ba67bd75009d0107674c894c79017263a04 (diff) | |
| download | nixpkgs-5ad5708f83a1661ef56ba1e2b2b8c82829e36774.tar nixpkgs-5ad5708f83a1661ef56ba1e2b2b8c82829e36774.tar.gz nixpkgs-5ad5708f83a1661ef56ba1e2b2b8c82829e36774.tar.bz2 nixpkgs-5ad5708f83a1661ef56ba1e2b2b8c82829e36774.tar.lz nixpkgs-5ad5708f83a1661ef56ba1e2b2b8c82829e36774.tar.xz nixpkgs-5ad5708f83a1661ef56ba1e2b2b8c82829e36774.tar.zst nixpkgs-5ad5708f83a1661ef56ba1e2b2b8c82829e36774.zip | |
arb-git: remove
Older than the stable version
Diffstat (limited to 'pkgs/development/libraries/arb')
| -rw-r--r-- | pkgs/development/libraries/arb/git.nix | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/pkgs/development/libraries/arb/git.nix b/pkgs/development/libraries/arb/git.nix deleted file mode 100644 index a281e2a085f..00000000000 --- a/pkgs/development/libraries/arb/git.nix +++ /dev/null @@ -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; - }; -} |