{"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"}
{"name":"wirespec-backend-tlaplus","vers":"0.4.0","deps":[{"name":"tla-checker","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wirespec-sema","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wirespec-syntax","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"0ab854bd98d6ad5c8017c422847a589705d0f4e8bed89d58a8e004069a72f0ae","features":{},"yanked":false,"pubtime":"2026-04-07T04:06:08Z"}
{"name":"wirespec-backend-tlaplus","vers":"0.4.1","deps":[{"name":"tla-checker","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wirespec-sema","req":"^0.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wirespec-syntax","req":"^0.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"eebdc615751700c03e5b71f5e659e33a684d47ea9c0f404cde7969e7caa06a75","features":{},"yanked":false,"pubtime":"2026-04-07T07:10:15Z"}
{"name":"wirespec-backend-tlaplus","vers":"0.4.2","deps":[{"name":"tla-checker","req":"^0.3.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wirespec-sema","req":"^0.4.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wirespec-syntax","req":"^0.4.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"f355420eee8cfdc9810db4e65412a741ec593e2749c99ab4b47b45df1bc2f64c","features":{},"yanked":false,"pubtime":"2026-04-23T18:21:52Z"}