{"name":"tlaplus-lower","vers":"0.1.0","deps":[{"name":"tlaplus-ir","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tlaplus-modules","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tlaplus-syntax","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7e0239add4e9e02224edb2790431d1e9394b58222c1f0aec98492ad4f7c5ddc9","features":{},"yanked":false,"pubtime":"2026-10-29T20:29:45Z"}