{"name":"wirespec-backend-tlaplus","vers":"0.3.0","deps":[{"name":"tla-checker","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wirespec-sema","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wirespec-syntax","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"3988571cf045b47ca10e0958f0a2b6871f6ab458c72708189d72567d931070b5","features":{},"yanked":false,"pubtime":"2026-04-05T19:20:22Z"}