{"name":"intent-lang-core","vers":"0.1.3","deps":[{"name":"intent-lang-syntax","req":"^0.1.3","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":"2df8e4d67311aeda4917d8b73d2131eaa305379236f59013e23d3ec6b0005420","features":{},"yanked":false,"pubtime":"2026-06-22T08:56:00Z"}