{"name":"easycrypt-runtest","version":"2024.09","summary":"Testing program for EasyCrypt formalizations","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2d068ae5c6516b2d04562de50a58c682540de9bf"},"attr_path":"easycrypt-runtest"},"last_updated":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/9gvllyklj09j8a6w7cjr9dcvnlk7hb0c-easycrypt-runtest-2024.09","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2d068ae5c6516b2d04562de50a58c682540de9bf"},"attr_path":"easycrypt-runtest"},"last_updated":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/zzmy57lm1hncwx1swf4ca3zqvc5nkm7l-easycrypt-runtest-2024.09","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2d068ae5c6516b2d04562de50a58c682540de9bf"},"attr_path":"easycrypt-runtest"},"last_updated":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/svggrkjxxp7f6v1aqmz1kc0pqzhj9ij7-easycrypt-runtest-2024.09","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2d068ae5c6516b2d04562de50a58c682540de9bf"},"attr_path":"easycrypt-runtest"},"last_updated":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/mng1v6wkiw5xj1kwxa38yc1z4ldiy5j4-easycrypt-runtest-2024.09","default":true}]}}}