{"name":"tlaplus-cli","vers":"0.1.0","deps":[{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tlaplus-checker","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tlaplus-dsl","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tlaplus-observe","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"}],"cksum":"3390526a8c48cb61c92532db5cdb22b9a0e418237864b09029865a3e9d015838","features":{},"yanked":false,"pubtime":"2026-10-29T21:31:07Z"}