{"name":"haskellPackages.copilot-theorem_4_3","summary":"k-induction for Copilot","description":"","homepage_url":"https://hackage.haskell.org/package/copilot-theorem","license":"BSD-3-Clause","attribute_paths":["haskellPackages.copilot-theorem_4_3"],"releases":[{"version":"4.3","last_updated":"2025-06-20T02:24:11Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.copilot-theorem_4_3","commit_hash":"076e8c6678d8c54204abcb4b1b14c366835a58bb","date":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/l3vysabzi8mkakmshkz4yafh6szcv8q6-copilot-theorem-4.3","default":true},{"name":"doc","path":"/nix/store/1r5w8yb1mqr95rgkvksph7lsl1qsczgb-copilot-theorem-4.3-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.copilot-theorem_4_3","commit_hash":"076e8c6678d8c54204abcb4b1b14c366835a58bb","date":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/gcsnx74ak5myp8ssmmfm9lbgc3ag6k4j-copilot-theorem-4.3","default":true},{"name":"doc","path":"/nix/store/37zy8mrwyfv66bzyv267qa5aaaggxz0q-copilot-theorem-4.3-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.copilot-theorem_4_3","commit_hash":"076e8c6678d8c54204abcb4b1b14c366835a58bb","date":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/hibln7kms3n3pfrfjp3j4x8x4lsw4wq6-copilot-theorem-4.3","default":true},{"name":"doc","path":"/nix/store/6951vspr39pdw52j9vdj8srkxniqiqg1-copilot-theorem-4.3-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.copilot-theorem_4_3","commit_hash":"076e8c6678d8c54204abcb4b1b14c366835a58bb","date":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/3yp26y3i07pn7q2fi6ga50wlwygjj1rm-copilot-theorem-4.3","default":true},{"name":"doc","path":"/nix/store/jwk96b888jz4pqzll92gl4f4q4skbnls-copilot-theorem-4.3-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false}]}