{"name":"haskellPackages.copilot-theorem_4_6","version":"4.6","summary":"k-induction for Copilot","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"haskellPackages.copilot-theorem_4_6"},"last_updated":"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"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"haskellPackages.copilot-theorem_4_6"},"last_updated":"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"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"haskellPackages.copilot-theorem_4_6"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"haskellPackages.copilot-theorem_4_6"},"last_updated":"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"}]}}}