nix: repair flake for Nix 2.35 / macOS 26, modernize toolchain#1079

strub merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

nix-flake-repairEasyCrypt/easycrypt:nix-flake-repairCopy head branch name to clipboard