{"name":"synth-cli","vers":"0.6.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.6.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.6.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.6.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.6.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5a7c18d58ec5fd577b7052f7eeb825ba2873bd7dbd37f8eea7f1e79924853c66","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-05-24T18:16:22Z"} {"name":"synth-cli","vers":"0.7.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.7.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.7.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.7.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.7.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6c34d73d2dac8a24e0db36bf1092262236749b8df0e146cc325948452ed0696e","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-05-25T06:05:30Z"} {"name":"synth-cli","vers":"0.8.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.8.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3e391bdc7aba2a85f62e7e4e879297f9d30371fdc791bc7120c05c32f86ed444","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-05-26T20:10:57Z"} {"name":"synth-cli","vers":"0.9.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.9.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.9.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.9.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.9.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c3087b97947e8a93215d1d0627be22f7edd2fba7d65982394d7f07de5ff015a6","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-05-27T18:05:29Z"} {"name":"synth-cli","vers":"0.10.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.10.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c84eec13565a281461d3d812bcfaa42253a1e115f05fbed8829407b3f0632738","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-05-29T06:14:33Z"} {"name":"synth-cli","vers":"0.11.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"83c4a91ce1c3df5bf48ac0195aa8c5887b7d186dcf470dc0d47c5d055dcb195a","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-05-29T19:10:17Z"} {"name":"synth-cli","vers":"0.11.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.1","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8eaccb7e815a443b3254c10aeeee22d5bc6ce218edac425071ce6a9caea272be","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-05-30T04:00:45Z"} {"name":"synth-cli","vers":"0.11.2","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.2","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8a680bb4da4c2480c9264b5089a2d049dacb107566f284ad29e9de5c2e872bec","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-05-30T04:41:00Z"} {"name":"synth-cli","vers":"0.11.3","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.3","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"71fb377418e283e1af1dfc6f8e90ff89084dc4aedc57471c265437c496e6f572","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-05-30T05:40:23Z"} {"name":"synth-cli","vers":"0.11.4","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.4","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d4eb73fa979eac05d7678e2a802c1d23adc89dda245aae0e65151dc33628bec8","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-05-30T09:15:52Z"} {"name":"synth-cli","vers":"0.11.5","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.5","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"273638706c244ab421c836e1d7d0533105b108ed1923909a5675bc6ce6341092","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-05-30T10:09:37Z"} {"name":"synth-cli","vers":"0.11.6","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.6","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fec0246f240116cb507df292afa019d86121f3f7337578fdd9f28a99a0322423","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-05-30T11:01:15Z"} {"name":"synth-cli","vers":"0.11.7","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.7","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3c1eaff8a06e895087e39bed7892b5506dba01a4f59eba35e40b20e3df50dc1f","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-05-30T13:07:20Z"} {"name":"synth-cli","vers":"0.11.8","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.8","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6a4db95d4565d085d31b8170e2c67c532f41798bd18952a6dfa455bd88c2e809","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-05-30T14:32:16Z"} {"name":"synth-cli","vers":"0.11.9","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.9","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.9","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.9","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.9","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ba22cc759349a448f7ec6e70098bcbd5ccaab319455decddbc94ed8ba458bd1f","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-05-30T15:26:46Z"} {"name":"synth-cli","vers":"0.11.10","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.10","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.10","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.10","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.10","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"84aa6d01c36ae0025ca6449d2db3dd287f1d05aa8955683c6b44ad0cfdca5beb","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-05-30T21:12:37Z"} {"name":"synth-cli","vers":"0.11.11","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.11","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.11","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.11","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.11","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2b62cc0846c3aafb2544739393f4c65301568a044f79642c7fce4286e9cdcf81","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-05-30T22:05:32Z"} {"name":"synth-cli","vers":"0.11.12","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.12","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.12","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.12","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.12","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"785e7624ff1228bc1cc5d41d1f424075590da3c3b56168c82b0c7fa90f1cc372","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-05-31T08:24:37Z"} {"name":"synth-cli","vers":"0.11.13","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.13","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.13","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.13","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.13","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fc4a0e22749c94561eab5d5c2ac57b7c66891714df776d4e95027c0739579b31","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-05-31T17:42:35Z"} {"name":"synth-cli","vers":"0.11.14","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.14","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.14","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.14","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.14","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e973c68055d82c81b1c12ff03d89c6eaf498237942141dbab60265140e476256","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-05-31T20:13:54Z"} {"name":"synth-cli","vers":"0.11.15","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.15","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"867c3bf089c2db46a97c703617116ae3de7e341b9193a3f7cadb4d99f9028314","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-01T23:19:12Z"} {"name":"synth-cli","vers":"0.11.16","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.16","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.16","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.16","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.16","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"841e6d75e6fb1e352c569dd58f2d71e31ce7123b69104d6c3b19a7a0cc39937a","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-02T16:10:23Z"} {"name":"synth-cli","vers":"0.11.17","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.17","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.17","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.17","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.17","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"963c927ae8d273a220e15f09601969d7a15a9fc8fd953d20fb2425b82e8453b4","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-02T18:16:02Z"} {"name":"synth-cli","vers":"0.11.18","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.18","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.18","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.18","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.18","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c508ae7bfd3418f09177cf978b1ed045239cc8df45ba49e68ba321cbf7935944","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-02T18:46:40Z"} {"name":"synth-cli","vers":"0.11.19","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.19","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.19","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.19","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.19","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4e76f302f1b95214095a25068421bb5882ed38800c77a6ba275188e36777d842","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-02T19:58:41Z"} {"name":"synth-cli","vers":"0.11.20","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.20","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.20","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.20","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.20","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bfe06cc9410d310c7f871da4b6d02e5eefd5b080172523cd402e291cb104455e","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-02T21:14:15Z"} {"name":"synth-cli","vers":"0.11.21","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.21","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.21","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.21","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.21","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1011db31576c8b8dd40769e8e6913a751d8019c00f195560bfb5019365f3ff5d","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-03T05:55:38Z"} {"name":"synth-cli","vers":"0.11.22","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.22","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"290b29e1555f744d3bedc80616f14d2aba207cf07d0606f139cdd3f7aba438c8","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-03T07:18:44Z"} {"name":"synth-cli","vers":"0.11.23","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.23","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.23","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.23","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.23","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.23","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.23","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.23","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.23","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2aea485409eea8a758aa7ae11d4c2ee63890d1b389c2e673638144dc3b6f171f","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-03T08:07:17Z"} {"name":"synth-cli","vers":"0.11.24","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.24","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.24","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.24","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.24","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.24","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.24","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.24","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.24","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"39a53ecf3856eaa8f7a8ba82ce96551d5a31108678d02c2cad1b46bc5faf7862","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-03T09:57:22Z"} {"name":"synth-cli","vers":"0.11.25","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.25","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.25","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.25","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.25","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.25","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.25","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.25","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.25","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0e708f9f1820f6bd36069c842159cbc61ba2634c74e2d254d72c4365a47c0fba","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-03T10:24:51Z"} {"name":"synth-cli","vers":"0.11.26","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.26","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.26","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.26","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.26","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.26","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.26","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.26","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.26","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"dc565acfab3d09ba015c0a3bc62b290533598160bf061fe32d35691a2b6f5b9e","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-03T11:52:20Z"} {"name":"synth-cli","vers":"0.11.27","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.27","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.27","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.27","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.27","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"dc1905d9bd174f17a859f6887579ac713a08a644ed131e02c74f1de3ff416258","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-03T13:22:59Z"} {"name":"synth-cli","vers":"0.11.28","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.28","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.28","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.28","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.28","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"697c2a59e2ebc2679ca063a5f4d12ac47c141ee82c22004310f5f14733634f50","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-04T08:40:30Z"} {"name":"synth-cli","vers":"0.11.29","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.29","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.29","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.29","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.29","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.29","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.29","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.29","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.29","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"00285599c3ef3c3afc34fd064e54af85fda4fb869ab71e1e58e0aa0bcf4cc17a","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-04T15:58:16Z"} {"name":"synth-cli","vers":"0.11.30","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.30","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.30","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.30","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.30","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.30","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.30","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.30","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.30","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"71ee62f4143ed75e5b80d15387fb82f53171b4cffedc5123f0ec590e544a3964","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-05T04:24:45Z"} {"name":"synth-cli","vers":"0.11.31","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.31","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.31","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.31","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.31","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.31","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.31","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.31","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.31","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"914767407139a993eb7cc78dea7553448273764d2e4af1f16c099fef8b68f102","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-05T05:39:57Z"} {"name":"synth-cli","vers":"0.11.32","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.32","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.32","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.32","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.32","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"83dadf150010b7638a93618aa8857110a9547908c8a83a74b73d34e0e200be95","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-05T12:28:19Z"} {"name":"synth-cli","vers":"0.11.33","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.33","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.33","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.33","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.33","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.33","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.33","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.33","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.33","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2740a2f1daf37d240052e42c6a11f521bc7074561ca71a902ab42bf1dad296d9","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-05T12:55:37Z"} {"name":"synth-cli","vers":"0.11.34","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.34","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.34","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.34","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.34","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.34","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.34","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.34","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.34","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"007dbe197a79d9ce47d4de9879ef68187610576698e3b8c204885ce25f214d91","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-05T13:45:01Z"} {"name":"synth-cli","vers":"0.11.35","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.35","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.35","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.35","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.35","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.35","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.35","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.35","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.35","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b978b2ea7ac30a88ba73b4aec3b41c8e1f9555936766e398a01cabf145e8da6f","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-09T20:59:02Z"} {"name":"synth-cli","vers":"0.11.36","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.36","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.36","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.36","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.36","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.36","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.36","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.36","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.36","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7a3150e62e754da3e27e4e8d3674f3a9050fdb09166c99a83bd9c3a265e3f313","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-11T00:26:58Z"} {"name":"synth-cli","vers":"0.11.37","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.37","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.37","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.37","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.37","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.37","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.37","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.37","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.37","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8fe310d8e4e083ee813fd192eed94bd4347db8891c304141b4b8db088ab28fc0","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-11T02:45:21Z"} {"name":"synth-cli","vers":"0.11.38","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.38","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.38","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.38","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.38","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8f6d67673ddf0447880b6d5b1e87f7ff547b7bfd45a39b824c1659c897688cba","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-11T08:35:34Z"} {"name":"synth-cli","vers":"0.11.39","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.39","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.39","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.39","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.39","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.39","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.39","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.39","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.39","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5eb9906a29e74c567bf8af9fd909919dc0ba2f3c1b21e14a5ce68d883f61a3f8","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-11T12:22:23Z"} {"name":"synth-cli","vers":"0.11.40","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.40","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.40","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.40","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.40","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4392f3d007a649860a51696739b83c716def054dff6a49253f62b29c33ddd033","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-11T15:22:48Z"} {"name":"synth-cli","vers":"0.11.42","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.42","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.42","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.42","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.42","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.42","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.42","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.42","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.42","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^219.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7a214b68f2ccd10efd7f696bc74f5832083d81b2a8560fd7641d27353c308cc0","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-13T22:47:27Z"} {"name":"synth-cli","vers":"0.11.43","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.43","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.43","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.43","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.43","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.43","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.43","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.43","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.43","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^244.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"43e004a0fee5da3709b0091ad745cd92c4e6ac1a022b75926628d01c47827f4f","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-14T09:50:02Z"} {"name":"synth-cli","vers":"0.11.44","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.44","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.44","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.44","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.44","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.44","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.44","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.44","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.44","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^244.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d7c34370760abb1f873ce62652a728274c07f21490fe0b90b2ce2e67f7a4404a","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-14T15:26:17Z"} {"name":"synth-cli","vers":"0.11.45","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.45","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.45","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.45","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.45","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.45","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.45","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.45","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.45","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^244.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a2f380210ab2472bb5ff6ee7fcfa069d8dcf3f481bfc6bb6943a160feaaaaf18","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-14T18:17:28Z"} {"name":"synth-cli","vers":"0.11.46","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.46","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.46","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.46","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.46","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.46","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.46","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.46","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.46","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^248.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0adbf2f6da521a8d3cd7ac6c5383bf2ec1d7e061aa4f9207801f096440cb7988","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-17T20:15:30Z"} {"name":"synth-cli","vers":"0.11.47","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.47","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.47","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.47","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.47","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.47","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.47","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.47","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.47","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^248.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"413f82cefbf274f903be4e5177f66c5915135164410215adad26223007556509","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-18T05:29:09Z"} {"name":"synth-cli","vers":"0.11.48","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.48","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.48","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.48","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.48","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.48","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.48","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.48","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.48","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^248.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c805cd58dc18035bee12dca4d11a7eeac7b5f67258523878799b46ae182b3546","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-18T22:25:56Z"} {"name":"synth-cli","vers":"0.11.49","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.49","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.49","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.49","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.49","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^248.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4ce193ad8e37822a721454b7e839bbdad64ed3b1a31307f362d1be93a9fcc221","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-19T11:06:44Z"} {"name":"synth-cli","vers":"0.11.50","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.50","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.50","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.50","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.50","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^248.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f6ace593ec6bde177d147799ac333e963e7255ca3b4053376506d73610d11fa6","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-19T22:58:25Z"} {"name":"synth-cli","vers":"0.11.51","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^1.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.11.51","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.11.51","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.11.51","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.11.51","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.11.51","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.11.51","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.11.51","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.11.51","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^248.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4b2cfad49a7431988f7fb7b87fc33563440897a75604a29e6c42102e7bd37d0a","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-22T09:01:13Z"} {"name":"synth-cli","vers":"0.12.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.33","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^1.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend","req":"^0.12.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.12.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.12.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.12.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.12.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.12.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.12.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.12.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"49a82af2335b2fc9b48315e47c884fc5ec3d47bd4a092df9996a13c8c198005c","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-23T00:04:47Z"} {"name":"synth-cli","vers":"0.13.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.33","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^1.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.13.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.13.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.13.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.13.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4e586cedc0c64853934947fd4e7e01b405b42af471849d6fe705b1a78260d83f","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-24T04:37:58Z"} {"name":"synth-cli","vers":"0.14.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.33","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^1.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.14.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.14.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.14.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.14.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"dee20396247067d35b907173d83575cfdf872eccd6a0230540ef6de5084676fd","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-24T11:17:48Z"} {"name":"synth-cli","vers":"0.15.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.33","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^1.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.15.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.15.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.15.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.15.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.15.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.15.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.15.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.15.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"91112a98be1dc4354dbf6d269573579d14440a43714ee10785f5f82a8c63abb8","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-24T17:14:19Z"} {"name":"synth-cli","vers":"0.15.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.33","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^1.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.15.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.15.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.15.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.15.1","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b5bbbae78527e4fae04f4288a9103fe4e7c1342ce89e5a6ae492ad7a1285c32e","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-24T21:38:57Z"} {"name":"synth-cli","vers":"0.16.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.33","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^1.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.16.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.16.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.16.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.16.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.16.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.16.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.16.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.16.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9a9ea6eb24bc423ae316569cfefbc7e91eb37c39200d9890c7619874ff29d21a","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-26T05:49:47Z"} {"name":"synth-cli","vers":"0.17.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.33","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.17.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.17.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.17.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.17.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.17.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.17.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.17.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.17.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e3a6d83d6ec4853c9dbe334eeae66bc1383cc2f35d0d488f4c2a8f571e9f3c78","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-26T20:12:21Z"} {"name":"synth-cli","vers":"0.18.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.33","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.18.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.18.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.18.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.18.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6a6c3fb5847ff2a10899cf3b7601c81b539cd685ac110393332f04769a1f200d","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-06-30T20:41:31Z"} {"name":"synth-cli","vers":"0.18.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.33","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.18.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.18.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.18.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.18.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.18.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.18.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.18.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.18.1","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ece19d1b601c82353978c418802ff4fe138e833a65e5e9e8767998e103744956","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-01T04:46:02Z"} {"name":"synth-cli","vers":"0.19.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.33","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.19.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.19.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.19.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.19.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2b615b463c90a4b21241699f1db853e57433a67919aa69924c54cb11a84b6cb4","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-01T22:04:44Z"} {"name":"synth-cli","vers":"0.20.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.33","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.20.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.20.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.20.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.20.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a786fe75b9fc7ff3cf5b04f19cd6a7b6ba81082de7cec1cd2612f9a3bcf39e36","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-02T00:39:13Z"} {"name":"synth-cli","vers":"0.21.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.33","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.21.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.21.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.21.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.21.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.21.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.21.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.21.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.21.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.21.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"041efd72cf0243a5343bd30269e25ea9cce618217a97576665f4f2c6a8b3de92","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-02T09:05:37Z"} {"name":"synth-cli","vers":"0.22.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.22.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.22.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.22.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.22.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.22.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.22.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.22.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.22.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.22.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d063b8f3212f2861f11ae0756044d0c8d470787b0f7eecb52f5804a828e108df","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-02T11:29:26Z"} {"name":"synth-cli","vers":"0.22.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.22.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.22.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.22.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.22.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.22.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.22.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.22.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.22.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.22.1","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4554c86f309698560dc091d4091d638e5f4efbb8012b3bbb5b2b200cab35b131","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-02T13:03:29Z"} {"name":"synth-cli","vers":"0.23.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.23.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.23.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.23.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.23.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.23.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.23.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.23.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.23.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.23.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e3dbf974aaf1138e5ca3047861f12573914bd3766f720035a55e8848f7f01ff0","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-02T17:04:56Z"} {"name":"synth-cli","vers":"0.24.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.24.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.24.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.24.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.24.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.24.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.24.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.24.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.24.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.24.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"518cac19bb68249f33e0f11f038c0ffc8c780b3fcd109ea3f5c43dfa033d48cb","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-02T21:08:59Z"} {"name":"synth-cli","vers":"0.25.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.25.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.25.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.25.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.25.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.25.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.25.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.25.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.25.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.25.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8db4a638ce007194ce452b891576738e354de6573b86eb1a3c652320a923ba62","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-03T00:43:48Z"} {"name":"synth-cli","vers":"0.26.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.26.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.26.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.26.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.26.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.26.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.26.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.26.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.26.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.26.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e7bd4c62cfd6b36fec79244935cc68a400c5f12e45ffbdab64e760079667e0ff","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-03T02:07:12Z"} {"name":"synth-cli","vers":"0.27.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.27.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.27.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.27.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.27.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.27.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.27.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.27.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.27.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.27.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ac294adbbb5561216c3d63f1ab45d690dc04f49ca7bc08ceba46a78efbace65c","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-03T09:09:31Z"} {"name":"synth-cli","vers":"0.28.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.28.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.28.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.28.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.28.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.28.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.28.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.28.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.28.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.28.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b64ca895c3340f29b627a23b7623b0e2f6e7b255d27b429c944de6e020e32cc8","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-03T10:17:13Z"} {"name":"synth-cli","vers":"0.29.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.29.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.29.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.29.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.29.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.29.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.29.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.29.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.29.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.29.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"be129b274cb2bfe1a99217e7488698d6003a708aaa1d033e38df8e8f713625b6","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-03T14:31:15Z"} {"name":"synth-cli","vers":"0.30.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.30.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.30.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.30.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.30.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.30.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.30.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.30.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.30.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.30.0","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"33bb2b54cb0cfbd190114231d8062259a6a0ba9954c6562d213ae76b5c3d9e63","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-03T15:49:54Z"} {"name":"synth-cli","vers":"0.30.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.30.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.30.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.30.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.30.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.30.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.30.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.30.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.30.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.30.1","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"13fa8f125dc1db6030203f6ccfae31443a518dbab7a81f7b0e00bf8effa97a7c","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-03T17:38:30Z"} {"name":"synth-cli","vers":"0.30.2","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.30.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.30.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.30.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.30.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.30.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.30.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.30.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.30.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.30.2","features":["z3-solver","arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d6c415e577c5541583ecf67a513220a8ba5d3f434f0c730ab6f259b60320132a","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-07T23:21:22Z"} {"name":"synth-cli","vers":"0.31.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.31.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.31.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.31.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.31.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.31.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.31.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.31.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.31.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.31.0","features":["arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c27a1fb6813a8f09e5a0738317fb7bf2a608b82d7dfb1f32895d574032432610","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-08T01:01:50Z"} {"name":"synth-cli","vers":"0.32.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.32.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.32.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.32.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.32.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.32.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.32.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.32.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.32.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.32.0","features":["arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6ef891dde429449ff254f77af40a11aca3446ff6aa0f345e75ebb0d03a83ce88","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-08T02:43:58Z"} {"name":"synth-cli","vers":"0.32.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.32.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.32.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.32.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.32.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.32.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.32.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.32.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.32.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.32.1","features":["arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"758edf20c7ea68098b75e907ab86dac9b3dd591f3e465688f7cb5df968d89044","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-08T06:32:48Z"} {"name":"synth-cli","vers":"0.33.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.33.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.33.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.33.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.33.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.33.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.33.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.33.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.33.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.33.0","features":["arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e06762cf3ccc406624b3d7b3188b943b4a2cb1954e5562dadf70db2bd8539418","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-08T12:33:16Z"} {"name":"synth-cli","vers":"0.33.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.33.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.33.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.33.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.33.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.33.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.33.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.33.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.33.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.33.1","features":["arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e4cb69534aed94f353ec5b1ab513f7549907f631af4aaacf89ec8d155ecfaa23","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-08T14:14:32Z"} {"name":"synth-cli","vers":"0.34.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.34.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.34.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.34.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.34.0","features":["arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3bcac17437ffa8b546b4fc70d12e54a806af9e31483fff91da57042d725e2ac4","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-08T17:13:01Z"} {"name":"synth-cli","vers":"0.35.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.35.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.35.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.35.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.35.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.35.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.35.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.35.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.35.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.35.0","features":["arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e30f76c2f3e0f6afbcf63c4069fef8b553a82a125fe0d9a7a90b345febeb1183","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-08T20:37:54Z"} {"name":"synth-cli","vers":"0.36.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.36.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.36.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.36.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.36.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.36.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.36.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.36.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.36.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.36.0","features":["arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7dbd81d95af29ae8836adaaecc86bf9c062071ce92663aafa4d307382c32a25d","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-08T22:18:40Z"} {"name":"synth-cli","vers":"0.37.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.37.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.37.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.37.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.37.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.37.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.37.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.37.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.37.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.37.0","features":["arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3e41a2e56e491239c811ad60a7f2911b5cc64755e0ca0139246299bf55e521d8","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-08T22:37:42Z"} {"name":"synth-cli","vers":"0.37.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.37.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.37.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.37.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.37.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.37.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.37.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.37.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.37.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.37.1","features":["arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c2262368bc2f45ba8f9baf22be630dc9d37fde28c9af97f7f4bb77cb14b0cd64","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-10T11:02:28Z"} {"name":"synth-cli","vers":"0.38.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.38.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.38.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.38.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.38.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.38.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.38.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.38.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.38.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.38.0","features":["arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ef781dfc662607d26381ba82b0ab4e9fd47282ee74c0305c022b7d15b9038375","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-10T18:13:53Z"} {"name":"synth-cli","vers":"0.39.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.39.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.39.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.39.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.39.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.39.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.39.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.39.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.39.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.39.0","features":["arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"064954f3e74001cf1c6e40c0e10287ecdc8dd88756fa1b6ad7dff0765728e0ca","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-10T22:19:22Z"} {"name":"synth-cli","vers":"0.39.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"gimli","req":"^0.34","features":["read","std"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"object","req":"^0.39","features":["read","elf"],"optional":false,"default_features":false,"target":null,"kind":"dev"},{"name":"scry-sai-core","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"synth-backend","req":"^0.39.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-aarch64","req":"^0.39.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-awsm","req":"^0.39.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-riscv","req":"^0.39.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-backend-wasker","req":"^0.39.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-core","req":"^0.39.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-frontend","req":"^0.39.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-synthesis","req":"^0.39.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"synth-verify","req":"^0.39.1","features":["arm"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmparser","req":"^0.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"wast","req":"^252.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wat","req":"^1.252","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"13fe4fa77beef111671f59249cf74f04fd905304b8949308fa509de92066db40","features":{"awsm":["synth-backend-awsm"],"default":["riscv"],"riscv":["synth-backend-riscv"],"verify":["synth-verify"],"wasker":["synth-backend-wasker"]},"yanked":false,"pubtime":"2026-07-10T23:43:19Z"}