nixsearch
nixsearch / pkg / easycrypt-runtest / 2026.06

easycrypt-runtest 2026.06

Testing program for EasyCrypt formalizations
Linux and macOS last changed

Pin this version

$ devbox add easycrypt-runtest@2026.06
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit9bc02893134c733dd85de46ee4fb2fac696b5529 
$ nix shell github:NixOS/nixpkgs/9bc02893134c733dd85de46ee4fb2fac696b5529#easycrypt-runtest
systemsx86_64-darwin commit3d46470bb3030020f7e1361f33514854f5bfa86d 
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#easycrypt-runtest

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 easycrypt-runtest 9bc02893134c
out
/nix/store/gn7m8qq7ff34k6irvkimg3r9fkyma8zj-easycrypt-runtest-2026.06
aarch64-linux
Linux · arm64		 easycrypt-runtest 9bc02893134c
out
/nix/store/3vs39fl28a37r7276qjl9dyk6mcv5j0c-easycrypt-runtest-2026.06
x86_64-darwin
macOS · x86-64		 easycrypt-runtest 3d46470bb303
out
/nix/store/hg3mq588y4cy0wz17msn0j16yhgvp3bi-easycrypt-runtest-2026.06
x86_64-linux
Linux · x86-64		 easycrypt-runtest 9bc02893134c
out
/nix/store/wkwsq495lfhbj2kxfr07kbxsrs4kn43z-easycrypt-runtest-2026.06
← newer: 2026.07 all 15 releases older: 2026.05 →

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