{"name":"easycrypt-runtest","version":"2025.10","summary":"Testing program for EasyCrypt formalizations","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"1d4c88323ac36805d09657d13a5273aea1b34f0c"},"attr_path":"easycrypt-runtest"},"last_updated":"2025-11-15T07:28:48Z","outputs":[{"name":"out","path":"/nix/store/xrrrvn3a4xb8i4nq3ni0lzlchpk5093n-easycrypt-runtest-2025.10","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"1d4c88323ac36805d09657d13a5273aea1b34f0c"},"attr_path":"easycrypt-runtest"},"last_updated":"2025-11-15T07:28:48Z","outputs":[{"name":"out","path":"/nix/store/gqw97ny3j0m980dy5g4jjg9h688fiqfx-easycrypt-runtest-2025.10","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"1d4c88323ac36805d09657d13a5273aea1b34f0c"},"attr_path":"easycrypt-runtest"},"last_updated":"2025-11-15T07:28:48Z","outputs":[{"name":"out","path":"/nix/store/4qg8f49yxz7sl7aph8s5gggjw80qc6cp-easycrypt-runtest-2025.10","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"1d4c88323ac36805d09657d13a5273aea1b34f0c"},"attr_path":"easycrypt-runtest"},"last_updated":"2025-11-15T07:28:48Z","outputs":[{"name":"out","path":"/nix/store/63impssz03dblmm8k226ikvqh4vypd2f-easycrypt-runtest-2025.10","default":true}]}}}