{"name":"easycrypt-runtest","version":"2022.04","summary":"Testing program for EasyCrypt formalizations","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9"},"attr_path":"easycrypt-runtest"},"last_updated":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/g2fn0babg5v7x554d7i9z3pi68cnd2d9-easycrypt-runtest-2022.04","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9"},"attr_path":"easycrypt-runtest"},"last_updated":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/n8h6k42cx0p9hrpwiy5g8nrakmkbvir0-easycrypt-runtest-2022.04","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9"},"attr_path":"easycrypt-runtest"},"last_updated":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/dw6k1cr059l50cvgskqhxblgl7f4n5a0-easycrypt-runtest-2022.04","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9"},"attr_path":"easycrypt-runtest"},"last_updated":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/biij1ahki3322q874h4s8g7k21vxbngp-easycrypt-runtest-2022.04","default":true}]}}}