{"name":"tlaplus-engine","vers":"0.1.0","deps":[{"name":"rayon","req":"^1.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cafd4006eb69d837f10745eac037028174704e59f9da65b3f987fb4eb666ff18","features":{},"yanked":false,"pubtime":"2026-10-29T19:08:15Z"}