Unverified Commit 23c33c93 authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

flint: 3.3.1 -> 3.4.0 (#466680)

parents 5d3181f6 95ce9f9e

pkgs/by-name/fl/flint/package.nix

+2 −3
Original line number Diff line number Diff line
@@ -2,7 +2,6 @@ 
  lib,

  stdenv,

  fetchurl,

  fetchpatch,

  windows,

  autoconf,

  automake,
@@ -26,11 +25,11 @@ assert 


stdenv.mkDerivation (finalAttrs: {

  pname = "flint";

  version = "3.3.1";

  version = "3.4.0";



  src = fetchurl {

    url = "https://flintlib.org/download/flint-${finalAttrs.version}.tar.gz";

    hash = "sha256-ZNcOUTB2z6lx4EELWMHaXTURKRPppWtE4saBtFnT6vs=";

    hash = "sha256-lJdnmATerZJuOv/rjUxYc50cdoTWDCwSgnVQ0o5FSjM=";

  };



  patches = [

pkgs/by-name/sa/sage/sage-src.nix

+7 −0
Original line number Diff line number Diff line
@@ -89,6 +89,13 @@ stdenv.mkDerivation rec { 
      url = "https://github.com/sagemath/sage/commit/fa00696112fde95e0c4241ad6063936200ce6f68.patch?full_index=1";

      hash = "sha256-eFDpNu/2gcQATELmQ7/VzXI35xIzaVrD8bhhJ57e2gc=";

    })



    # https://github.com/sagemath/sage/pull/41233, landed in 10.8.rc0

    (fetchpatch2 {

      name = "flint-3.4-update.patch";

      url = "https://github.com/sagemath/sage/commit/9bd5304f1a222e215d7006a04854ff66616748bf.patch?full_index=1";

      hash = "sha256-7bgouXV3pM20IX5PM24ZpJWOBlZjQksGtjopgouEbyg=";

    })

  ];



  patches = nixPatches ++ bugfixPatches ++ packageUpgradePatches;