BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Merge pull request #45067 from timokau/eclib-20180815

Browse source 
eclib: 20180710 -> 20180815
This commit is contained in:
Timo Kaufmann 2018-08-16 01:02:54 +02:00 committed by GitHub
commit 8abc4b7f9c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
pkgs/development/libraries/eclib/default.nix
View file

@ -16,7 +16,7 @@ assert withFlint -> flint != null;
stdenv.mkDerivation rec {
name = "${pname}-${version}";
pname = "eclib";
version = "20180710"; # upgrade might break the sage interface
version = "20180815"; # upgrade might break the sage interface
# sage tests to run:
# src/sage/interfaces/mwrank.py
# src/sage/libs/eclib
@ -25,16 +25,8 @@ stdenv.mkDerivation rec {
owner = "JohnCremona";
repo = "${pname}";
rev = "v${version}";
sha256 = "1kmwpw971sipb4499c9b35q5pz6sms5qndqrvq7396d8hhwjg1i2";
sha256 = "12syn83lnzx0xc4r1v3glfimbzndyilkpdmx50xrihbjz1hzczif";
};
patches = [
# One of the headers doesn't get installed.
# See https://github.com/NixOS/nixpkgs/pull/43476.
(fetchpatch {
url = "https://github.com/JohnCremona/eclib/pull/42/commits/c9b96429815e31a6e3372c106e31eef2a96431f9.patch";
sha256 = "0cw26h94m66rbh8jjsfnb1bvc6z7ybh8zcp8xl5nhxjxiawhcl73";
})
];
buildInputs = [
pari
ntl