Merge pull request #295389 from r-ryantm/auto-update/pure-maps

pure-maps: 3.2.1 -> 3.3.0
This commit is contained in:
Weijia Wang 2024-03-17 01:43:26 +01:00 committed by GitHub
commit 895b2efc7c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -6,13 +6,13 @@
mkDerivation rec {
pname = "pure-maps";
version = "3.2.1";
version = "3.3.0";
src = fetchFromGitHub {
owner = "rinigus";
repo = "pure-maps";
rev = version;
hash = "sha256-AZt0JcNegHkUkWy+NW5CNLZfxjjFyKWBrhLJgSTv3to=";
hash = "sha256-TeFolD3jXRdLGfXdy+QcwtOcQQVUB5fn8PwoYfRLaPQ=";
fetchSubmodules = true;
};