diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2016-10-10 17:00:41 +0200 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2016-10-26 11:06:32 +0200 |
commit | 0ac7e336c0188854b82884c6b0e4e730abff0d14 (patch) | |
tree | 7ee50f71d7a12e574c8d9793e19fc56b05888204 /pkgs/development/libraries/mpfi | |
parent | e405c88d5bc0985f81f66248485eb3eb8622eec6 (diff) | |
download | nixlib-0ac7e336c0188854b82884c6b0e4e730abff0d14.tar nixlib-0ac7e336c0188854b82884c6b0e4e730abff0d14.tar.gz nixlib-0ac7e336c0188854b82884c6b0e4e730abff0d14.tar.bz2 nixlib-0ac7e336c0188854b82884c6b0e4e730abff0d14.tar.lz nixlib-0ac7e336c0188854b82884c6b0e4e730abff0d14.tar.xz nixlib-0ac7e336c0188854b82884c6b0e4e730abff0d14.tar.zst nixlib-0ac7e336c0188854b82884c6b0e4e730abff0d14.zip |
mpfi: init at 1.5.1
Diffstat (limited to 'pkgs/development/libraries/mpfi')
-rw-r--r-- | pkgs/development/libraries/mpfi/default.nix | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/pkgs/development/libraries/mpfi/default.nix b/pkgs/development/libraries/mpfi/default.nix new file mode 100644 index 000000000000..c88c8da63784 --- /dev/null +++ b/pkgs/development/libraries/mpfi/default.nix @@ -0,0 +1,17 @@ +{stdenv, fetchurl, mpfr}: +stdenv.mkDerivation rec { + name = "mpfi-${version}"; + version = "1.5.1"; + src = fetchurl { + url = "https://gforge.inria.fr/frs/download.php/file/30129/mpfi-${version}.tar.bz2"; + sha256 = "0vk9jfcfiqda0zksg1ffy36pdznpng9b4nl7pfzpz9hps4v6bk1z"; + }; + buildInputs = [mpfr]; + meta = { + inherit version; + description = ''A multiple precision interval arithmetic library based on MPFR''; + license = stdenv.lib.licenses.lgpl21Plus; + maintainers = [stdenv.lib.maintainers.raskin]; + platforms = stdenv.lib.platforms.linux; + }; +} |