{"name":"tla-syntax","vers":"0.1.0","deps":[],"cksum":"e4463167d5acdbaeed1678c64a0a3e012d953d9707a5532a2b60f5d2f29cc2e0","features":{},"yanked":false,"rust_version":"1.88","pubtime":"2026-08-11T00:24:51Z"}
{"name":"tla-syntax","vers":"0.2.0","deps":[],"cksum":"aa5da4fff4f8e84490717818e8c3d5382090e450b04cb5e7b16fbc7b0b470c72","features":{},"yanked":false,"rust_version":"1.88","pubtime":"2026-08-11T03:19:26Z"}