Merge pull request #118285 from Thra11/pure-maps-2-6-5

pure-maps: 2.6.0 -> 2.6.5
This commit is contained in:
Sandro 2021-04-02 00:32:20 +02:00 committed by GitHub
commit f3c06ec88d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -6,13 +6,13 @@
mkDerivation rec {
pname = "pure-maps";
version = "2.6.0";
version = "2.6.5";
src = fetchFromGitHub {
owner = "rinigus";
repo = "pure-maps";
rev = version;
sha256 = "1nviq2pavyxwh9k4kyzqpbzmx1wybwdax4pyd017izh9h6gqnjhs";
sha256 = "17gfb7rdaadmcdba4mhish0jrz9lmiban6fpzwhyvn8z1rc43zx9";
fetchSubmodules = true;
};