{"name":"haskellPackages.copilot-verifier","summary":"System for verifying the correctness of generated Copilot programs","description":"","homepage_url":"https://hackage.haskell.org/package/copilot-verifier","license":"BSD-3-Clause","attribute_paths":["haskellPackages.copilot-verifier"],"releases":[{"version":"4.3","last_updated":"2025-06-17T01:11:27Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.copilot-verifier","commit_hash":"c539ae8d21e49776966d714f82fba33b1fca78bc","date":"2025-06-17T01:11:27Z","outputs":[{"name":"out","path":"/nix/store/8zj6jbq5q3m7wzlij4cpbv19zr1pczq0-copilot-verifier-4.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.copilot-verifier","commit_hash":"c539ae8d21e49776966d714f82fba33b1fca78bc","date":"2025-06-17T01:11:27Z","outputs":[{"name":"out","path":"/nix/store/qsjhm2p4fvvspcf2lkakvs4xn0x339ba-copilot-verifier-4.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.copilot-verifier","commit_hash":"c539ae8d21e49776966d714f82fba33b1fca78bc","date":"2025-06-17T01:11:27Z","outputs":[{"name":"out","path":"/nix/store/sy76kxv39qzcq0lrinywb03q0a431hk6-copilot-verifier-4.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.copilot-verifier","commit_hash":"c539ae8d21e49776966d714f82fba33b1fca78bc","date":"2025-06-17T01:11:27Z","outputs":[{"name":"out","path":"/nix/store/8ahpyj3gnhb6dm8rx1d2lahnmcdbsp7r-copilot-verifier-4.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}