{"name":"easycrypt-runtest","version":"2025.03","summary":"Testing program for EasyCrypt formalizations","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"easycrypt-runtest"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/6mdvj4fpfbbbn0y03nyv103b82a373mv-easycrypt-runtest-2025.03","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"easycrypt-runtest"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/dwbdi9wyab67jjy5bfriyipqqn36wcja-easycrypt-runtest-2025.03","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"easycrypt-runtest"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/rz4yv69xgg2nhc277279zsiw3iadkf0d-easycrypt-runtest-2025.03","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"easycrypt-runtest"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/ynrn9927r04zciq2887s6jpqxl2fcvra-easycrypt-runtest-2025.03","default":true}]}}}