Unverified Commit fcb18044 authored by 7c6f434c's avatar 7c6f434c Committed by GitHub
Browse files

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

eclib: 20231212 -> 20240408
parents c75b2506 4229fdcd
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
@@ -14,7 +14,7 @@ assert withFlint -> flint != null;

stdenv.mkDerivation rec {
  pname = "eclib";
  version = "20231212"; # upgrade might break the sage interface
  version = "20240408"; # upgrade might break the sage interface
  # sage tests to run:
  # src/sage/interfaces/mwrank.py
  # src/sage/libs/eclib
@@ -29,7 +29,7 @@ stdenv.mkDerivation rec {
    # see https://github.com/JohnCremona/eclib/issues/64#issuecomment-789788561
    # for upstream's explanation of the above
    url = "https://github.com/JohnCremona/eclib/releases/download/v${version}/eclib-${version}.tar.bz2";
    sha256 = "sha256-MtEWo+NZsN5PZIbCu2GIu4tVPIuDP2GMwllkhOi2FFo=";
    sha256 = "sha256-O6kI4gGd5T/LoUFEnKpvqC8DYFv4O/nagJLfU4ravnw=";
  };
  buildInputs = [
    pari