{"name":"haskellPackages.copilot-verifier","version":"4.3","summary":"System for verifying the correctness of generated Copilot programs","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c539ae8d21e49776966d714f82fba33b1fca78bc"},"attr_path":"haskellPackages.copilot-verifier"},"last_updated":"2025-06-17T01:11:27Z","outputs":[{"name":"out","path":"/nix/store/8zj6jbq5q3m7wzlij4cpbv19zr1pczq0-copilot-verifier-4.3","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c539ae8d21e49776966d714f82fba33b1fca78bc"},"attr_path":"haskellPackages.copilot-verifier"},"last_updated":"2025-06-17T01:11:27Z","outputs":[{"name":"out","path":"/nix/store/qsjhm2p4fvvspcf2lkakvs4xn0x339ba-copilot-verifier-4.3","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c539ae8d21e49776966d714f82fba33b1fca78bc"},"attr_path":"haskellPackages.copilot-verifier"},"last_updated":"2025-06-17T01:11:27Z","outputs":[{"name":"out","path":"/nix/store/sy76kxv39qzcq0lrinywb03q0a431hk6-copilot-verifier-4.3","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c539ae8d21e49776966d714f82fba33b1fca78bc"},"attr_path":"haskellPackages.copilot-verifier"},"last_updated":"2025-06-17T01:11:27Z","outputs":[{"name":"out","path":"/nix/store/8ahpyj3gnhb6dm8rx1d2lahnmcdbsp7r-copilot-verifier-4.3","default":true}]}}}