Maximilian Bosch 2020-08-08 23:25:14 +02:00
parent 3cece2b33b
commit be9676bda1
No known key found for this signature in database
GPG Key ID: 091DBF4D1FC46B8E
1 changed files with 4 additions and 4 deletions

View File

@ -3,8 +3,8 @@
let
major = "2020";
minor = "04";
patch = "09";
minor = "08";
patch = "07";
version = "${major}.${minor}.${patch}";
@ -16,7 +16,7 @@ let
owner = "daid";
repo = "SeriousProton";
rev = "EE-${version}";
sha256 = "0blqsii8pgxajargd1idry2zakhnvl7j309yjmddarpvafg73blj";
sha256 = "1mfizhmwh6xgb5n34l3wrbxm21f7gsvsyacsmnxw9rkz0ya7ch30";
};
nativeBuildInputs = [ cmake ];
@ -42,7 +42,7 @@ stdenv.mkDerivation {
owner = "daid";
repo = "EmptyEpsilon";
rev = "EE-${version}";
sha256 = "1hdni8m6m7bgx11scqqqzhcjrmrl0jsxb6cr6rvjbqnahzi23slr";
sha256 = "0p41wx9yk09xjmfkjpdgi3b2999ps2am3xqwd866q11f6ci7viv5";
};
nativeBuildInputs = [ cmake ];