{"name":"easycrypt-runtest","version":"2026.02","summary":"Testing program for EasyCrypt formalizations","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09061f748ee21f68a089cd5d91ec1859cd93d0be"},"attr_path":"easycrypt-runtest"},"last_updated":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/aqixksv498cfpcgqdk9bbfdv2frkzdks-easycrypt-runtest-2026.02","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09061f748ee21f68a089cd5d91ec1859cd93d0be"},"attr_path":"easycrypt-runtest"},"last_updated":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/akjl890b2lm7ws50mapmqs3352iragg1-easycrypt-runtest-2026.02","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09061f748ee21f68a089cd5d91ec1859cd93d0be"},"attr_path":"easycrypt-runtest"},"last_updated":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/s68y6b4za39kdp57dzqa0470ybmvhnwj-easycrypt-runtest-2026.02","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09061f748ee21f68a089cd5d91ec1859cd93d0be"},"attr_path":"easycrypt-runtest"},"last_updated":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/pm1lgcghflg4pbs2ivv82ask6rp1mjmq-easycrypt-runtest-2026.02","default":true}]}}}