{"name":"haskellPackages.copilot-theorem_4_6","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_6"],"releases":[{"version":"4.6","last_updated":"2026-01-23T17:20:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.copilot-theorem_4_6","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/ds85z88i6510vkd08ki3739mv1zspr4z-copilot-theorem-4.6","default":true},{"name":"doc","path":"/nix/store/920cpgj2ha3s1yx2ggmjif20jdjqnb70-copilot-theorem-4.6-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.copilot-theorem_4_6","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/9l2l2glbg1yf03dan39skq6lmc7wi6aq-copilot-theorem-4.6","default":true},{"name":"doc","path":"/nix/store/m1limgs8lzgps1d094s3frzxiq3cylrq-copilot-theorem-4.6-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.copilot-theorem_4_6","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/1zld159sh1k89ldvqpljwfz8ih921jnr-copilot-theorem-4.6","default":true},{"name":"doc","path":"/nix/store/70w50z7rgllwilkpg5qmshvcmy7hg16d-copilot-theorem-4.6-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.copilot-theorem_4_6","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/mhlq7piz5r8pky2p9kznvcyfyz59jc6w-copilot-theorem-4.6","default":true},{"name":"doc","path":"/nix/store/m4f53bklrrn128isrpcj0wcra1s1rq88-copilot-theorem-4.6-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false}]}