Michael Weiss 2019-12-18 16:08:23 +01:00
parent 8185415b55
commit 832cf092c7
No known key found for this signature in database
GPG Key ID: 5BE487C4D4771D83

View File

@ -8,7 +8,7 @@ in {
sha256 = "0wzid419mlwqw9llrg8gsx4nkzhqy16m4m40r0xnh6cwscw5wir4";
};
scons_latest = mkScons {
version = "3.1.1";
sha256 = "19a3j6x7xkmr2srk2yzxx3wv003h9cxx08vr81ps76blvmzl3sjc";
version = "3.1.2";
sha256 = "1yzq2gg9zwz9rvfn42v5jzl3g4qf1khhny6zfbi2hib55zvg60bq";
};
}