{"name":"easycrypt-runtest","version":"2024.01","summary":"Testing program for EasyCrypt formalizations","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269"},"attr_path":"easycrypt-runtest"},"last_updated":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/wm6p2z118idsfipng0i224cqwdkjfnr7-easycrypt-runtest-2024.01","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269"},"attr_path":"easycrypt-runtest"},"last_updated":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/br7sdzh53qhjf24y7s0aviqi6jw8wpxv-easycrypt-runtest-2024.01","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269"},"attr_path":"easycrypt-runtest"},"last_updated":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/afairbhx3z5nkpg42xhqwkqffkmfm3bw-easycrypt-runtest-2024.01","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269"},"attr_path":"easycrypt-runtest"},"last_updated":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/qm3p315j23z5c4sqdajvv7la9xw76dkr-easycrypt-runtest-2024.01","default":true}]}}}