{"name":"easycrypt-runtest","version":"2025.08","summary":"Testing program for EasyCrypt formalizations","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bce5fe2bb998488d8e7e7856315f90496723793c"},"attr_path":"easycrypt-runtest"},"last_updated":"2025-10-07T08:41:47Z","outputs":[{"name":"out","path":"/nix/store/yjaxy3ii4zy2jxlarx70mzkfjpvwl6md-easycrypt-runtest-2025.08","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bce5fe2bb998488d8e7e7856315f90496723793c"},"attr_path":"easycrypt-runtest"},"last_updated":"2025-10-07T08:41:47Z","outputs":[{"name":"out","path":"/nix/store/0fivx1563cm0rzvdw2w5nzm89d7iwv5l-easycrypt-runtest-2025.08","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bce5fe2bb998488d8e7e7856315f90496723793c"},"attr_path":"easycrypt-runtest"},"last_updated":"2025-10-07T08:41:47Z","outputs":[{"name":"out","path":"/nix/store/k1fl50ncin5cz36dsfc5sksfn27pniwz-easycrypt-runtest-2025.08","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bce5fe2bb998488d8e7e7856315f90496723793c"},"attr_path":"easycrypt-runtest"},"last_updated":"2025-10-07T08:41:47Z","outputs":[{"name":"out","path":"/nix/store/8drz2qrkvhqv4jnvaa394icq8n56ppgi-easycrypt-runtest-2025.08","default":true}]}}}