2016-10-10 16:00:41 +01:00
|
|
|
{stdenv, fetchurl, mpfr}:
|
|
|
|
|
stdenv.mkDerivation rec {
|
2019-08-15 13:41:18 +01:00
|
|
|
pname = "mpfi";
|
2018-04-26 23:10:52 +01:00
|
|
|
version = "1.5.3";
|
|
|
|
|
file_nr = "37331";
|
2016-10-10 16:00:41 +01:00
|
|
|
src = fetchurl {
|
2018-04-26 23:10:52 +01:00
|
|
|
# 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";
|
2016-10-10 16:00:41 +01:00
|
|
|
};
|
|
|
|
|
buildInputs = [mpfr];
|
|
|
|
|
meta = {
|
|
|
|
|
inherit version;
|
|
|
|
|
description = ''A multiple precision interval arithmetic library based on MPFR'';
|
2020-04-01 02:11:51 +01:00
|
|
|
homepage = "https://gforge.inria.fr/projects/mpfi/";
|
2016-10-10 16:00:41 +01:00
|
|
|
license = stdenv.lib.licenses.lgpl21Plus;
|
|
|
|
|
maintainers = [stdenv.lib.maintainers.raskin];
|
2019-09-15 09:48:07 +01:00
|
|
|
platforms = stdenv.lib.platforms.unix;
|
2016-10-10 16:00:41 +01:00
|
|
|
};
|
|
|
|
|
}
|
