fplll_20160331: init at 20160331, obviously. The snapshot that Sage seems to like

This commit is contained in:
Michael Raskin 2016-10-12 22:47:01 +02:00
parent 36804c75e4
commit bdaff5f256
2 changed files with 24 additions and 0 deletions

View File

@ -0,0 +1,23 @@
{stdenv, fetchFromGitHub, autoconf, automake, libtool, gettext, autoreconfHook
, gmp, mpfr
}:
stdenv.mkDerivation rec {
name = "${pname}-${version}";
pname = "fplll";
version = "20160331";
src = fetchFromGitHub {
owner = "${pname}";
repo = "${pname}";
rev = "11dea26c2f9396ffb7a7191aa371343f1f74c5c3";
sha256 = "1clxch9hbr30w6s84m2mprxv58adhg5qw6sa2p3jr1cy4r7r59ib";
};
nativeBuildInputs = [autoconf automake libtool gettext autoreconfHook];
buildInputs = [gmp mpfr];
meta = {
inherit version;
description = ''Lattice algorithms using floating-point arithmetic'';
license = stdenv.lib.licenses.lgpl21Plus;
maintainers = [stdenv.lib.maintainers.raskin];
platforms = stdenv.lib.platforms.linux;
};
}

View File

@ -6897,6 +6897,7 @@ in
fmod42416 = callPackage ../development/libraries/fmod/4.24.16.nix { };
fplll = callPackage ../development/libraries/fplll {};
fplll_20160331 = callPackage ../development/libraries/fplll/20160331.nix {};
freeimage = callPackage ../development/libraries/freeimage { };