{"name":"tlaplus-syntax","vers":"0.1.0","deps":[],"cksum":"df7c0aa457027e435f583e228e09c3e14a53590227d7d67b3f42aa67df420880","features":{},"yanked":false,"pubtime":"2026-10-29T19:08:16Z"}