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