{"name":"haskellPackages.copilot-theorem_4_6_1","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_1"],"releases":[{"version":"4.6.1","last_updated":"2026-04-16T08:46:55Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.copilot-theorem_4_6_1","commit_hash":"b86751bc4085f48661017fa226dee99fab6c651b","date":"2026-04-16T08:46:55Z","outputs":[{"name":"out","path":"/nix/store/nk6vzkj7h5r3x38mk6mg90pnzp30p95m-copilot-theorem-4.6.1","default":true},{"name":"doc","path":"/nix/store/3skjzzld9llanddqjns6bnc7b446ysfg-copilot-theorem-4.6.1-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.copilot-theorem_4_6_1","commit_hash":"b86751bc4085f48661017fa226dee99fab6c651b","date":"2026-04-16T08:46:55Z","outputs":[{"name":"out","path":"/nix/store/i7i2sza7zhlfbbq080hmhfxv4qiwf4sb-copilot-theorem-4.6.1","default":true},{"name":"doc","path":"/nix/store/dflbry4m01rwq5p2yxcldi3bk0kx3754-copilot-theorem-4.6.1-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.copilot-theorem_4_6_1","commit_hash":"b86751bc4085f48661017fa226dee99fab6c651b","date":"2026-04-16T08:46:55Z","outputs":[{"name":"out","path":"/nix/store/i4lfmrq87ihsnvkg6fi5fc01n7c00332-copilot-theorem-4.6.1","default":true},{"name":"doc","path":"/nix/store/gpgq78yvija1n4i8gdf23wh7j57z500h-copilot-theorem-4.6.1-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.copilot-theorem_4_6_1","commit_hash":"b86751bc4085f48661017fa226dee99fab6c651b","date":"2026-04-16T08:46:55Z","outputs":[{"name":"out","path":"/nix/store/kgfizjyygqk3pf2hch1j9pyb6ysrirl3-copilot-theorem-4.6.1","default":true},{"name":"doc","path":"/nix/store/rix6xaw67mciqd45wavc7mzpm3fsgihm-copilot-theorem-4.6.1-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false}]}