···11{lib, stdenv, fetchurl, mpfr}:
22stdenv.mkDerivation rec {
33 pname = "mpfi";
44- version = "1.5.3";
44+ version = "1.5.4";
55 file_nr = "37331";
66 src = fetchurl {
77 # NOTE: the file_nr is whats important here. The actual package name (including the version)
88 # is ignored. To find out the correct file_nr, go to https://gforge.inria.fr/projects/mpfi/
99 # and click on Download in the section "Latest File Releases".
1010 url = "https://gforge.inria.fr/frs/download.php/file/${file_nr}/mpfi-${version}.tar.bz2";
1111- sha256 = "0bqr8yibl7jbrp0bw7xk1lm7nis7rv26jsz6y8ycvih8n9bx90r3";
1111+ sha256 = "sha256-I4PUV7IIxs088uZracTOR0d7Kg2zH77AzUseuqJHGS8=";
1212 };
1313 buildInputs = [mpfr];
1414 meta = {