{"name":"tlaplus-eval","vers":"0.1.0","deps":[{"name":"stacker","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tlaplus-ir","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tlaplus-library","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tlaplus-random","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tlaplus-runtime","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":"f058a51bd884e4cd8c50fc91dd055bd479a7f18b12f78b5939575d1ff542eb57","features":{},"yanked":false,"pubtime":"2026-10-29T20:49:37Z"}