{"name":"cargo-certora-sbf","vers":"0.2.0","deps":[{"name":"assert_cmd","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bzip2","req":"^0.5.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.19.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.35","features":["cargo","env","derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap-cargo","req":"^0.15.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap-verbosity-flag","req":"^3.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.26","features":["std"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"predicates","req":"^3.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reqwest","req":"^0.12.15","features":["blocking","rustls-tls"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"semver","req":"^1.0.26","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serial_test","req":"^3.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"solana-file-download","req":"^2.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tar","req":"^0.4.44","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"which","req":"^7.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6a5a68aaa0c1ed3b29d7245758f0e0c5fa314419b80dec984d52b2d421cbc349","features":{"program":[]},"yanked":false,"pubtime":"2025-04-04T20:33:14Z"}
{"name":"cargo-certora-sbf","vers":"0.3.0","deps":[{"name":"assert_cmd","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"assert_fs","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bzip2","req":"^0.5.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.19.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.35","features":["cargo","env","derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap-cargo","req":"^0.15.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap-verbosity-flag","req":"^3.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.26","features":["std"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"predicates","req":"^3.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reqwest","req":"^0.12.15","features":["blocking","rustls-tls"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"semver","req":"^1.0.26","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"solana-file-download","req":"^2.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tar","req":"^0.4.44","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"which","req":"^7.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d2a761d60b583199a03a658ffef4f3b80817e9d10908c7e587fd495eca693625","features":{"program":[]},"yanked":false,"pubtime":"2025-04-17T19:18:18Z"}
{"name":"cargo-certora-sbf","vers":"0.3.1","deps":[{"name":"assert_cmd","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"assert_fs","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bzip2","req":"^0.5.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.19.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.35","features":["cargo","env","derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap-cargo","req":"^0.15.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap-verbosity-flag","req":"^3.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.26","features":["std"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"predicates","req":"^3.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reqwest","req":"^0.12.15","features":["blocking","rustls-tls"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"semver","req":"^1.0.26","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"solana-file-download","req":"^2.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tar","req":"^0.4.44","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"which","req":"^7.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"02d80f044c81674dd5a3aefe0f41b03eecaf3d2e4c1b3c4a9b4da3c65fe3ec98","features":{"program":[]},"yanked":false,"pubtime":"2025-04-18T01:52:22Z"}
{"name":"cargo-certora-sbf","vers":"0.3.2","deps":[{"name":"assert_cmd","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"assert_fs","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bzip2","req":"^0.5.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.19.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.35","features":["cargo","env","derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap-cargo","req":"^0.15.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap-verbosity-flag","req":"^3.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.26","features":["std"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"predicates","req":"^3.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reqwest","req":"^0.12.15","features":["blocking","rustls-tls"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"semver","req":"^1.0.26","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"solana-file-download","req":"^2.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tar","req":"^0.4.44","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"which","req":"^7.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a719fbd510158084e09a55a2b1ff729caaef9a157453c16f8940d8c5a977efa5","features":{"program":[]},"yanked":false,"pubtime":"2025-04-29T18:18:50Z"}
{"name":"cargo-certora-sbf","vers":"0.3.3","deps":[{"name":"assert_cmd","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"assert_fs","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bzip2","req":"^0.5.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.19.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.35","features":["cargo","env","derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap-cargo","req":"^0.15.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap-verbosity-flag","req":"^3.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.26","features":["std"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"predicates","req":"^3.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"reqwest","req":"^0.12.15","features":["blocking","rustls-tls"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"semver","req":"^1.0.26","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"solana-file-download","req":"^2.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tar","req":"^0.4.44","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"05d4c6ef56ad2ef877aa533fd0723cb92df1b5f4515edc8239b3397e3a215e42","features":{"program":[]},"yanked":false,"pubtime":"2026-03-02T17:12:00Z"}
{"name":"cargo-certora-sbf","vers":"0.3.4","deps":[{"name":"assert_cmd","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"assert_fs","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bzip2","req":"^0.5.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.19.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.35","features":["cargo","env","derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap-cargo","req":"^0.15.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap-verbosity-flag","req":"^3.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.26","features":["std"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"predicates","req":"^3.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"reqwest","req":"^0.12.15","features":["blocking","rustls-tls"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"semver","req":"^1.0.26","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"solana-file-download","req":"^2.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tar","req":"^0.4.44","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4d7c06888cb99423a0747650d883fa2eecbcab8cee18353913372f28673a607a","features":{"program":[]},"yanked":false,"pubtime":"2026-03-06T03:43:55Z"}
{"name":"cargo-certora-sbf","vers":"0.3.5","deps":[{"name":"assert_cmd","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"assert_fs","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"bzip2","req":"^0.5.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.19.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.35","features":["cargo","env","derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap-cargo","req":"^0.15.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap-verbosity-flag","req":"^3.0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.26","features":["std"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"predicates","req":"^3.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"reqwest","req":"^0.12.15","features":["blocking","rustls-tls"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"semver","req":"^1.0.26","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"solana-file-download","req":"^2.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tar","req":"^0.4.44","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b7a6cce63b0d1d5402a5904fd48723590b6ab19378abab65436b6832f5ae4b20","features":{"program":[]},"yanked":false,"pubtime":"2026-03-27T18:33:57Z"}