{"name":"tla-eval","vers":"0.1.0","deps":[{"name":"tla-syntax","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"571470d7060680210b58b23c7b9a685548c51c53a3b424f5a19a01dbd02def4d","features":{},"yanked":false,"rust_version":"1.88","pubtime":"2026-08-11T00:24:53Z"}
{"name":"tla-eval","vers":"0.2.0","deps":[{"name":"tla-syntax","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"56973fe7f3b6821f128d867416fc472a7bc2252746460bae6b39618a2687bd62","features":{},"yanked":false,"rust_version":"1.88","pubtime":"2026-08-11T03:19:30Z"}