diff options
| author | Michael Raskin <7c6f434c@mail.ru> | 2021-01-24 09:37:11 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-24 09:37:11 +0000 |
| commit | 813e19964e8b11970db6530c0ce25bec18096b4d (patch) | |
| tree | 005ac0659076c2b780ee118275ccc1483aef9931 /pkgs/development/libraries/mpfi | |
| parent | dc8231950cc8d539e68296dea77c91bdf0a2aac7 (diff) | |
| parent | bd9f2cc0b5ec9a3f3e24c53c3fd86a07dcc0a18f (diff) | |
| download | nixpkgs-813e19964e8b11970db6530c0ce25bec18096b4d.tar nixpkgs-813e19964e8b11970db6530c0ce25bec18096b4d.tar.gz nixpkgs-813e19964e8b11970db6530c0ce25bec18096b4d.tar.bz2 nixpkgs-813e19964e8b11970db6530c0ce25bec18096b4d.tar.lz nixpkgs-813e19964e8b11970db6530c0ce25bec18096b4d.tar.xz nixpkgs-813e19964e8b11970db6530c0ce25bec18096b4d.tar.zst nixpkgs-813e19964e8b11970db6530c0ce25bec18096b4d.zip | |
Merge pull request #110108 from r-ryantm/auto-update/mpfi
mpfi: 1.5.3 -> 1.5.4
Diffstat (limited to 'pkgs/development/libraries/mpfi')
| -rw-r--r-- | pkgs/development/libraries/mpfi/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/libraries/mpfi/default.nix b/pkgs/development/libraries/mpfi/default.nix index 5a43fb107ad..eaaa3d9e215 100644 --- a/pkgs/development/libraries/mpfi/default.nix +++ b/pkgs/development/libraries/mpfi/default.nix @@ -1,14 +1,14 @@ {lib, stdenv, fetchurl, mpfr}: stdenv.mkDerivation rec { pname = "mpfi"; - version = "1.5.3"; + version = "1.5.4"; file_nr = "37331"; src = fetchurl { # 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"; + sha256 = "sha256-I4PUV7IIxs088uZracTOR0d7Kg2zH77AzUseuqJHGS8="; }; buildInputs = [mpfr]; meta = { |