diff options
author | Timo Kaufmann <timokau@zoho.com> | 2018-04-27 00:10:52 +0200 |
---|---|---|
committer | Timo Kaufmann <timokau@zoho.com> | 2018-04-27 00:21:25 +0200 |
commit | 7390e007635c347257a4daba4c5e9f5355f7c4ab (patch) | |
tree | d2802968d9818199463ea8820f9d8032e2649d85 /pkgs/development/libraries/mpfi | |
parent | 893bf70a1cfe94e257d10ca093c06ddf30dde093 (diff) |
mpfi: 1.5.1 -> 1.5.3
Diffstat (limited to 'pkgs/development/libraries/mpfi')
-rw-r--r-- | pkgs/development/libraries/mpfi/default.nix | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/pkgs/development/libraries/mpfi/default.nix b/pkgs/development/libraries/mpfi/default.nix index c88c8da637843..6b607e94bd494 100644 --- a/pkgs/development/libraries/mpfi/default.nix +++ b/pkgs/development/libraries/mpfi/default.nix @@ -1,15 +1,20 @@ {stdenv, fetchurl, mpfr}: stdenv.mkDerivation rec { name = "mpfi-${version}"; - version = "1.5.1"; + version = "1.5.3"; + file_nr = "37331"; src = fetchurl { - url = "https://gforge.inria.fr/frs/download.php/file/30129/mpfi-${version}.tar.bz2"; - sha256 = "0vk9jfcfiqda0zksg1ffy36pdznpng9b4nl7pfzpz9hps4v6bk1z"; + # NOTE: the file_nr is whats important here. The actual package name (including the version) + # is ignored. To find out the correct file_nr, go to https://gforge.inria.fr/projects/mpfi/ + # and click on Download in the section "Latest File Releases". + url = "https://gforge.inria.fr/frs/download.php/file/${file_nr}/mpfi-${version}.tar.bz2"; + sha256 = "0bqr8yibl7jbrp0bw7xk1lm7nis7rv26jsz6y8ycvih8n9bx90r3"; }; buildInputs = [mpfr]; meta = { inherit version; description = ''A multiple precision interval arithmetic library based on MPFR''; + homepage = https://gforge.inria.fr/projects/mpfi/; license = stdenv.lib.licenses.lgpl21Plus; maintainers = [stdenv.lib.maintainers.raskin]; platforms = stdenv.lib.platforms.linux; |