nixsearch / pkg / easycrypt-runtest
easycrypt-runtest
Testing program for EasyCrypt formalizations
version2026.09
attributeeasycrypt-runtest
revb6c8664de9b6cc07fe5666a29f91884ba81197c4 · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linuxx86_64-darwin✓ x86_64-linux
$ devbox add easycrypt-runtest@2026.09
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#easycrypt-runtest
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 2026.09resolved | ✓ | ✓ | – | ✓ | easycrypt-runtest |
b6c8664de9 | ||
| 2026.07 | ✓ | ✓ | – | ✓ | easycrypt-runtest |
c27cdad491 | ||
| 2026.06 | ✓ | ✓ | ✓ | ✓ | easycrypt-runtest |
varies | ||
| 2026.05 | ✓ | ✓ | ✓ | ✓ | easycrypt-runtest |
4a29d733e8 | ||
| 2026.03 | ✓ | ✓ | ✓ | ✓ | easycrypt-runtest |
01fbdeef22 | ||
| 2026.02 | ✓ | ✓ | ✓ | ✓ | easycrypt-runtest |
09061f748e | ||
| 2025.11 | ✓ | ✓ | ✓ | ✓ | easycrypt-runtest |
a1bab9e494 | ||
| 2025.10 | ✓ | ✓ | ✓ | ✓ | easycrypt-runtest |
1d4c88323a | ||
| 2025.08 | ✓ | ✓ | ✓ | ✓ | easycrypt-runtest |
bce5fe2bb9 | ||
| 2025.03 | ✓ | ✓ | ✓ | ✓ | easycrypt-runtest |
648f70160c | ||
| 2025.02 | ✓ | ✓ | ✓ | ✓ | easycrypt-runtest |
ebe4301cbd | ||
| 2024.09 | ✓ | ✓ | ✓ | ✓ | easycrypt-runtest |
2d068ae5c6 | ||
| 2024.01 | ✓ | ✓ | ✓ | ✓ | easycrypt-runtest |
5ed627539a | ||
| 2023.09 | ✓ | ✓ | ✓ | ✓ | easycrypt-runtest |
dd5621df6d | ||
| 2022.04 | ✓ | ✓ | ✓ | ✓ | easycrypt-runtest |
517501bcf1 |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.