eclib: 20190909 -> 20210223
This commit is contained in:
parent
11cd34cd59
commit
003705ef08
@ -14,7 +14,7 @@ assert withFlint -> flint != null;
|
|||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
pname = "eclib";
|
pname = "eclib";
|
||||||
version = "20190909"; # upgrade might break the sage interface
|
version = "20210223"; # upgrade might break the sage interface
|
||||||
# sage tests to run:
|
# sage tests to run:
|
||||||
# src/sage/interfaces/mwrank.py
|
# src/sage/interfaces/mwrank.py
|
||||||
# src/sage/libs/eclib
|
# src/sage/libs/eclib
|
||||||
@ -23,7 +23,7 @@ stdenv.mkDerivation rec {
|
|||||||
owner = "JohnCremona";
|
owner = "JohnCremona";
|
||||||
repo = pname;
|
repo = pname;
|
||||||
rev = "v${version}";
|
rev = "v${version}";
|
||||||
sha256 = "0y1vdi4120gdw56gg2dn3wh625yr9wpyk3wpbsd25w4lv83qq5da";
|
sha256 = "sha256-xnSw5cdg4PLa0GT/blCYDz/IG5aj+HG2NHSlyCiH9g0=";
|
||||||
};
|
};
|
||||||
buildInputs = [
|
buildInputs = [
|
||||||
pari
|
pari
|
||||||
|
Loading…
Reference in New Issue
Block a user