nixsearch
nixsearch / pkg / easycrypt-runtest / 2026.07

easycrypt-runtest 2026.07

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

Pin this version

$ devbox add easycrypt-runtest@2026.07
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitc27cdad491a991b11ed731760aa2ef8db0cb0410 
$ nix shell github:NixOS/nixpkgs/c27cdad491a991b11ed731760aa2ef8db0cb0410#easycrypt-runtest

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 easycrypt-runtest c27cdad491a9
out
/nix/store/zipk67lb0ixhwh4k7is0hs5g0363is8r-easycrypt-runtest-2026.07
aarch64-linux
Linux · arm64		 easycrypt-runtest c27cdad491a9
out
/nix/store/06m87f495bxpgg1wpf49yaslk75vlkmc-easycrypt-runtest-2026.07
x86_64-linux
Linux · x86-64		 easycrypt-runtest c27cdad491a9
out
/nix/store/cdx6ywq35zw66nv43cm1fadj4nm6bzdf-easycrypt-runtest-2026.07
← newer: 2026.09 all 15 releases older: 2026.06 →

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