{"name":"easycrypt-runtest","version":"2026.06","summary":"Testing program for EasyCrypt formalizations","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9bc02893134c733dd85de46ee4fb2fac696b5529"},"attr_path":"easycrypt-runtest"},"last_updated":"2026-07-29T04:59:45Z","outputs":[{"name":"out","path":"/nix/store/gn7m8qq7ff34k6irvkimg3r9fkyma8zj-easycrypt-runtest-2026.06","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9bc02893134c733dd85de46ee4fb2fac696b5529"},"attr_path":"easycrypt-runtest"},"last_updated":"2026-07-29T04:59:45Z","outputs":[{"name":"out","path":"/nix/store/3vs39fl28a37r7276qjl9dyk6mcv5j0c-easycrypt-runtest-2026.06","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"easycrypt-runtest"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/hg3mq588y4cy0wz17msn0j16yhgvp3bi-easycrypt-runtest-2026.06","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9bc02893134c733dd85de46ee4fb2fac696b5529"},"attr_path":"easycrypt-runtest"},"last_updated":"2026-07-29T04:59:45Z","outputs":[{"name":"out","path":"/nix/store/wkwsq495lfhbj2kxfr07kbxsrs4kn43z-easycrypt-runtest-2026.06","default":true}]}}}