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

pure-maps: 3.1.1 -> 3.2.0
This commit is contained in:
Weijia Wang 2023-01-29 12:04:08 +01:00 committed by GitHub
commit 0ad3950e1b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -6,13 +6,13 @@
mkDerivation rec { mkDerivation rec {
pname = "pure-maps"; pname = "pure-maps";
version = "3.1.1"; version = "3.2.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "rinigus"; owner = "rinigus";
repo = "pure-maps"; repo = "pure-maps";
rev = version; rev = version;
hash = "sha256-ZPW2hNnaRfv5aTXqku7hPShN0leOuVEJ3T/OOTzwgXQ="; hash = "sha256-07Jk5ufYbBAa/UY1B0IoyuOAVt15rGCxCRXu3OeYyWU=";
fetchSubmodules = true; fetchSubmodules = true;
}; };