gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

easycrypt: 2026.05 -> 2026.06 (#531160)

Browse Source
This commit is contained in:
Vincent Laporte
2026-06-15 05:01:56 +00:00
committed by GitHub
parent a7bbc2ab4a 537522bdd4
commit 736aa3bec7
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/science/logic/easycrypt/default.nix
+2 -2
View File
@@ -11,13 +11,13 @@
stdenv.mkDerivation (finalAttrs: {
pname = "easycrypt";
version = "2026.05";
version = "2026.06";
src = fetchFromGitHub {
owner = "easycrypt";
repo = "easycrypt";
tag = "r${finalAttrs.version}";
hash = "sha256-+tVGJAfngTHpn7qFGwl36verbcxOqH21zwojgOxcuuY=";
hash = "sha256-+exP4UWfNGZauznLZTA/NkMOHJNstz4oaTqI0bSnkH8=";
};
nativeBuildInputs =