Metadata-Version: 2.1
Name: easycrypt-runtest
Version: 2026.03
Summary: Nix package: easycrypt-runtest
Requires-Python: >=3.14
