{"name":"haskellPackages.copilot-theorem","version":"4.1","summary":"k-induction for Copilot","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"haskellPackages.copilot-theorem"},"last_updated":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/kpw41ajrdp3kr3k9pjzq1vjbg68kwgr3-copilot-theorem-4.1","default":true},{"name":"doc","path":"/nix/store/svdc6svbdgcb7fa8bqmlkg4wk37bqchm-copilot-theorem-4.1-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"haskellPackages.copilot-theorem"},"last_updated":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/if9wrk5xqi4zih18p85w2jx5638zm5g0-copilot-theorem-4.1","default":true},{"name":"doc","path":"/nix/store/lsngnga9cnqws7bw2fz6fvixss4csfhz-copilot-theorem-4.1-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"haskellPackages.copilot-theorem"},"last_updated":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/l8199qyf7njd3x5y1vzvjd34p7w8b5fm-copilot-theorem-4.1","default":true},{"name":"doc","path":"/nix/store/q1xaq6yy3d332ljmw0qz69jifillk8c9-copilot-theorem-4.1-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"haskellPackages.copilot-theorem"},"last_updated":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/6bkn1p9d6bhmv97fdx2z7vysi8hv6j31-copilot-theorem-4.1","default":true},{"name":"doc","path":"/nix/store/dz2060apsy6y8g73p2wpfjiv5zdjisa8-copilot-theorem-4.1-doc"}]}}}