{"name":"verus_syn","vers":"2.0.96+verus","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"automod","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flate2","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"insta","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proc-macro2","req":"^1.0.91","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.35","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"rayon","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"ref-cast","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"reqwest","req":"^0.12","features":["blocking"],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"rustversion","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tar","req":"^0.4.16","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"termcolor","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"unicode-ident","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"}],"cksum":"bd8dc762901ed63d219b2a97c12ae388d93080a6071fdb5d1dc4e54b1f1537f0","features":{"clone-impls":[],"derive":[],"extra-traits":[],"fold":[],"full":[],"parsing":[],"visit":[],"visit-mut":[]},"features2":{"default":["derive","parsing","printing","clone-impls","proc-macro"],"printing":["dep:quote"],"proc-macro":["proc-macro2/proc-macro","quote?/proc-macro"]},"yanked":true,"rust_version":"1.61","pubtime":"2025-08-22T20:07:39Z","v":2} {"name":"verus_syn","vers":"0.0.0-2025-08-12-1837","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"automod","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flate2","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"insta","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proc-macro2","req":"^1.0.91","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.35","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"rayon","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"ref-cast","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"reqwest","req":"^0.12","features":["blocking"],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"rustversion","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tar","req":"^0.4.16","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"termcolor","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"unicode-ident","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"}],"cksum":"c30b28d965c1c0259f28a4813e1c393f126940a1051870ef75d668860a2fd0bb","features":{"clone-impls":[],"derive":[],"extra-traits":[],"fold":[],"full":[],"parsing":[],"visit":[],"visit-mut":[]},"features2":{"default":["derive","parsing","printing","clone-impls","proc-macro"],"printing":["dep:quote"],"proc-macro":["proc-macro2/proc-macro","quote?/proc-macro"]},"yanked":false,"rust_version":"1.61","pubtime":"2025-08-22T20:19:44Z","v":2} {"name":"verus_syn","vers":"0.0.0-2025-11-05-1950","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"automod","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flate2","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"insta","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proc-macro2","req":"^1.0.101","features":["span-locations"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.35","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"rayon","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"ref-cast","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"reqwest","req":"^0.12","features":["blocking"],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"rustversion","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tar","req":"^0.4.16","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"termcolor","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"unicode-ident","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"}],"cksum":"51358139c4520f95ed32e97a01cac6dc3e9bff2b1fd1857418707490640fca1d","features":{"clone-impls":[],"derive":[],"extra-traits":[],"fold":[],"full":[],"parsing":[],"visit":[],"visit-mut":[]},"features2":{"default":["full","derive","parsing","printing","clone-impls","proc-macro"],"printing":["dep:quote"],"proc-macro":["proc-macro2/proc-macro","quote?/proc-macro"]},"yanked":false,"rust_version":"1.61","pubtime":"2025-11-05T19:50:44Z","v":2} {"name":"verus_syn","vers":"0.0.0-2025-11-09-0048","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"automod","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flate2","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"insta","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proc-macro2","req":"^1.0.101","features":["span-locations"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.35","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"rayon","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"ref-cast","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"reqwest","req":"^0.12","features":["blocking"],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"rustversion","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tar","req":"^0.4.16","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"termcolor","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"unicode-ident","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"}],"cksum":"5dd48af16409b0d007dded6da6ed442ee5ad5617fcfa19439d922b2e7cda19c8","features":{"clone-impls":[],"derive":[],"extra-traits":[],"fold":[],"full":[],"parsing":[],"visit":[],"visit-mut":[]},"features2":{"default":["full","derive","parsing","printing","clone-impls","proc-macro"],"printing":["dep:quote"],"proc-macro":["proc-macro2/proc-macro","quote?/proc-macro"]},"yanked":false,"rust_version":"1.61","pubtime":"2025-11-09T02:30:46Z","v":2} {"name":"verus_syn","vers":"0.0.0-2025-11-10-1957","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"automod","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flate2","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"insta","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proc-macro2","req":"^1.0.101","features":["span-locations"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.35","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"rayon","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"ref-cast","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"reqwest","req":"^0.12","features":["blocking"],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"rustversion","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tar","req":"^0.4.16","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"termcolor","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"unicode-ident","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"}],"cksum":"0fa3755d1edc7c303f5cdad50e3054635033e9bec72573fccca57c0551af3547","features":{"clone-impls":[],"derive":[],"extra-traits":[],"fold":[],"full":[],"parsing":[],"visit":[],"visit-mut":[]},"features2":{"default":["full","derive","parsing","printing","clone-impls","proc-macro"],"printing":["dep:quote"],"proc-macro":["proc-macro2/proc-macro","quote?/proc-macro"]},"yanked":false,"rust_version":"1.68","pubtime":"2025-11-12T18:13:38Z","v":2} {"name":"verus_syn","vers":"0.0.0-2025-11-16-0050","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"automod","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flate2","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"insta","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proc-macro2","req":"^1.0.101","features":["span-locations"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.35","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"rayon","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"ref-cast","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"reqwest","req":"^0.12","features":["blocking"],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"rustversion","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tar","req":"^0.4.16","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"termcolor","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"unicode-ident","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"}],"cksum":"e8fd239518d302792a2c1b2a6bfe2286268810b9627c5507fbc502ea3e88b805","features":{"clone-impls":[],"derive":[],"extra-traits":[],"fold":[],"full":[],"parsing":[],"visit":[],"visit-mut":[]},"features2":{"default":["full","derive","parsing","printing","clone-impls","proc-macro"],"printing":["dep:quote"],"proc-macro":["proc-macro2/proc-macro","quote?/proc-macro"]},"yanked":false,"rust_version":"1.68","pubtime":"2025-11-16T00:50:59Z","v":2} {"name":"verus_syn","vers":"0.0.0-2026-01-25-0057","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"automod","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flate2","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"insta","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proc-macro2","req":"^1.0.101","features":["span-locations"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.35","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"rayon","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"ref-cast","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"reqwest","req":"^0.12","features":["blocking"],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"rustversion","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tar","req":"^0.4.16","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"termcolor","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"unicode-ident","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"}],"cksum":"3efe87367e6aa49c2639208d0d5356b5c6287ae7021ff2d13354ad52924740c1","features":{"clone-impls":[],"derive":[],"extra-traits":[],"fold":[],"full":[],"parsing":[],"visit":[],"visit-mut":[]},"features2":{"default":["full","derive","parsing","printing","clone-impls","proc-macro"],"printing":["dep:quote"],"proc-macro":["proc-macro2/proc-macro","quote?/proc-macro"]},"yanked":false,"rust_version":"1.68","pubtime":"2026-01-25T00:57:40Z","v":2} {"name":"verus_syn","vers":"0.0.0-2026-02-15-0106","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"automod","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flate2","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"insta","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proc-macro2","req":"^1.0.101","features":["span-locations"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.35","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"rayon","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"ref-cast","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"reqwest","req":"^0.12","features":["blocking"],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"rustversion","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tar","req":"^0.4.16","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"termcolor","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"unicode-ident","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"}],"cksum":"6fbe9986fe3ffe05a07a87834a6a2400792e52969813fa9660e313e1c9eda6b7","features":{"clone-impls":[],"derive":[],"extra-traits":[],"fold":[],"full":[],"parsing":[],"visit":[],"visit-mut":[]},"features2":{"default":["full","derive","parsing","printing","clone-impls","proc-macro"],"printing":["dep:quote"],"proc-macro":["proc-macro2/proc-macro","quote?/proc-macro"]},"yanked":false,"rust_version":"1.68","pubtime":"2026-02-15T01:06:49Z","v":2} {"name":"verus_syn","vers":"0.0.0-2026-02-24-1505","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"automod","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flate2","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"insta","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proc-macro2","req":"^1.0.101","features":["span-locations"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.35","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"rayon","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"ref-cast","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"reqwest","req":"^0.12","features":["blocking"],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"rustversion","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tar","req":"^0.4.16","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"termcolor","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"unicode-ident","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"}],"cksum":"baea36d7ed6cf44ce889b54740f7ae7a10622788f018b04c1addbe88109f59bb","features":{"clone-impls":[],"derive":[],"extra-traits":[],"fold":[],"full":[],"parsing":[],"visit":[],"visit-mut":[]},"features2":{"default":["full","derive","parsing","printing","clone-impls","proc-macro"],"printing":["dep:quote"],"proc-macro":["proc-macro2/proc-macro","quote?/proc-macro"]},"yanked":false,"rust_version":"1.68","pubtime":"2026-02-24T15:05:55Z","v":2} {"name":"verus_syn","vers":"0.0.0-2026-03-15-0111","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"automod","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flate2","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"insta","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proc-macro2","req":"^1.0.101","features":["span-locations"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.35","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"rayon","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"ref-cast","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"reqwest","req":"^0.12","features":["blocking"],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"rustversion","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tar","req":"^0.4.16","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"termcolor","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"unicode-ident","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"}],"cksum":"1694faf01f89e1abc996da7b8d24a4e0d1ebd70147dc659e7a5dd680af696772","features":{"clone-impls":[],"derive":[],"extra-traits":[],"fold":[],"full":[],"parsing":[],"visit":[],"visit-mut":[]},"features2":{"default":["full","derive","parsing","printing","clone-impls","proc-macro"],"printing":["dep:quote"],"proc-macro":["proc-macro2/proc-macro","quote?/proc-macro"]},"yanked":false,"rust_version":"1.68","pubtime":"2026-03-15T01:11:22Z","v":2} {"name":"verus_syn","vers":"0.0.0-2026-04-05-0114","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"automod","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flate2","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"insta","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proc-macro2","req":"^1.0.101","features":["span-locations"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.35","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"rayon","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"ref-cast","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"reqwest","req":"^0.12","features":["blocking"],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"rustversion","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tar","req":"^0.4.16","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"termcolor","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"unicode-ident","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"}],"cksum":"285b554a87b470ee705634ea1cdc92c14ba088a7b8bdacbb9116b32e832fe272","features":{"clone-impls":[],"derive":[],"extra-traits":[],"fold":[],"full":[],"parsing":[],"visit":[],"visit-mut":[]},"features2":{"default":["full","derive","parsing","printing","clone-impls","proc-macro"],"printing":["dep:quote"],"proc-macro":["proc-macro2/proc-macro","quote?/proc-macro"]},"yanked":false,"rust_version":"1.68","pubtime":"2026-04-05T01:14:51Z","v":2} {"name":"verus_syn","vers":"0.0.0-2026-05-06-1803","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"automod","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flate2","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"insta","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proc-macro2","req":"^1.0.101","features":["span-locations"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.35","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"rayon","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"ref-cast","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"reqwest","req":"^0.12","features":["blocking"],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"rustversion","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tar","req":"^0.4.16","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"termcolor","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"unicode-ident","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"}],"cksum":"c69a13786a726af332f1fff4d79dd7400a714033ed3750266d2c2d9b44595201","features":{"clone-impls":[],"derive":[],"extra-traits":[],"fold":[],"full":[],"parsing":[],"visit":[],"visit-mut":[]},"features2":{"default":["full","derive","parsing","printing","clone-impls","proc-macro"],"printing":["dep:quote"],"proc-macro":["proc-macro2/proc-macro","quote?/proc-macro"]},"yanked":false,"rust_version":"1.68","pubtime":"2026-05-06T18:03:13Z","v":2} {"name":"verus_syn","vers":"0.0.0-2026-05-10-0145","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"automod","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flate2","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"insta","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proc-macro2","req":"^1.0.101","features":["span-locations"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.35","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"rayon","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"ref-cast","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"reqwest","req":"^0.12","features":["blocking"],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"rustversion","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tar","req":"^0.4.16","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"termcolor","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"unicode-ident","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"}],"cksum":"a82174e474e1f06418dd304f714785ae1c3e4d2fbff415a0d0c05a02cd995819","features":{"clone-impls":[],"derive":[],"extra-traits":[],"fold":[],"full":[],"parsing":[],"visit":[],"visit-mut":[]},"features2":{"default":["full","derive","parsing","printing","clone-impls","proc-macro"],"printing":["dep:quote"],"proc-macro":["proc-macro2/proc-macro","quote?/proc-macro"]},"yanked":false,"rust_version":"1.68","pubtime":"2026-05-10T01:45:37Z","v":2} {"name":"verus_syn","vers":"0.0.0-2026-05-24-0157","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"automod","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flate2","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"insta","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proc-macro2","req":"^1.0.101","features":["span-locations"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.35","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"rayon","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"ref-cast","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"reqwest","req":"^0.13","features":["blocking"],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"rustversion","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tar","req":"^0.4.16","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"termcolor","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"unicode-ident","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"}],"cksum":"0adef4208f95cd6cd0f27404afd9ffbbe3e09677b619a52d3f505ca43fa8f0a2","features":{"clone-impls":[],"derive":[],"extra-traits":[],"fold":[],"full":[],"parsing":[],"visit":[],"visit-mut":[]},"features2":{"default":["full","derive","parsing","printing","clone-impls","proc-macro"],"printing":["dep:quote"],"proc-macro":["proc-macro2/proc-macro","quote?/proc-macro"]},"yanked":false,"rust_version":"1.71","pubtime":"2026-05-24T01:57:46Z","v":2} {"name":"verus_syn","vers":"0.0.0-2026-05-31-0205","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"automod","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flate2","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"insta","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proc-macro2","req":"^1.0.101","features":["span-locations"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.35","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"rayon","req":"^1","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"ref-cast","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"reqwest","req":"^0.13","features":["blocking"],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"rustversion","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tar","req":"^0.4.16","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"},{"name":"termcolor","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"unicode-ident","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(miri))","kind":"dev"}],"cksum":"030b774330d5ec618691c2cd6fba8bbb13bd538f3884a1143450baec25749706","features":{"clone-impls":[],"derive":[],"extra-traits":[],"fold":[],"full":[],"parsing":[],"visit":[],"visit-mut":[]},"features2":{"default":["full","derive","parsing","printing","clone-impls","proc-macro"],"printing":["dep:quote"],"proc-macro":["proc-macro2/proc-macro","quote?/proc-macro"]},"yanked":false,"rust_version":"1.71","pubtime":"2026-05-31T02:05:39Z","v":2}