nixsearch / pkg / easycrypt-runtest / 2026.05
easycrypt-runtest 2026.05
Testing program for EasyCrypt formalizations
Linux and macOS
last changed
Pin this version
$ devbox add easycrypt-runtest@2026.05
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit4a29d733e8a7d5b824c3d8c958a946a9867b3eb2
$ nix shell github:NixOS/nixpkgs/4a29d733e8a7d5b824c3d8c958a946a9867b3eb2#easycrypt-runtest
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
easycrypt-runtest |
4a29d733e8a7 | out/nix/store/3dqi9s35lczsg421hs25l4679z40fag1-easycrypt-runtest-2026.05 |
||
aarch64-linuxLinux · arm64 |
easycrypt-runtest |
4a29d733e8a7 | out/nix/store/cb0kjqy23cmnxznkf5b5d14d9gf2zr8b-easycrypt-runtest-2026.05 |
||
x86_64-darwinmacOS · x86-64 |
easycrypt-runtest |
4a29d733e8a7 | out/nix/store/709qraxmjwq8ns4vg3x4vvgha74ksbjz-easycrypt-runtest-2026.05 |
||
x86_64-linuxLinux · x86-64 |
easycrypt-runtest |
4a29d733e8a7 | out/nix/store/p37xhrh6zha4jvgfi6wl9g50hcgy8w59-easycrypt-runtest-2026.05 |
JSON: /v2/pkg?name=easycrypt-runtest · /v2/resolve?name=easycrypt-runtest&version=2026.05