{"name":"easycrypt-runtest","version":"2026.03","summary":"Testing program for EasyCrypt formalizations","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30"},"attr_path":"easycrypt-runtest"},"last_updated":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/22add2dkjmfmfy6axqr492b9f22zr1p7-easycrypt-runtest-2026.03","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30"},"attr_path":"easycrypt-runtest"},"last_updated":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/y3sxni7hp0nmjb486qab9ajcjv4fmrfg-easycrypt-runtest-2026.03","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30"},"attr_path":"easycrypt-runtest"},"last_updated":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/syxsr1a6rajzw19zakbmvvhqh7x7hzbr-easycrypt-runtest-2026.03","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30"},"attr_path":"easycrypt-runtest"},"last_updated":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/4h1ngxd23ak1vmgv66y32b8xsxsx4z2x-easycrypt-runtest-2026.03","default":true}]}}}