{"name":"easycrypt-runtest","version":"2026.09","summary":"Testing program for EasyCrypt formalizations","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7a6522c868711d06e3a520bbcdfafe9806f4337f"},"attr_path":"easycrypt-runtest"},"last_updated":"2026-10-17T03:39:59Z","outputs":[{"name":"out","path":"/nix/store/i57blhjrrb3p9a33n1vcy2s4dqrwdvzh-easycrypt-runtest-2026.09","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7a6522c868711d06e3a520bbcdfafe9806f4337f"},"attr_path":"easycrypt-runtest"},"last_updated":"2026-10-17T03:39:59Z","outputs":[{"name":"out","path":"/nix/store/7nqyk30wswni7xpsy13fpxq0rynlrhr8-easycrypt-runtest-2026.09","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7a6522c868711d06e3a520bbcdfafe9806f4337f"},"attr_path":"easycrypt-runtest"},"last_updated":"2026-10-17T03:39:59Z","outputs":[{"name":"out","path":"/nix/store/pmcpvnpnbr9dr8v9mfj7g52cxfx05dyk-easycrypt-runtest-2026.09","default":true}]}}}