{"name":"intent-core","vers":"0.1.2","deps":[{"name":"intent-syntax","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.20","features":["vendored"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"df23e991856c27cd36f0a6d1abce211eee263fbfa28c5b2074e660b54e742304","features":{},"yanked":true,"pubtime":"2026-06-22T08:52:31Z"}