pyrox.dev
lol
easycrypt: 2025.02 -> 2025.03 (#393192)
authored by
Weijia Wang
and committed by
GitHub
5fe21c84
76730c76
+2
-2
+2
-2
pkgs/applications/science/logic/easycrypt/default.nix
+2
-2
pkgs/applications/science/logic/easycrypt/default.nix
···
10
10
11
11
stdenv.mkDerivation rec {
12
12
pname = "easycrypt";
13
-
version = "2025.02";
13
+
version = "2025.03";
14
14
15
15
src = fetchFromGitHub {
16
16
owner = pname;
17
17
repo = pname;
18
18
tag = "r${version}";
19
-
hash = "sha256-XkfFCPmc8vd6gGFiz/Lxzk7BtcCQBzPNVPGFdiylZmc=";
19
+
hash = "sha256-Z6JaqR0BocEhDuof929HOvzWu6C77CAqeuYYY2PXvrs=";
20
20
};
21
21
22
22
nativeBuildInputs =