nixsearch
nixsearch / pkg / easycrypt-runtest / 2026.09

easycrypt-runtest 2026.09

Testing program for EasyCrypt formalizations
Linux and macOS (Apple Silicon only) last changed

Pin this version

$ devbox add easycrypt-runtest@2026.09
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4 
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#easycrypt-runtest

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 easycrypt-runtest b6c8664de9b6
out
/nix/store/dda9bj2rp2swikvhrfcympxn1f2hcyh7-easycrypt-runtest-2026.09
aarch64-linux
Linux · arm64		 easycrypt-runtest b6c8664de9b6
out
/nix/store/qxmmnwgdcrn42fvi9n2s4px5kx1xl69p-easycrypt-runtest-2026.09
x86_64-linux
Linux · x86-64		 easycrypt-runtest b6c8664de9b6
out
/nix/store/9bc1v4mw5g98bvn2xz3l79jf5anjicny-easycrypt-runtest-2026.09
all 15 releases older: 2026.07 →

JSON: /v2/pkg?name=easycrypt-runtest · /v2/resolve?name=easycrypt-runtest&version=2026.09