{"name":"tlaplus-value-expr","vers":"0.1.0","deps":[{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tlaplus-values","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"88302c94711cb0bb0356dd38f8e66e06c8e206f00aed408eeae1a93d2dafeb81","features":{},"yanked":false,"pubtime":"2026-10-29T19:40:41Z"}