pure-maps: 3.4.1 -> 3.4.2 (#466348)

2025-11-29 20:42:53 +00:00
parent 506200bfa2 64aaa1cf0b
commit 02c4a46e87
1 changed files with 2 additions and 2 deletions
@@ -17,13 +17,13 @@

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

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