flint: 3.5.0 -> 3.6.0 (#538506)

2026-07-11 16:11:39 +00:00
parent 077decce0d b135764abe
commit 0e29b6c366
1 changed files with 2 additions and 2 deletions
@@ -25,11 +25,11 @@ assert

 stdenv.mkDerivation (finalAttrs: {
  pname = "flint";
-  version = "3.5.0";
+  version = "3.6.0";

  src = fetchurl {
    url = "https://flintlib.org/download/flint-${finalAttrs.version}.tar.gz";
-    hash = "sha256-OYLzhfAGEKlE4BUusKKYk7I2b6ZA6PXzB2xHVkz34qY=";
+    hash = "sha256-uV4sd5L17qShyNLULECYQ0dWgy5XoJSyletd/cm0w2s=";
  };

  strictDeps = true;