{"name":"easycrypt-runtest","version":"2026.05","summary":"Testing program for EasyCrypt formalizations","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2"},"attr_path":"easycrypt-runtest"},"last_updated":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/3dqi9s35lczsg421hs25l4679z40fag1-easycrypt-runtest-2026.05","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2"},"attr_path":"easycrypt-runtest"},"last_updated":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/cb0kjqy23cmnxznkf5b5d14d9gf2zr8b-easycrypt-runtest-2026.05","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2"},"attr_path":"easycrypt-runtest"},"last_updated":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/709qraxmjwq8ns4vg3x4vvgha74ksbjz-easycrypt-runtest-2026.05","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2"},"attr_path":"easycrypt-runtest"},"last_updated":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/p37xhrh6zha4jvgfi6wl9g50hcgy8w59-easycrypt-runtest-2026.05","default":true}]}}}