{"name":"tlaplus-library","vers":"0.1.0","deps":[{"name":"tlaplus-ir","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tlaplus-value-expr","req":"^0.1.0","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":"cb032186c713482514c395f613b78b093e21f2ae9de4f98e42eb9fc2a277bfc7","features":{},"yanked":false,"pubtime":"2026-10-29T20:00:40Z"}