tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{stdenv, fetchurl, mpfr}:
2stdenv.mkDerivation rec {
3 pname = "mpfi";
4 version = "1.5.3";
5 file_nr = "37331";
6 src = fetchurl {
7 # NOTE: the file_nr is whats important here. The actual package name (including the version)
8 # is ignored. To find out the correct file_nr, go to https://gforge.inria.fr/projects/mpfi/
9 # and click on Download in the section "Latest File Releases".
10 url = "https://gforge.inria.fr/frs/download.php/file/${file_nr}/mpfi-${version}.tar.bz2";
11 sha256 = "0bqr8yibl7jbrp0bw7xk1lm7nis7rv26jsz6y8ycvih8n9bx90r3";
12 };
13 buildInputs = [mpfr];
14 meta = {
15 inherit version;
16 description = ''A multiple precision interval arithmetic library based on MPFR'';
17 homepage = "https://gforge.inria.fr/projects/mpfi/";
18 license = stdenv.lib.licenses.lgpl21Plus;
19 maintainers = [stdenv.lib.maintainers.raskin];
20 platforms = stdenv.lib.platforms.unix;
21 };
22}