Merge pull request #212872 from mweinelt/jool-4.1.9

jool: 4.1.8 -> 4.1.9
This commit is contained in:
Martin Weinelt 2023-01-27 19:34:44 +00:00 committed by GitHub
commit 17f3a14ad8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,11 +1,11 @@
{ fetchFromGitHub }:
rec {
version = "4.1.8";
version = "4.1.9";
src = fetchFromGitHub {
owner = "NICMx";
repo = "Jool";
rev = "v${version}";
hash = "sha256-b+1EM172NRnnTcbJOwBQfytIRuIr8zZBlKBBV/e7Ttg=";
rev = "refs/tags/v${version}";
hash = "sha256-sKrjn/XQANiXfkjNiFfvAkmONyQjVigFBKgcGkuIPs0=";
};
}