{"name":"easycrypt-runtest","version":"2023.09","summary":"Testing program for EasyCrypt formalizations","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dd5621df6dcb90122b50da5ec31c411a0de3e538"},"attr_path":"easycrypt-runtest"},"last_updated":"2024-01-14T03:55:27Z","outputs":[{"name":"out","path":"/nix/store/lrhcnpjx61mgy3n3bkj3h1h0bc2ipq50-easycrypt-runtest-2023.09","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dd5621df6dcb90122b50da5ec31c411a0de3e538"},"attr_path":"easycrypt-runtest"},"last_updated":"2024-01-14T03:55:27Z","outputs":[{"name":"out","path":"/nix/store/8sxc3bfsz58cj5y5wrcdak7fqnwv3ak5-easycrypt-runtest-2023.09","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dd5621df6dcb90122b50da5ec31c411a0de3e538"},"attr_path":"easycrypt-runtest"},"last_updated":"2024-01-14T03:55:27Z","outputs":[{"name":"out","path":"/nix/store/jqanias7wxzyyn913dxiscvkq5634mnz-easycrypt-runtest-2023.09","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dd5621df6dcb90122b50da5ec31c411a0de3e538"},"attr_path":"easycrypt-runtest"},"last_updated":"2024-01-14T03:55:27Z","outputs":[{"name":"out","path":"/nix/store/cbdznkrkg8vvzj54l6z543zad6i980pv-easycrypt-runtest-2023.09","default":true}]}}}