{"name":"tlaplus-observe","vers":"0.1.0","deps":[{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tlaplus-engine","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"68085dc01de6640da0a30e90ef5025a853549147c99d5ebecc10b56d06ba8a46","features":{},"yanked":false,"pubtime":"2026-10-29T19:20:46Z"}