gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

flint: 3.3.0 -> 3.3.1

Browse Source
This commit is contained in:
Weijia Wang
2025-06-19 12:39:41 +02:00
parent 93decf37a1
commit 9d2af3e6c9
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/libraries/flint/3.nix
+2 -2
View File
@@ -22,11 +22,11 @@ assert
stdenv.mkDerivation rec {
pname = "flint3";
version = "3.3.0";
version = "3.3.1";
src = fetchurl {
url = "https://flintlib.org/download/flint-${version}.tar.gz";
hash = "sha256-2a4PExglNycGgnDb+jxLVRVeP0t75sqcBW5Y8oOPFbM=";
hash = "sha256-ZNcOUTB2z6lx4EELWMHaXTURKRPppWtE4saBtFnT6vs=";
};
nativeBuildInputs = [