{"name":"tlaplus-dsl","vers":"0.1.0","deps":[],"cksum":"105351b66167bf3f2f64771ba0dd5864716f470b11a5354901d6d6db087303c3","features":{},"yanked":false,"pubtime":"2026-10-29T19:08:15Z"}