Merge pull request #114425 from r-ryantm/auto-update/eclib

eclib: 20190909 -> 20210223
This commit is contained in:
Mario Rodas
2021-02-25 23:58:28 -05:00
committed by GitHub

View File

@@ -14,7 +14,7 @@ assert withFlint -> flint != null;
stdenv.mkDerivation rec {
pname = "eclib";
version = "20190909"; # upgrade might break the sage interface
version = "20210223"; # upgrade might break the sage interface
# sage tests to run:
# src/sage/interfaces/mwrank.py
# src/sage/libs/eclib
@@ -23,7 +23,7 @@ stdenv.mkDerivation rec {
owner = "JohnCremona";
repo = pname;
rev = "v${version}";
sha256 = "0y1vdi4120gdw56gg2dn3wh625yr9wpyk3wpbsd25w4lv83qq5da";
sha256 = "sha256-xnSw5cdg4PLa0GT/blCYDz/IG5aj+HG2NHSlyCiH9g0=";
};
buildInputs = [
pari