{"name":"haskellPackages.copilot-cbmc","version":"2.2.1","summary":"Copilot interface to a C model-checker","systems":{"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b86751bc4085f48661017fa226dee99fab6c651b"},"attr_path":"haskellPackages.copilot-cbmc"},"last_updated":"2026-04-16T08:46:55Z","outputs":[{"name":"out","path":"/nix/store/bagkfm7n8q4r8c7b0xrq5cnqs8ivywhl-copilot-cbmc-2.2.1","default":true},{"name":"doc","path":"/nix/store/6yn27mihzhn1mf5qh5jljlfgcx4plx3b-copilot-cbmc-2.2.1-doc"}]}}}