pure-maps: 3.4.0 -> 3.4.1 (#434796)

2025-08-24 18:17:12 +00:00
parent 0eec8630a9 33b0ee6a8e
commit 587d3ca50e
1 changed files with 2 additions and 2 deletions
@@ -17,13 +17,13 @@

 mkDerivation rec {
  pname = "pure-maps";
-  version = "3.4.0";
+  version = "3.4.1";

  src = fetchFromGitHub {
    owner = "rinigus";
    repo = "pure-maps";
    rev = version;
-    hash = "sha256-3XghdDwzt0r8Qi8W3ZMwar2aaqTNGiGsM27BHVr5C2E=";
+    hash = "sha256-Xh4TRc4B/rm2+S8ej/instfkO3271f0HPuqVJYGtCSM=";
    fetchSubmodules = true;
  };