Commit 13cc70f4 authored by Weijia Wang's avatar Weijia Wang
Browse files

flint: 3.3.1 -> 3.4.0

parent 02028c9b

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 = [