From 4449287fd096863fd0cc61bb6173d1b5e0e4fb3e Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 24 Sep 2026 02:45:58 +0000 Subject: [PATCH 1/4] build(deps): bump the rust-dependencies group across 5 directories with 6 updates Bumps the rust-dependencies group with 6 updates in the / directory: | Package | From | To | | --- | --- | --- | | [jsonschema](https://github.com/Stranger6667/jsonschema) | `0.55.1` | `0.56.0` | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | | [clap](https://github.com/clap-rs/clap) | `4.6.6` | `4.6.7` | | [jsonschema](https://github.com/Stranger6667/jsonschema) | `0.55.1` | `0.56.0` | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | | [clap](https://github.com/clap-rs/clap) | `4.6.6` | `4.6.7` | | [jsonschema](https://github.com/Stranger6667/jsonschema) | `0.55.1` | `0.56.0` | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | | [jsonschema](https://github.com/Stranger6667/jsonschema) | `0.55.1` | `0.56.0` | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | | [jsonschema](https://github.com/Stranger6667/jsonschema) | `0.55.1` | `0.56.0` | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | Bumps the rust-dependencies group with 6 updates in the /bindings/ffi directory: | Package | From | To | | --- | --- | --- | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | | [clap](https://github.com/clap-rs/clap) | `4.6.6` | `4.6.7` | | [jsonschema](https://github.com/Stranger6667/jsonschema) | `0.55.1` | `0.56.0` | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | | [clap](https://github.com/clap-rs/clap) | `4.6.6` | `4.6.7` | | [jsonschema](https://github.com/Stranger6667/jsonschema) | `0.55.1` | `0.56.0` | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | | [jsonschema](https://github.com/Stranger6667/jsonschema) | `0.55.1` | `0.56.0` | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | | [jsonschema](https://github.com/Stranger6667/jsonschema) | `0.55.1` | `0.56.0` | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | Bumps the rust-dependencies group with 5 updates in the /bindings/java directory: | Package | From | To | | --- | --- | --- | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | | [jsonschema](https://github.com/Stranger6667/jsonschema) | `0.55.1` | `0.56.0` | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | | [jsonschema](https://github.com/Stranger6667/jsonschema) | `0.55.1` | `0.56.0` | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | | [jsonschema](https://github.com/Stranger6667/jsonschema) | `0.55.1` | `0.56.0` | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | | [jsonschema](https://github.com/Stranger6667/jsonschema) | `0.55.1` | `0.56.0` | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | Bumps the rust-dependencies group with 5 updates in the /bindings/python directory: | Package | From | To | | --- | --- | --- | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | | [jsonschema](https://github.com/Stranger6667/jsonschema) | `0.55.1` | `0.56.0` | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | | [jsonschema](https://github.com/Stranger6667/jsonschema) | `0.55.1` | `0.56.0` | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | | [jsonschema](https://github.com/Stranger6667/jsonschema) | `0.55.1` | `0.56.0` | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | | [jsonschema](https://github.com/Stranger6667/jsonschema) | `0.55.1` | `0.56.0` | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | Bumps the rust-dependencies group with 5 updates in the /bindings/wasm directory: | Package | From | To | | --- | --- | --- | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | | [jsonschema](https://github.com/Stranger6667/jsonschema) | `0.55.1` | `0.56.0` | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | | [jsonschema](https://github.com/Stranger6667/jsonschema) | `0.55.1` | `0.56.0` | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | | [jsonschema](https://github.com/Stranger6667/jsonschema) | `0.55.1` | `0.56.0` | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | | [jsonschema](https://github.com/Stranger6667/jsonschema) | `0.55.1` | `0.56.0` | | [rand](https://github.com/rust-random/rand) | `0.10.2` | `0.10.3` | | [msvc_spectre_libs](https://github.com/microsoft/oxidizer) | `0.2.0` | `0.2.1` | | [vstd](https://github.com/verus-lang/verus) | `0.0.0-2026-09-06-0133` | `0.0.0-2026-09-20-0158` | | [cfg-if](https://github.com/rust-lang/cfg-if) | `1.0.4` | `1.0.5` | Updates `jsonschema` from 0.55.1 to 0.56.0 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.1...ruby-v0.56.0) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `clap` from 4.6.6 to 4.6.7 - [Release notes](https://github.com/clap-rs/clap/releases) - [Changelog](https://github.com/clap-rs/clap/blob/main/CHANGELOG.md) - [Commits](https://github.com/clap-rs/clap/compare/clap_complete-v4.6.6...clap_complete-v4.6.7) Updates `jsonschema` from 0.55.1 to 0.56.0 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.1...ruby-v0.56.0) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `clap` from 4.6.6 to 4.6.7 - [Release notes](https://github.com/clap-rs/clap/releases) - [Changelog](https://github.com/clap-rs/clap/blob/main/CHANGELOG.md) - [Commits](https://github.com/clap-rs/clap/compare/clap_complete-v4.6.6...clap_complete-v4.6.7) Updates `jsonschema` from 0.55.1 to 0.56.0 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.1...ruby-v0.56.0) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `jsonschema` from 0.55.1 to 0.56.0 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.1...ruby-v0.56.0) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `jsonschema` from 0.55.1 to 0.56.0 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.1...ruby-v0.56.0) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `clap` from 4.6.6 to 4.6.7 - [Release notes](https://github.com/clap-rs/clap/releases) - [Changelog](https://github.com/clap-rs/clap/blob/main/CHANGELOG.md) - [Commits](https://github.com/clap-rs/clap/compare/clap_complete-v4.6.6...clap_complete-v4.6.7) Updates `jsonschema` from 0.55.1 to 0.56.0 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.1...ruby-v0.56.0) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `clap` from 4.6.6 to 4.6.7 - [Release notes](https://github.com/clap-rs/clap/releases) - [Changelog](https://github.com/clap-rs/clap/blob/main/CHANGELOG.md) - [Commits](https://github.com/clap-rs/clap/compare/clap_complete-v4.6.6...clap_complete-v4.6.7) Updates `jsonschema` from 0.55.1 to 0.56.0 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.1...ruby-v0.56.0) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `jsonschema` from 0.55.1 to 0.56.0 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.1...ruby-v0.56.0) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `jsonschema` from 0.55.1 to 0.56.0 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.1...ruby-v0.56.0) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `jsonschema` from 0.55.1 to 0.56.0 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.1...ruby-v0.56.0) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `jsonschema` from 0.55.1 to 0.56.0 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.1...ruby-v0.56.0) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `jsonschema` from 0.55.1 to 0.56.0 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.1...ruby-v0.56.0) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `jsonschema` from 0.55.1 to 0.56.0 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.1...ruby-v0.56.0) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `jsonschema` from 0.55.1 to 0.56.0 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.1...ruby-v0.56.0) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `jsonschema` from 0.55.1 to 0.56.0 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.1...ruby-v0.56.0) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `jsonschema` from 0.55.1 to 0.56.0 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.1...ruby-v0.56.0) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `jsonschema` from 0.55.1 to 0.56.0 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.1...ruby-v0.56.0) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `jsonschema` from 0.55.1 to 0.56.0 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.1...ruby-v0.56.0) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `jsonschema` from 0.55.1 to 0.56.0 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.1...ruby-v0.56.0) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `jsonschema` from 0.55.1 to 0.56.0 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.1...ruby-v0.56.0) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) Updates `jsonschema` from 0.55.1 to 0.56.0 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.1...ruby-v0.56.0) Updates `rand` from 0.10.2 to 0.10.3 - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/0.10.2...0.10.3) Updates `msvc_spectre_libs` from 0.2.0 to 0.2.1 - [Release notes](https://github.com/microsoft/oxidizer/releases) - [Changelog](https://github.com/microsoft/oxidizer/blob/main/CHANGELOG.md) - [Commits](https://github.com/microsoft/oxidizer/compare/msvc_spectre_libs-v0.2.0...msvc_spectre_libs-v0.2.1) Updates `vstd` from 0.0.0-2026-09-06-0133 to 0.0.0-2026-09-20-0158 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `cfg-if` from 1.0.4 to 1.0.5 - [Release notes](https://github.com/rust-lang/cfg-if/releases) - [Changelog](https://github.com/rust-lang/cfg-if/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-lang/cfg-if/compare/v1.0.4...v1.0.5) --- updated-dependencies: - dependency-name: jsonschema dependency-version: 0.56.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: clap dependency-version: 4.6.7 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.56.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: clap dependency-version: 4.6.7 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.56.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.56.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.56.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: clap dependency-version: 4.6.7 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.56.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: clap dependency-version: 4.6.7 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.56.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.56.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.56.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.56.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.56.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.56.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.56.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.56.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.56.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.56.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.56.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.56.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.56.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.56.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.56.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: rand dependency-version: 0.10.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: msvc_spectre_libs dependency-version: 0.2.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-09-20-0158 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: cfg-if dependency-version: 1.0.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies ... Signed-off-by: dependabot[bot] --- Cargo.lock | 68 +++++++++++++++++++------------------- Cargo.toml | 4 +-- bindings/ffi/Cargo.lock | 66 ++++++++++++++++++------------------ bindings/java/Cargo.lock | 56 +++++++++++++++---------------- bindings/python/Cargo.lock | 56 +++++++++++++++---------------- bindings/ruby/Cargo.lock | 56 +++++++++++++++---------------- bindings/wasm/Cargo.lock | 56 +++++++++++++++---------------- 7 files changed, 181 insertions(+), 181 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 1064d25b..0c074976 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -184,9 +184,9 @@ dependencies = [ [[package]] name = "cfg-if" -version = "1.0.4" +version = "1.0.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801" +checksum = "4e7648175b45a9a48536d676f68d918270699102aa8dab5496df06904c914600" [[package]] name = "chacha20" @@ -251,9 +251,9 @@ dependencies = [ [[package]] name = "clap" -version = "4.6.6" +version = "4.6.7" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "473c7e07f409a8d772161724aa8db6a765a2532a70f9667eeb7b49d3d02fbdca" +checksum = "aa8876b300ab35ba921adea3dfd70157a46249b33f95c9084ae5709785478946" dependencies = [ "clap_builder", "clap_derive", @@ -261,9 +261,9 @@ dependencies = [ [[package]] name = "clap_builder" -version = "4.6.6" +version = "4.6.7" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "7b48fea5a88e9ae728a2dcbedbfc0e730f7d60da42e1cb049a83c9fb8b789889" +checksum = "ec0797fb7aeb1406c84efac526901f7ec3ead2124f946b494e72879d4b54704d" dependencies = [ "anstream", "anstyle", @@ -273,9 +273,9 @@ dependencies = [ [[package]] name = "clap_derive" -version = "4.6.4" +version = "4.6.7" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d012d2b9d65aca7f18f4d9878a045bc17899bba951561ba5ec3c2ba1eed9a061" +checksum = "f9c751b79415d4e559e3d1fcf128e09e720eb673a06d26cf6f392d37d75b66e0" dependencies = [ "heck", "proc-macro2 1.0.107", @@ -848,9 +848,9 @@ dependencies = [ [[package]] name = "jsonschema" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b68339c3d874e48151d74ffe256d93a58cffa240983cb0967d3cbaea083a44fe" +checksum = "b6a806f80c1f5560431009ce5ec29b59d38f950e0cd7db5f1b8925e6d8104e21" dependencies = [ "ahash", "bytecount", @@ -876,18 +876,18 @@ dependencies = [ [[package]] name = "jsonschema-regex" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6307b5b51216ec9b941b52244c74043fa0b1d6b657b56199f57cb1416d3641c5" +checksum = "cb862addfa7782108933abcf842fe25334523a9df5b89ea4d9620e3dd7b42181" dependencies = [ "regex-syntax", ] [[package]] name = "jsonschema-value" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "0230ac05e09c6111e96c147b75c390579f5cbd45654b980c68ac60fe17b3f129" +checksum = "a05cd404c5ff6e2731dbbf7e290a27417750acfb59e329560a1d0af384c93fb0" dependencies = [ "ahash", "bytecount", @@ -961,18 +961,18 @@ checksum = "c2a86d3146ed3995b5913c414f6664344b9617457320782e64f0bb44afd49d74" [[package]] name = "msvc_spectre_libs" -version = "0.2.0" +version = "0.2.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a7d875b8a00f64a354b2ed7c4c6c92f294997b64bc079bacdf6b58bdcd4ba454" +checksum = "867b239816dfe73c1623a59c5865d51597a825a6c94b07f8f9b576a6e274a3b6" dependencies = [ "msvc_spectre_libs_build", ] [[package]] name = "msvc_spectre_libs_build" -version = "0.1.0" +version = "0.1.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "feb7dc354576190586db234c41e482a81a16796f0cdf41203fe7b04e767ae9c5" +checksum = "a07e5704d9a91580f47259f03d641b1b1608a1dc9814ad1055867f181ff24cab" dependencies = [ "cc", "ohno", @@ -1078,9 +1078,9 @@ dependencies = [ [[package]] name = "ohno" -version = "0.5.0" +version = "0.5.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c6f03365c20a62c82c5da4cd93abf43cec7115c7d9f84a55ea827e2b56d704a5" +checksum = "67922df3646e8f0953af30e66647be24f02518cf1f4f160d021bc738182e333e" dependencies = [ "ohno_macros", "typeid", @@ -1088,18 +1088,18 @@ dependencies = [ [[package]] name = "ohno_macros" -version = "0.5.0" +version = "0.5.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "2a4ce72614cf218523160501f1c275d718c80083697d62d54186e41512429ba9" +checksum = "12528c18ca9d578146dfdf1407ffcd9daebfefda1949dd1c016b8832f83e2245" dependencies = [ "ohno_macros_impl", ] [[package]] name = "ohno_macros_impl" -version = "0.5.1" +version = "0.5.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "4a2711e52bb0de91b2d6a3c60636bac1827fb109003e235ed827dc9021287d0d" +checksum = "d2daefea908c4baf7a805b32f8bedd0955c54d8167e73a7584bf6793a3bd8afa" dependencies = [ "proc-macro2 1.0.107", "quote 1.0.47", @@ -1309,9 +1309,9 @@ checksum = "f8dcc9c7d52a811697d2151c701e0d08956f92b0e24136cf4cf27b57a6a0d9bf" [[package]] name = "rand" -version = "0.10.2" +version = "0.10.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c7f5fa3a058cd35567ef9bfa5e75732bee0f9e4c55fa90477bef2dfcdbc4be80" +checksum = "65c9fb96cbc91e3478eaae79a69fcd3f1ae4ad052e471fe6732fff548984b4af" dependencies = [ "chacha20", "getrandom 0.4.3", @@ -1375,9 +1375,9 @@ dependencies = [ [[package]] name = "referencing" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a196a5b4a8a12f46b6353174df865a05d41a6055aff212ec30877492788618b6" +checksum = "a3b4a92fac7e28c27de3ad26df2ecb9e652f227b258e845af034052e5b22c96c" dependencies = [ "ahash", "fluent-uri", @@ -1843,15 +1843,15 @@ checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a" [[package]] name = "verus_builtin" -version = "0.0.0-2026-09-06-0133" +version = "0.0.0-2026-09-16-0054" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "856c9979b5ed3b75a2371d8667602da1839ab0cbb3720a2c1c8a182bcdb27cf7" +checksum = "5e4a9e69d45ddbe303075756d3fc2fcc965eb9dc70c80651d0e4458a6af1ed83" [[package]] name = "verus_builtin_macros" -version = "0.0.0-2026-09-06-0133" +version = "0.0.0-2026-09-20-0158" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "466bb5ed102507ccbcd002410e73716c9eb27b602980d81bbd176860ace8a89b" +checksum = "213ca3e8a80925aec251d3f1952a213d6090156b58ad81dccc3a2f1fed77c99f" dependencies = [ "convert_case", "proc-macro2 1.0.107", @@ -1903,9 +1903,9 @@ checksum = "5c3082ca00d5a5ef149bb8b555a72ae84c9c59f7250f013ac822ac2e49b19c64" [[package]] name = "vstd" -version = "0.0.0-2026-09-06-0133" +version = "0.0.0-2026-09-20-0158" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9e5391d6f656ab9a485169f7e9fe87d3db1f0a6aa116fcb630dd0bef224170e7" +checksum = "bb7a36bbc0193492141eef73272853a5a8d73288bed1ea5344563b0382cdf7c9" dependencies = [ "verus_builtin", "verus_builtin_macros", diff --git a/Cargo.toml b/Cargo.toml index 8f947855..d791cc92 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -122,7 +122,7 @@ regex = {version = "1.12.3", optional = true, default-features = false } semver = {version = "1.0.28", optional = true, default-features = false } url = { version = "2.5.4", optional = true } uuid = { version = "1.22.0", default-features = false, features = ["v4", "fast-rng"], optional = true } -jsonschema = { version = "0.55.0", default-features = false, optional = true } +jsonschema = { version = "0.56.0", default-features = false, optional = true } chrono = { version = "0.4.44", optional = true } chrono-tz = { version = "0.10.1", optional = true } ipnet = { version = "2.12.0", optional = true, default-features = false } @@ -145,7 +145,7 @@ postcard = { version = "1.1.3", default-features = false, features = ["alloc"], # Verus-related dependencies. # In no_std builds only the `alloc` feature is used; the crate's `std` feature # additionally enables `vstd/std` (matching vstd's default features). -vstd = { version = "=0.0.0-2026-09-06-0133", default-features = false, features = ["alloc"] } +vstd = { version = "=0.0.0-2026-09-20-0158", default-features = false, features = ["alloc"] } [dev-dependencies] anyhow = "1.0.102" diff --git a/bindings/ffi/Cargo.lock b/bindings/ffi/Cargo.lock index e89b4a4c..43f2d81f 100644 --- a/bindings/ffi/Cargo.lock +++ b/bindings/ffi/Cargo.lock @@ -182,9 +182,9 @@ dependencies = [ [[package]] name = "cfg-if" -version = "1.0.4" +version = "1.0.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801" +checksum = "4e7648175b45a9a48536d676f68d918270699102aa8dab5496df06904c914600" [[package]] name = "chacha20" @@ -222,18 +222,18 @@ dependencies = [ [[package]] name = "clap" -version = "4.6.6" +version = "4.6.7" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "473c7e07f409a8d772161724aa8db6a765a2532a70f9667eeb7b49d3d02fbdca" +checksum = "aa8876b300ab35ba921adea3dfd70157a46249b33f95c9084ae5709785478946" dependencies = [ "clap_builder", ] [[package]] name = "clap_builder" -version = "4.6.6" +version = "4.6.7" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "7b48fea5a88e9ae728a2dcbedbfc0e730f7d60da42e1cb049a83c9fb8b789889" +checksum = "ec0797fb7aeb1406c84efac526901f7ec3ead2124f946b494e72879d4b54704d" dependencies = [ "anstream", "anstyle", @@ -698,9 +698,9 @@ dependencies = [ [[package]] name = "jsonschema" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b68339c3d874e48151d74ffe256d93a58cffa240983cb0967d3cbaea083a44fe" +checksum = "b6a806f80c1f5560431009ce5ec29b59d38f950e0cd7db5f1b8925e6d8104e21" dependencies = [ "ahash", "bytecount", @@ -726,18 +726,18 @@ dependencies = [ [[package]] name = "jsonschema-regex" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6307b5b51216ec9b941b52244c74043fa0b1d6b657b56199f57cb1416d3641c5" +checksum = "cb862addfa7782108933abcf842fe25334523a9df5b89ea4d9620e3dd7b42181" dependencies = [ "regex-syntax", ] [[package]] name = "jsonschema-value" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "0230ac05e09c6111e96c147b75c390579f5cbd45654b980c68ac60fe17b3f129" +checksum = "a05cd404c5ff6e2731dbbf7e290a27417750acfb59e329560a1d0af384c93fb0" dependencies = [ "ahash", "bytecount", @@ -814,18 +814,18 @@ checksum = "c2a86d3146ed3995b5913c414f6664344b9617457320782e64f0bb44afd49d74" [[package]] name = "msvc_spectre_libs" -version = "0.2.0" +version = "0.2.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a7d875b8a00f64a354b2ed7c4c6c92f294997b64bc079bacdf6b58bdcd4ba454" +checksum = "867b239816dfe73c1623a59c5865d51597a825a6c94b07f8f9b576a6e274a3b6" dependencies = [ "msvc_spectre_libs_build", ] [[package]] name = "msvc_spectre_libs_build" -version = "0.1.0" +version = "0.1.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "feb7dc354576190586db234c41e482a81a16796f0cdf41203fe7b04e767ae9c5" +checksum = "a07e5704d9a91580f47259f03d641b1b1608a1dc9814ad1055867f181ff24cab" dependencies = [ "cc", "ohno", @@ -921,9 +921,9 @@ dependencies = [ [[package]] name = "ohno" -version = "0.5.0" +version = "0.5.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c6f03365c20a62c82c5da4cd93abf43cec7115c7d9f84a55ea827e2b56d704a5" +checksum = "67922df3646e8f0953af30e66647be24f02518cf1f4f160d021bc738182e333e" dependencies = [ "ohno_macros", "typeid", @@ -931,18 +931,18 @@ dependencies = [ [[package]] name = "ohno_macros" -version = "0.5.0" +version = "0.5.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "2a4ce72614cf218523160501f1c275d718c80083697d62d54186e41512429ba9" +checksum = "12528c18ca9d578146dfdf1407ffcd9daebfefda1949dd1c016b8832f83e2245" dependencies = [ "ohno_macros_impl", ] [[package]] name = "ohno_macros_impl" -version = "0.5.1" +version = "0.5.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "4a2711e52bb0de91b2d6a3c60636bac1827fb109003e235ed827dc9021287d0d" +checksum = "d2daefea908c4baf7a805b32f8bedd0955c54d8167e73a7584bf6793a3bd8afa" dependencies = [ "proc-macro2", "quote", @@ -1075,9 +1075,9 @@ checksum = "f8dcc9c7d52a811697d2151c701e0d08956f92b0e24136cf4cf27b57a6a0d9bf" [[package]] name = "rand" -version = "0.10.2" +version = "0.10.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c7f5fa3a058cd35567ef9bfa5e75732bee0f9e4c55fa90477bef2dfcdbc4be80" +checksum = "65c9fb96cbc91e3478eaae79a69fcd3f1ae4ad052e471fe6732fff548984b4af" dependencies = [ "chacha20", "getrandom 0.4.3", @@ -1121,9 +1121,9 @@ dependencies = [ [[package]] name = "referencing" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a196a5b4a8a12f46b6353174df865a05d41a6055aff212ec30877492788618b6" +checksum = "a3b4a92fac7e28c27de3ad26df2ecb9e652f227b258e845af034052e5b22c96c" dependencies = [ "ahash", "fluent-uri", @@ -1418,7 +1418,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "32497e9a4c7b38532efcdebeef879707aa9f794296a4f0244f6f69e9bc8574bd" dependencies = [ "fastrand", - "getrandom 0.4.3", + "getrandom 0.3.4", "once_cell", "rustix", "windows-sys", @@ -1564,15 +1564,15 @@ checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a" [[package]] name = "verus_builtin" -version = "0.0.0-2026-09-06-0133" +version = "0.0.0-2026-09-16-0054" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "856c9979b5ed3b75a2371d8667602da1839ab0cbb3720a2c1c8a182bcdb27cf7" +checksum = "5e4a9e69d45ddbe303075756d3fc2fcc965eb9dc70c80651d0e4458a6af1ed83" [[package]] name = "verus_builtin_macros" -version = "0.0.0-2026-09-06-0133" +version = "0.0.0-2026-09-20-0158" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "466bb5ed102507ccbcd002410e73716c9eb27b602980d81bbd176860ace8a89b" +checksum = "213ca3e8a80925aec251d3f1952a213d6090156b58ad81dccc3a2f1fed77c99f" dependencies = [ "convert_case", "proc-macro2", @@ -1624,9 +1624,9 @@ checksum = "5c3082ca00d5a5ef149bb8b555a72ae84c9c59f7250f013ac822ac2e49b19c64" [[package]] name = "vstd" -version = "0.0.0-2026-09-06-0133" +version = "0.0.0-2026-09-20-0158" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9e5391d6f656ab9a485169f7e9fe87d3db1f0a6aa116fcb630dd0bef224170e7" +checksum = "bb7a36bbc0193492141eef73272853a5a8d73288bed1ea5344563b0382cdf7c9" dependencies = [ "verus_builtin", "verus_builtin_macros", diff --git a/bindings/java/Cargo.lock b/bindings/java/Cargo.lock index b4701ab8..bb58d344 100644 --- a/bindings/java/Cargo.lock +++ b/bindings/java/Cargo.lock @@ -119,9 +119,9 @@ dependencies = [ [[package]] name = "cfg-if" -version = "1.0.4" +version = "1.0.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801" +checksum = "4e7648175b45a9a48536d676f68d918270699102aa8dab5496df06904c914600" [[package]] name = "chacha20" @@ -587,9 +587,9 @@ dependencies = [ [[package]] name = "jsonschema" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b68339c3d874e48151d74ffe256d93a58cffa240983cb0967d3cbaea083a44fe" +checksum = "b6a806f80c1f5560431009ce5ec29b59d38f950e0cd7db5f1b8925e6d8104e21" dependencies = [ "ahash", "bytecount", @@ -615,18 +615,18 @@ dependencies = [ [[package]] name = "jsonschema-regex" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6307b5b51216ec9b941b52244c74043fa0b1d6b657b56199f57cb1416d3641c5" +checksum = "cb862addfa7782108933abcf842fe25334523a9df5b89ea4d9620e3dd7b42181" dependencies = [ "regex-syntax", ] [[package]] name = "jsonschema-value" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "0230ac05e09c6111e96c147b75c390579f5cbd45654b980c68ac60fe17b3f129" +checksum = "a05cd404c5ff6e2731dbbf7e290a27417750acfb59e329560a1d0af384c93fb0" dependencies = [ "ahash", "bytecount", @@ -697,18 +697,18 @@ checksum = "c2a86d3146ed3995b5913c414f6664344b9617457320782e64f0bb44afd49d74" [[package]] name = "msvc_spectre_libs" -version = "0.2.0" +version = "0.2.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a7d875b8a00f64a354b2ed7c4c6c92f294997b64bc079bacdf6b58bdcd4ba454" +checksum = "867b239816dfe73c1623a59c5865d51597a825a6c94b07f8f9b576a6e274a3b6" dependencies = [ "msvc_spectre_libs_build", ] [[package]] name = "msvc_spectre_libs_build" -version = "0.1.0" +version = "0.1.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "feb7dc354576190586db234c41e482a81a16796f0cdf41203fe7b04e767ae9c5" +checksum = "a07e5704d9a91580f47259f03d641b1b1608a1dc9814ad1055867f181ff24cab" dependencies = [ "cc", "ohno", @@ -804,9 +804,9 @@ dependencies = [ [[package]] name = "ohno" -version = "0.5.0" +version = "0.5.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c6f03365c20a62c82c5da4cd93abf43cec7115c7d9f84a55ea827e2b56d704a5" +checksum = "67922df3646e8f0953af30e66647be24f02518cf1f4f160d021bc738182e333e" dependencies = [ "ohno_macros", "typeid", @@ -814,18 +814,18 @@ dependencies = [ [[package]] name = "ohno_macros" -version = "0.5.0" +version = "0.5.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "2a4ce72614cf218523160501f1c275d718c80083697d62d54186e41512429ba9" +checksum = "12528c18ca9d578146dfdf1407ffcd9daebfefda1949dd1c016b8832f83e2245" dependencies = [ "ohno_macros_impl", ] [[package]] name = "ohno_macros_impl" -version = "0.5.1" +version = "0.5.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "4a2711e52bb0de91b2d6a3c60636bac1827fb109003e235ed827dc9021287d0d" +checksum = "d2daefea908c4baf7a805b32f8bedd0955c54d8167e73a7584bf6793a3bd8afa" dependencies = [ "proc-macro2", "quote", @@ -950,9 +950,9 @@ checksum = "f8dcc9c7d52a811697d2151c701e0d08956f92b0e24136cf4cf27b57a6a0d9bf" [[package]] name = "rand" -version = "0.10.2" +version = "0.10.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c7f5fa3a058cd35567ef9bfa5e75732bee0f9e4c55fa90477bef2dfcdbc4be80" +checksum = "65c9fb96cbc91e3478eaae79a69fcd3f1ae4ad052e471fe6732fff548984b4af" dependencies = [ "chacha20", "getrandom 0.4.3", @@ -996,9 +996,9 @@ dependencies = [ [[package]] name = "referencing" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a196a5b4a8a12f46b6353174df865a05d41a6055aff212ec30877492788618b6" +checksum = "a3b4a92fac7e28c27de3ad26df2ecb9e652f227b258e845af034052e5b22c96c" dependencies = [ "ahash", "fluent-uri", @@ -1382,15 +1382,15 @@ checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a" [[package]] name = "verus_builtin" -version = "0.0.0-2026-09-06-0133" +version = "0.0.0-2026-09-16-0054" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "856c9979b5ed3b75a2371d8667602da1839ab0cbb3720a2c1c8a182bcdb27cf7" +checksum = "5e4a9e69d45ddbe303075756d3fc2fcc965eb9dc70c80651d0e4458a6af1ed83" [[package]] name = "verus_builtin_macros" -version = "0.0.0-2026-09-06-0133" +version = "0.0.0-2026-09-20-0158" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "466bb5ed102507ccbcd002410e73716c9eb27b602980d81bbd176860ace8a89b" +checksum = "213ca3e8a80925aec251d3f1952a213d6090156b58ad81dccc3a2f1fed77c99f" dependencies = [ "convert_case", "proc-macro2", @@ -1442,9 +1442,9 @@ checksum = "5c3082ca00d5a5ef149bb8b555a72ae84c9c59f7250f013ac822ac2e49b19c64" [[package]] name = "vstd" -version = "0.0.0-2026-09-06-0133" +version = "0.0.0-2026-09-20-0158" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9e5391d6f656ab9a485169f7e9fe87d3db1f0a6aa116fcb630dd0bef224170e7" +checksum = "bb7a36bbc0193492141eef73272853a5a8d73288bed1ea5344563b0382cdf7c9" dependencies = [ "verus_builtin", "verus_builtin_macros", diff --git a/bindings/python/Cargo.lock b/bindings/python/Cargo.lock index 47dfaf25..f8cf0d66 100644 --- a/bindings/python/Cargo.lock +++ b/bindings/python/Cargo.lock @@ -113,9 +113,9 @@ dependencies = [ [[package]] name = "cfg-if" -version = "1.0.4" +version = "1.0.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801" +checksum = "4e7648175b45a9a48536d676f68d918270699102aa8dab5496df06904c914600" [[package]] name = "chacha20" @@ -522,9 +522,9 @@ dependencies = [ [[package]] name = "jsonschema" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b68339c3d874e48151d74ffe256d93a58cffa240983cb0967d3cbaea083a44fe" +checksum = "b6a806f80c1f5560431009ce5ec29b59d38f950e0cd7db5f1b8925e6d8104e21" dependencies = [ "ahash", "bytecount", @@ -550,18 +550,18 @@ dependencies = [ [[package]] name = "jsonschema-regex" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6307b5b51216ec9b941b52244c74043fa0b1d6b657b56199f57cb1416d3641c5" +checksum = "cb862addfa7782108933abcf842fe25334523a9df5b89ea4d9620e3dd7b42181" dependencies = [ "regex-syntax", ] [[package]] name = "jsonschema-value" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "0230ac05e09c6111e96c147b75c390579f5cbd45654b980c68ac60fe17b3f129" +checksum = "a05cd404c5ff6e2731dbbf7e290a27417750acfb59e329560a1d0af384c93fb0" dependencies = [ "ahash", "bytecount", @@ -632,18 +632,18 @@ checksum = "c2a86d3146ed3995b5913c414f6664344b9617457320782e64f0bb44afd49d74" [[package]] name = "msvc_spectre_libs" -version = "0.2.0" +version = "0.2.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a7d875b8a00f64a354b2ed7c4c6c92f294997b64bc079bacdf6b58bdcd4ba454" +checksum = "867b239816dfe73c1623a59c5865d51597a825a6c94b07f8f9b576a6e274a3b6" dependencies = [ "msvc_spectre_libs_build", ] [[package]] name = "msvc_spectre_libs_build" -version = "0.1.0" +version = "0.1.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "feb7dc354576190586db234c41e482a81a16796f0cdf41203fe7b04e767ae9c5" +checksum = "a07e5704d9a91580f47259f03d641b1b1608a1dc9814ad1055867f181ff24cab" dependencies = [ "cc", "ohno", @@ -739,9 +739,9 @@ dependencies = [ [[package]] name = "ohno" -version = "0.5.0" +version = "0.5.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c6f03365c20a62c82c5da4cd93abf43cec7115c7d9f84a55ea827e2b56d704a5" +checksum = "67922df3646e8f0953af30e66647be24f02518cf1f4f160d021bc738182e333e" dependencies = [ "ohno_macros", "typeid", @@ -749,18 +749,18 @@ dependencies = [ [[package]] name = "ohno_macros" -version = "0.5.0" +version = "0.5.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "2a4ce72614cf218523160501f1c275d718c80083697d62d54186e41512429ba9" +checksum = "12528c18ca9d578146dfdf1407ffcd9daebfefda1949dd1c016b8832f83e2245" dependencies = [ "ohno_macros_impl", ] [[package]] name = "ohno_macros_impl" -version = "0.5.1" +version = "0.5.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "4a2711e52bb0de91b2d6a3c60636bac1827fb109003e235ed827dc9021287d0d" +checksum = "d2daefea908c4baf7a805b32f8bedd0955c54d8167e73a7584bf6793a3bd8afa" dependencies = [ "proc-macro2", "quote", @@ -958,9 +958,9 @@ checksum = "f8dcc9c7d52a811697d2151c701e0d08956f92b0e24136cf4cf27b57a6a0d9bf" [[package]] name = "rand" -version = "0.10.2" +version = "0.10.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c7f5fa3a058cd35567ef9bfa5e75732bee0f9e4c55fa90477bef2dfcdbc4be80" +checksum = "65c9fb96cbc91e3478eaae79a69fcd3f1ae4ad052e471fe6732fff548984b4af" dependencies = [ "chacha20", "getrandom 0.4.3", @@ -1004,9 +1004,9 @@ dependencies = [ [[package]] name = "referencing" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a196a5b4a8a12f46b6353174df865a05d41a6055aff212ec30877492788618b6" +checksum = "a3b4a92fac7e28c27de3ad26df2ecb9e652f227b258e845af034052e5b22c96c" dependencies = [ "ahash", "fluent-uri", @@ -1363,15 +1363,15 @@ checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a" [[package]] name = "verus_builtin" -version = "0.0.0-2026-09-06-0133" +version = "0.0.0-2026-09-16-0054" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "856c9979b5ed3b75a2371d8667602da1839ab0cbb3720a2c1c8a182bcdb27cf7" +checksum = "5e4a9e69d45ddbe303075756d3fc2fcc965eb9dc70c80651d0e4458a6af1ed83" [[package]] name = "verus_builtin_macros" -version = "0.0.0-2026-09-06-0133" +version = "0.0.0-2026-09-20-0158" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "466bb5ed102507ccbcd002410e73716c9eb27b602980d81bbd176860ace8a89b" +checksum = "213ca3e8a80925aec251d3f1952a213d6090156b58ad81dccc3a2f1fed77c99f" dependencies = [ "convert_case", "proc-macro2", @@ -1423,9 +1423,9 @@ checksum = "5c3082ca00d5a5ef149bb8b555a72ae84c9c59f7250f013ac822ac2e49b19c64" [[package]] name = "vstd" -version = "0.0.0-2026-09-06-0133" +version = "0.0.0-2026-09-20-0158" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9e5391d6f656ab9a485169f7e9fe87d3db1f0a6aa116fcb630dd0bef224170e7" +checksum = "bb7a36bbc0193492141eef73272853a5a8d73288bed1ea5344563b0382cdf7c9" dependencies = [ "verus_builtin", "verus_builtin_macros", diff --git a/bindings/ruby/Cargo.lock b/bindings/ruby/Cargo.lock index c4386b58..7bfddade 100644 --- a/bindings/ruby/Cargo.lock +++ b/bindings/ruby/Cargo.lock @@ -140,9 +140,9 @@ dependencies = [ [[package]] name = "cfg-if" -version = "1.0.4" +version = "1.0.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801" +checksum = "4e7648175b45a9a48536d676f68d918270699102aa8dab5496df06904c914600" [[package]] name = "chacha20" @@ -560,9 +560,9 @@ dependencies = [ [[package]] name = "jsonschema" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b68339c3d874e48151d74ffe256d93a58cffa240983cb0967d3cbaea083a44fe" +checksum = "b6a806f80c1f5560431009ce5ec29b59d38f950e0cd7db5f1b8925e6d8104e21" dependencies = [ "ahash", "bytecount", @@ -588,18 +588,18 @@ dependencies = [ [[package]] name = "jsonschema-regex" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6307b5b51216ec9b941b52244c74043fa0b1d6b657b56199f57cb1416d3641c5" +checksum = "cb862addfa7782108933abcf842fe25334523a9df5b89ea4d9620e3dd7b42181" dependencies = [ "regex-syntax", ] [[package]] name = "jsonschema-value" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "0230ac05e09c6111e96c147b75c390579f5cbd45654b980c68ac60fe17b3f129" +checksum = "a05cd404c5ff6e2731dbbf7e290a27417750acfb59e329560a1d0af384c93fb0" dependencies = [ "ahash", "bytecount", @@ -709,18 +709,18 @@ checksum = "68354c5c6bd36d73ff3feceb05efa59b6acb7626617f4962be322a825e61f79a" [[package]] name = "msvc_spectre_libs" -version = "0.2.0" +version = "0.2.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a7d875b8a00f64a354b2ed7c4c6c92f294997b64bc079bacdf6b58bdcd4ba454" +checksum = "867b239816dfe73c1623a59c5865d51597a825a6c94b07f8f9b576a6e274a3b6" dependencies = [ "msvc_spectre_libs_build", ] [[package]] name = "msvc_spectre_libs_build" -version = "0.1.0" +version = "0.1.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "feb7dc354576190586db234c41e482a81a16796f0cdf41203fe7b04e767ae9c5" +checksum = "a07e5704d9a91580f47259f03d641b1b1608a1dc9814ad1055867f181ff24cab" dependencies = [ "cc", "ohno", @@ -826,9 +826,9 @@ dependencies = [ [[package]] name = "ohno" -version = "0.5.0" +version = "0.5.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c6f03365c20a62c82c5da4cd93abf43cec7115c7d9f84a55ea827e2b56d704a5" +checksum = "67922df3646e8f0953af30e66647be24f02518cf1f4f160d021bc738182e333e" dependencies = [ "ohno_macros", "typeid", @@ -836,18 +836,18 @@ dependencies = [ [[package]] name = "ohno_macros" -version = "0.5.0" +version = "0.5.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "2a4ce72614cf218523160501f1c275d718c80083697d62d54186e41512429ba9" +checksum = "12528c18ca9d578146dfdf1407ffcd9daebfefda1949dd1c016b8832f83e2245" dependencies = [ "ohno_macros_impl", ] [[package]] name = "ohno_macros_impl" -version = "0.5.1" +version = "0.5.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "4a2711e52bb0de91b2d6a3c60636bac1827fb109003e235ed827dc9021287d0d" +checksum = "d2daefea908c4baf7a805b32f8bedd0955c54d8167e73a7584bf6793a3bd8afa" dependencies = [ "proc-macro2", "quote", @@ -960,9 +960,9 @@ checksum = "f8dcc9c7d52a811697d2151c701e0d08956f92b0e24136cf4cf27b57a6a0d9bf" [[package]] name = "rand" -version = "0.10.2" +version = "0.10.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c7f5fa3a058cd35567ef9bfa5e75732bee0f9e4c55fa90477bef2dfcdbc4be80" +checksum = "65c9fb96cbc91e3478eaae79a69fcd3f1ae4ad052e471fe6732fff548984b4af" dependencies = [ "chacha20", "getrandom 0.4.3", @@ -1036,9 +1036,9 @@ dependencies = [ [[package]] name = "referencing" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a196a5b4a8a12f46b6353174df865a05d41a6055aff212ec30877492788618b6" +checksum = "a3b4a92fac7e28c27de3ad26df2ecb9e652f227b258e845af034052e5b22c96c" dependencies = [ "ahash", "fluent-uri", @@ -1429,15 +1429,15 @@ checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a" [[package]] name = "verus_builtin" -version = "0.0.0-2026-09-06-0133" +version = "0.0.0-2026-09-16-0054" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "856c9979b5ed3b75a2371d8667602da1839ab0cbb3720a2c1c8a182bcdb27cf7" +checksum = "5e4a9e69d45ddbe303075756d3fc2fcc965eb9dc70c80651d0e4458a6af1ed83" [[package]] name = "verus_builtin_macros" -version = "0.0.0-2026-09-06-0133" +version = "0.0.0-2026-09-20-0158" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "466bb5ed102507ccbcd002410e73716c9eb27b602980d81bbd176860ace8a89b" +checksum = "213ca3e8a80925aec251d3f1952a213d6090156b58ad81dccc3a2f1fed77c99f" dependencies = [ "convert_case", "proc-macro2", @@ -1489,9 +1489,9 @@ checksum = "5c3082ca00d5a5ef149bb8b555a72ae84c9c59f7250f013ac822ac2e49b19c64" [[package]] name = "vstd" -version = "0.0.0-2026-09-06-0133" +version = "0.0.0-2026-09-20-0158" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9e5391d6f656ab9a485169f7e9fe87d3db1f0a6aa116fcb630dd0bef224170e7" +checksum = "bb7a36bbc0193492141eef73272853a5a8d73288bed1ea5344563b0382cdf7c9" dependencies = [ "verus_builtin", "verus_builtin_macros", diff --git a/bindings/wasm/Cargo.lock b/bindings/wasm/Cargo.lock index 902ccb5f..63ca0cf5 100644 --- a/bindings/wasm/Cargo.lock +++ b/bindings/wasm/Cargo.lock @@ -130,9 +130,9 @@ dependencies = [ [[package]] name = "cfg-if" -version = "1.0.4" +version = "1.0.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801" +checksum = "4e7648175b45a9a48536d676f68d918270699102aa8dab5496df06904c914600" [[package]] name = "chacha20" @@ -554,9 +554,9 @@ dependencies = [ [[package]] name = "jsonschema" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b68339c3d874e48151d74ffe256d93a58cffa240983cb0967d3cbaea083a44fe" +checksum = "b6a806f80c1f5560431009ce5ec29b59d38f950e0cd7db5f1b8925e6d8104e21" dependencies = [ "ahash", "bytecount", @@ -582,18 +582,18 @@ dependencies = [ [[package]] name = "jsonschema-regex" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6307b5b51216ec9b941b52244c74043fa0b1d6b657b56199f57cb1416d3641c5" +checksum = "cb862addfa7782108933abcf842fe25334523a9df5b89ea4d9620e3dd7b42181" dependencies = [ "regex-syntax", ] [[package]] name = "jsonschema-value" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "0230ac05e09c6111e96c147b75c390579f5cbd45654b980c68ac60fe17b3f129" +checksum = "a05cd404c5ff6e2731dbbf7e290a27417750acfb59e329560a1d0af384c93fb0" dependencies = [ "ahash", "bytecount", @@ -680,18 +680,18 @@ dependencies = [ [[package]] name = "msvc_spectre_libs" -version = "0.2.0" +version = "0.2.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a7d875b8a00f64a354b2ed7c4c6c92f294997b64bc079bacdf6b58bdcd4ba454" +checksum = "867b239816dfe73c1623a59c5865d51597a825a6c94b07f8f9b576a6e274a3b6" dependencies = [ "msvc_spectre_libs_build", ] [[package]] name = "msvc_spectre_libs_build" -version = "0.1.0" +version = "0.1.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "feb7dc354576190586db234c41e482a81a16796f0cdf41203fe7b04e767ae9c5" +checksum = "a07e5704d9a91580f47259f03d641b1b1608a1dc9814ad1055867f181ff24cab" dependencies = [ "cc", "ohno", @@ -797,9 +797,9 @@ dependencies = [ [[package]] name = "ohno" -version = "0.5.0" +version = "0.5.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c6f03365c20a62c82c5da4cd93abf43cec7115c7d9f84a55ea827e2b56d704a5" +checksum = "67922df3646e8f0953af30e66647be24f02518cf1f4f160d021bc738182e333e" dependencies = [ "ohno_macros", "typeid", @@ -807,18 +807,18 @@ dependencies = [ [[package]] name = "ohno_macros" -version = "0.5.0" +version = "0.5.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "2a4ce72614cf218523160501f1c275d718c80083697d62d54186e41512429ba9" +checksum = "12528c18ca9d578146dfdf1407ffcd9daebfefda1949dd1c016b8832f83e2245" dependencies = [ "ohno_macros_impl", ] [[package]] name = "ohno_macros_impl" -version = "0.5.1" +version = "0.5.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "4a2711e52bb0de91b2d6a3c60636bac1827fb109003e235ed827dc9021287d0d" +checksum = "d2daefea908c4baf7a805b32f8bedd0955c54d8167e73a7584bf6793a3bd8afa" dependencies = [ "proc-macro2", "quote", @@ -949,9 +949,9 @@ checksum = "f8dcc9c7d52a811697d2151c701e0d08956f92b0e24136cf4cf27b57a6a0d9bf" [[package]] name = "rand" -version = "0.10.2" +version = "0.10.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c7f5fa3a058cd35567ef9bfa5e75732bee0f9e4c55fa90477bef2dfcdbc4be80" +checksum = "65c9fb96cbc91e3478eaae79a69fcd3f1ae4ad052e471fe6732fff548984b4af" dependencies = [ "chacha20", "getrandom 0.4.3", @@ -995,9 +995,9 @@ dependencies = [ [[package]] name = "referencing" -version = "0.55.1" +version = "0.56.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a196a5b4a8a12f46b6353174df865a05d41a6055aff212ec30877492788618b6" +checksum = "a3b4a92fac7e28c27de3ad26df2ecb9e652f227b258e845af034052e5b22c96c" dependencies = [ "ahash", "fluent-uri", @@ -1360,15 +1360,15 @@ checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a" [[package]] name = "verus_builtin" -version = "0.0.0-2026-09-06-0133" +version = "0.0.0-2026-09-16-0054" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "856c9979b5ed3b75a2371d8667602da1839ab0cbb3720a2c1c8a182bcdb27cf7" +checksum = "5e4a9e69d45ddbe303075756d3fc2fcc965eb9dc70c80651d0e4458a6af1ed83" [[package]] name = "verus_builtin_macros" -version = "0.0.0-2026-09-06-0133" +version = "0.0.0-2026-09-20-0158" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "466bb5ed102507ccbcd002410e73716c9eb27b602980d81bbd176860ace8a89b" +checksum = "213ca3e8a80925aec251d3f1952a213d6090156b58ad81dccc3a2f1fed77c99f" dependencies = [ "convert_case", "proc-macro2", @@ -1420,9 +1420,9 @@ checksum = "5c3082ca00d5a5ef149bb8b555a72ae84c9c59f7250f013ac822ac2e49b19c64" [[package]] name = "vstd" -version = "0.0.0-2026-09-06-0133" +version = "0.0.0-2026-09-20-0158" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9e5391d6f656ab9a485169f7e9fe87d3db1f0a6aa116fcb630dd0bef224170e7" +checksum = "bb7a36bbc0193492141eef73272853a5a8d73288bed1ea5344563b0382cdf7c9" dependencies = [ "verus_builtin", "verus_builtin_macros", From 5de0334e35c0a699885efc6f8440e8733355eea3 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Thu, 24 Sep 2026 02:46:23 +0000 Subject: [PATCH 2/4] build(deps): refresh Cargo lockfiles --- Cargo.lock | 81 ++++++++++++++++++++++---------------- bindings/ffi/Cargo.lock | 81 ++++++++++++++++++++++---------------- bindings/java/Cargo.lock | 71 +++++++++++++++++++-------------- bindings/python/Cargo.lock | 71 +++++++++++++++++++-------------- bindings/ruby/Cargo.lock | 71 +++++++++++++++++++-------------- bindings/wasm/Cargo.lock | 75 ++++++++++++++++++++--------------- 6 files changed, 258 insertions(+), 192 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 0c074976..754eafb9 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -174,9 +174,9 @@ checksum = "37b2a672a2cb129a2e41c10b1224bb368f9f37a2b16b612598138befd7b37eb5" [[package]] name = "cc" -version = "1.4.6" +version = "1.4.7" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a3eb0f42d6c360dc3f8a821f6bf2fdea7f72bfd36b3076eb0e6d1e9e0752fff4" +checksum = "54413ede23c2daf518f35156dfde027feb2374004d63bd497f983c8db9c0e313" dependencies = [ "find-msvc-tools", "shlex", @@ -280,14 +280,14 @@ dependencies = [ "heck", "proc-macro2 1.0.107", "quote 1.0.47", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] name = "clap_lex" -version = "1.1.0" +version = "1.1.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c8d4a3bb8b1e0c1050499d1815f5ab16d04f0959b233085fb31653fbfc9d98f9" +checksum = "1c133bc6a41be0d194c306b5506d15e6feeea7b1d6604bd3f8310dfb2ca96486" [[package]] name = "cobs" @@ -428,7 +428,7 @@ checksum = "c6232dd377dcc64799954cbd3a9bb882e9cdc1308ccd87b1c098f1fb2eaf82a8" dependencies = [ "proc-macro2 1.0.107", "quote 1.0.47", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -485,9 +485,9 @@ dependencies = [ [[package]] name = "find-msvc-tools" -version = "0.1.12" +version = "0.1.13" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3e0f1c7c3a72c66fd80abe965175f7523475c0489a87d3ff9d6e8c87d87a9d2d" +checksum = "ef25905e51abafe4dcea6c15fec58c57b601cdbd0ee53d22ea1d3016c587d39b" [[package]] name = "flate2" @@ -943,9 +943,9 @@ checksum = "f9f8bd3e56ce4dfc153cf470fffbfa98c7620958b312ca5c3a4b8d5181fd13c6" [[package]] name = "lru" -version = "0.18.4" +version = "0.18.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ff9840bcc50b71349309900da0ce7279aa336ae71d73250b07998932c7d97c25" +checksum = "ef9ac18847474e638e3702b76c65d4eb93428471a74778ef0f1be711717f89b5" [[package]] name = "memchr" @@ -1103,7 +1103,7 @@ checksum = "d2daefea908c4baf7a805b32f8bedd0955c54d8167e73a7584bf6793a3bd8afa" dependencies = [ "proc-macro2 1.0.107", "quote 1.0.47", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1370,7 +1370,7 @@ checksum = "92ecd8964f8453721699a1ed72037b0db49ce2f5a5138486ee89bed6f67cdf3a" dependencies = [ "proc-macro2 1.0.107", "quote 1.0.47", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1536,7 +1536,7 @@ checksum = "e7a5d71263a5a7d47b41f6b3f06ba276f10cc18b0931f1799f710578e2309348" dependencies = [ "proc-macro2 1.0.107", "quote 1.0.47", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1651,9 +1651,9 @@ dependencies = [ [[package]] name = "syn" -version = "3.0.5" +version = "3.0.6" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "12df2e0110f65b775f769bb17ef989067a1d931b2eb822bd4346631eeada89f9" +checksum = "8593e8e72159ed2257d083c7a454a85cbf854f37a0966d8d483aff8c8a3ebcee" dependencies = [ "proc-macro2 1.0.107", "quote 1.0.47", @@ -1671,6 +1671,17 @@ dependencies = [ "syn 2.0.119", ] +[[package]] +name = "synstructure" +version = "0.14.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "901704edd0dfe137f1987838ee4f259e4e063c31371bdb423f7ae38ec6f77f02" +dependencies = [ + "proc-macro2 1.0.107", + "quote 1.0.47", + "syn 3.0.6", +] + [[package]] name = "test-generator" version = "0.3.1" @@ -1685,22 +1696,22 @@ dependencies = [ [[package]] name = "thiserror" -version = "2.0.20" +version = "2.0.21" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ec86235f5fcc2a73650310756d2ac5b138a5780bbbdfae3eeccec992c435ba4f" +checksum = "09e52cb86a36cede5cb101bf8908837b3e4c6e5e59fe7fd85c23fb56200d189e" dependencies = [ "thiserror-impl", ] [[package]] name = "thiserror-impl" -version = "2.0.20" +version = "2.0.21" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "bc04cd3e1236dd4a98afca4569f2deb3f120e5422a4023be2cb683f8486292af" +checksum = "fe5197923287db20a58125f0bc85c062f7f2c892de97b18c356f9efb14b28524" dependencies = [ "proc-macro2 1.0.107", "quote 1.0.47", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1781,9 +1792,9 @@ checksum = "0b993bddc193ae5bd0d623b49ec06ac3e9312875fdae725a975c51db1cc1677f" [[package]] name = "unicode-ident" -version = "1.0.24" +version = "1.0.26" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75" +checksum = "d245f478577f809a851594d02313b640fb437e0bb33866753cff937863096954" [[package]] name = "unicode-xid" @@ -1857,7 +1868,7 @@ dependencies = [ "proc-macro2 1.0.107", "quote 1.0.47", "syn 2.0.119", - "synstructure", + "synstructure 0.13.2", "verus_prettyplease", "verus_syn", ] @@ -1963,7 +1974,7 @@ dependencies = [ "bumpalo", "proc-macro2 1.0.107", "quote 1.0.47", - "syn 3.0.5", + "syn 3.0.6", "wasm-bindgen-shared", ] @@ -2144,14 +2155,14 @@ dependencies = [ [[package]] name = "yoke-derive" -version = "0.8.2" +version = "0.8.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "de844c262c8848816172cef550288e7dc6c7b7814b4ee56b3e1553f275f1858e" +checksum = "33811428bee40dbceb6d545e95754741d17a6aef9a4849f0fd62e2ba4f412a78" dependencies = [ "proc-macro2 1.0.107", "quote 1.0.47", - "syn 2.0.119", - "synstructure", + "syn 3.0.6", + "synstructure 0.14.0", ] [[package]] @@ -2185,14 +2196,14 @@ dependencies = [ [[package]] name = "zerofrom-derive" -version = "0.1.7" +version = "0.1.8" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "11532158c46691caf0f2593ea8358fed6bbf68a0315e80aae9bd41fbade684a1" +checksum = "f75b4683f6c7f45248d4d64056a24298c6281e0993356d7d1b4a1a962ef10d4a" dependencies = [ "proc-macro2 1.0.107", "quote 1.0.47", - "syn 2.0.119", - "synstructure", + "syn 3.0.6", + "synstructure 0.14.0", ] [[package]] @@ -2227,7 +2238,7 @@ checksum = "34df6fc39dbd26ddc9c10e6a2984476e13acce22e64e4487636ef494369225da" dependencies = [ "proc-macro2 1.0.107", "quote 1.0.47", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -2246,9 +2257,9 @@ dependencies = [ [[package]] name = "zlib-rs" -version = "0.6.7" +version = "0.6.8" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "34b31d188d9d685a4f9c7b46d6e36631b07058d2cfe190267adce54dc230bf12" +checksum = "b268e58e7c693d7c271f93ffc4ba3b380412554231c85bf61ca7af91042a4112" [[package]] name = "zmij" diff --git a/bindings/ffi/Cargo.lock b/bindings/ffi/Cargo.lock index 43f2d81f..355fd935 100644 --- a/bindings/ffi/Cargo.lock +++ b/bindings/ffi/Cargo.lock @@ -172,9 +172,9 @@ dependencies = [ [[package]] name = "cc" -version = "1.4.6" +version = "1.4.7" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a3eb0f42d6c360dc3f8a821f6bf2fdea7f72bfd36b3076eb0e6d1e9e0752fff4" +checksum = "54413ede23c2daf518f35156dfde027feb2374004d63bd497f983c8db9c0e313" dependencies = [ "find-msvc-tools", "shlex", @@ -243,9 +243,9 @@ dependencies = [ [[package]] name = "clap_lex" -version = "1.1.0" +version = "1.1.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c8d4a3bb8b1e0c1050499d1815f5ab16d04f0959b233085fb31653fbfc9d98f9" +checksum = "1c133bc6a41be0d194c306b5506d15e6feeea7b1d6604bd3f8310dfb2ca96486" [[package]] name = "cobs" @@ -317,7 +317,7 @@ checksum = "c6232dd377dcc64799954cbd3a9bb882e9cdc1308ccd87b1c098f1fb2eaf82a8" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -376,9 +376,9 @@ checksum = "da7c62ceae207dd37ea5b845da6a0696c799f85e97da1ab5b7910be3c1c80223" [[package]] name = "find-msvc-tools" -version = "0.1.12" +version = "0.1.13" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3e0f1c7c3a72c66fd80abe965175f7523475c0489a87d3ff9d6e8c87d87a9d2d" +checksum = "ef25905e51abafe4dcea6c15fec58c57b601cdbd0ee53d22ea1d3016c587d39b" [[package]] name = "fluent-uri" @@ -796,9 +796,9 @@ checksum = "f9f8bd3e56ce4dfc153cf470fffbfa98c7620958b312ca5c3a4b8d5181fd13c6" [[package]] name = "lru" -version = "0.18.4" +version = "0.18.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ff9840bcc50b71349309900da0ce7279aa336ae71d73250b07998932c7d97c25" +checksum = "ef9ac18847474e638e3702b76c65d4eb93428471a74778ef0f1be711717f89b5" [[package]] name = "memchr" @@ -946,7 +946,7 @@ checksum = "d2daefea908c4baf7a805b32f8bedd0955c54d8167e73a7584bf6793a3bd8afa" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1116,7 +1116,7 @@ checksum = "92ecd8964f8453721699a1ed72037b0db49ce2f5a5138486ee89bed6f67cdf3a" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1228,9 +1228,9 @@ dependencies = [ [[package]] name = "rustix" -version = "1.1.4" +version = "1.1.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b6fe4565b9518b83ef4f91bb47ce29620ca828bd32cb7e408f0062e9930ba190" +checksum = "891efababe418670775f199f0d233d84843c227a0949a883ce15b37c78d6629d" dependencies = [ "bitflags", "errno", @@ -1290,7 +1290,7 @@ checksum = "e7a5d71263a5a7d47b41f6b3f06ba276f10cc18b0931f1799f710578e2309348" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1391,9 +1391,9 @@ dependencies = [ [[package]] name = "syn" -version = "3.0.5" +version = "3.0.6" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "12df2e0110f65b775f769bb17ef989067a1d931b2eb822bd4346631eeada89f9" +checksum = "8593e8e72159ed2257d083c7a454a85cbf854f37a0966d8d483aff8c8a3ebcee" dependencies = [ "proc-macro2", "quote", @@ -1411,6 +1411,17 @@ dependencies = [ "syn 2.0.119", ] +[[package]] +name = "synstructure" +version = "0.14.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "901704edd0dfe137f1987838ee4f259e4e063c31371bdb423f7ae38ec6f77f02" +dependencies = [ + "proc-macro2", + "quote", + "syn 3.0.6", +] + [[package]] name = "tempfile" version = "3.27.0" @@ -1418,7 +1429,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "32497e9a4c7b38532efcdebeef879707aa9f794296a4f0244f6f69e9bc8574bd" dependencies = [ "fastrand", - "getrandom 0.3.4", + "getrandom 0.4.3", "once_cell", "rustix", "windows-sys", @@ -1426,22 +1437,22 @@ dependencies = [ [[package]] name = "thiserror" -version = "2.0.20" +version = "2.0.21" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ec86235f5fcc2a73650310756d2ac5b138a5780bbbdfae3eeccec992c435ba4f" +checksum = "09e52cb86a36cede5cb101bf8908837b3e4c6e5e59fe7fd85c23fb56200d189e" dependencies = [ "thiserror-impl", ] [[package]] name = "thiserror-impl" -version = "2.0.20" +version = "2.0.21" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "bc04cd3e1236dd4a98afca4569f2deb3f120e5422a4023be2cb683f8486292af" +checksum = "fe5197923287db20a58125f0bc85c062f7f2c892de97b18c356f9efb14b28524" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1508,9 +1519,9 @@ checksum = "0b993bddc193ae5bd0d623b49ec06ac3e9312875fdae725a975c51db1cc1677f" [[package]] name = "unicode-ident" -version = "1.0.24" +version = "1.0.26" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75" +checksum = "d245f478577f809a851594d02313b640fb437e0bb33866753cff937863096954" [[package]] name = "url" @@ -1578,7 +1589,7 @@ dependencies = [ "proc-macro2", "quote", "syn 2.0.119", - "synstructure", + "synstructure 0.13.2", "verus_prettyplease", "verus_syn", ] @@ -1674,7 +1685,7 @@ dependencies = [ "bumpalo", "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", "wasm-bindgen-shared", ] @@ -1805,14 +1816,14 @@ dependencies = [ [[package]] name = "yoke-derive" -version = "0.8.2" +version = "0.8.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "de844c262c8848816172cef550288e7dc6c7b7814b4ee56b3e1553f275f1858e" +checksum = "33811428bee40dbceb6d545e95754741d17a6aef9a4849f0fd62e2ba4f412a78" dependencies = [ "proc-macro2", "quote", - "syn 2.0.119", - "synstructure", + "syn 3.0.6", + "synstructure 0.14.0", ] [[package]] @@ -1846,14 +1857,14 @@ dependencies = [ [[package]] name = "zerofrom-derive" -version = "0.1.7" +version = "0.1.8" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "11532158c46691caf0f2593ea8358fed6bbf68a0315e80aae9bd41fbade684a1" +checksum = "f75b4683f6c7f45248d4d64056a24298c6281e0993356d7d1b4a1a962ef10d4a" dependencies = [ "proc-macro2", "quote", - "syn 2.0.119", - "synstructure", + "syn 3.0.6", + "synstructure 0.14.0", ] [[package]] @@ -1888,7 +1899,7 @@ checksum = "34df6fc39dbd26ddc9c10e6a2984476e13acce22e64e4487636ef494369225da" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] diff --git a/bindings/java/Cargo.lock b/bindings/java/Cargo.lock index bb58d344..591506c7 100644 --- a/bindings/java/Cargo.lock +++ b/bindings/java/Cargo.lock @@ -109,9 +109,9 @@ checksum = "fc652a48c352aef3ea3aed32080501cf3ef6ed5da78602a020c991775b0aff04" [[package]] name = "cc" -version = "1.4.6" +version = "1.4.7" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a3eb0f42d6c360dc3f8a821f6bf2fdea7f72bfd36b3076eb0e6d1e9e0752fff4" +checksum = "54413ede23c2daf518f35156dfde027feb2374004d63bd497f983c8db9c0e313" dependencies = [ "find-msvc-tools", "shlex", @@ -211,7 +211,7 @@ checksum = "c6232dd377dcc64799954cbd3a9bb882e9cdc1308ccd87b1c098f1fb2eaf82a8" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -254,9 +254,9 @@ dependencies = [ [[package]] name = "find-msvc-tools" -version = "0.1.12" +version = "0.1.13" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3e0f1c7c3a72c66fd80abe965175f7523475c0489a87d3ff9d6e8c87d87a9d2d" +checksum = "ef25905e51abafe4dcea6c15fec58c57b601cdbd0ee53d22ea1d3016c587d39b" [[package]] name = "fluent-uri" @@ -679,9 +679,9 @@ checksum = "f9f8bd3e56ce4dfc153cf470fffbfa98c7620958b312ca5c3a4b8d5181fd13c6" [[package]] name = "lru" -version = "0.18.4" +version = "0.18.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ff9840bcc50b71349309900da0ce7279aa336ae71d73250b07998932c7d97c25" +checksum = "ef9ac18847474e638e3702b76c65d4eb93428471a74778ef0f1be711717f89b5" [[package]] name = "memchr" @@ -829,7 +829,7 @@ checksum = "d2daefea908c4baf7a805b32f8bedd0955c54d8167e73a7584bf6793a3bd8afa" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -991,7 +991,7 @@ checksum = "92ecd8964f8453721699a1ed72037b0db49ce2f5a5138486ee89bed6f67cdf3a" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1166,7 +1166,7 @@ checksum = "e7a5d71263a5a7d47b41f6b3f06ba276f10cc18b0931f1799f710578e2309348" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1268,9 +1268,9 @@ dependencies = [ [[package]] name = "syn" -version = "3.0.5" +version = "3.0.6" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "12df2e0110f65b775f769bb17ef989067a1d931b2eb822bd4346631eeada89f9" +checksum = "8593e8e72159ed2257d083c7a454a85cbf854f37a0966d8d483aff8c8a3ebcee" dependencies = [ "proc-macro2", "quote", @@ -1288,24 +1288,35 @@ dependencies = [ "syn 2.0.119", ] +[[package]] +name = "synstructure" +version = "0.14.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "901704edd0dfe137f1987838ee4f259e4e063c31371bdb423f7ae38ec6f77f02" +dependencies = [ + "proc-macro2", + "quote", + "syn 3.0.6", +] + [[package]] name = "thiserror" -version = "2.0.20" +version = "2.0.21" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ec86235f5fcc2a73650310756d2ac5b138a5780bbbdfae3eeccec992c435ba4f" +checksum = "09e52cb86a36cede5cb101bf8908837b3e4c6e5e59fe7fd85c23fb56200d189e" dependencies = [ "thiserror-impl", ] [[package]] name = "thiserror-impl" -version = "2.0.20" +version = "2.0.21" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "bc04cd3e1236dd4a98afca4569f2deb3f120e5422a4023be2cb683f8486292af" +checksum = "fe5197923287db20a58125f0bc85c062f7f2c892de97b18c356f9efb14b28524" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1332,9 +1343,9 @@ checksum = "0b993bddc193ae5bd0d623b49ec06ac3e9312875fdae725a975c51db1cc1677f" [[package]] name = "unicode-ident" -version = "1.0.24" +version = "1.0.26" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75" +checksum = "d245f478577f809a851594d02313b640fb437e0bb33866753cff937863096954" [[package]] name = "url" @@ -1396,7 +1407,7 @@ dependencies = [ "proc-macro2", "quote", "syn 2.0.119", - "synstructure", + "synstructure 0.13.2", "verus_prettyplease", "verus_syn", ] @@ -1502,7 +1513,7 @@ dependencies = [ "bumpalo", "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", "wasm-bindgen-shared", ] @@ -1630,14 +1641,14 @@ dependencies = [ [[package]] name = "yoke-derive" -version = "0.8.2" +version = "0.8.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "de844c262c8848816172cef550288e7dc6c7b7814b4ee56b3e1553f275f1858e" +checksum = "33811428bee40dbceb6d545e95754741d17a6aef9a4849f0fd62e2ba4f412a78" dependencies = [ "proc-macro2", "quote", - "syn 2.0.119", - "synstructure", + "syn 3.0.6", + "synstructure 0.14.0", ] [[package]] @@ -1671,14 +1682,14 @@ dependencies = [ [[package]] name = "zerofrom-derive" -version = "0.1.7" +version = "0.1.8" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "11532158c46691caf0f2593ea8358fed6bbf68a0315e80aae9bd41fbade684a1" +checksum = "f75b4683f6c7f45248d4d64056a24298c6281e0993356d7d1b4a1a962ef10d4a" dependencies = [ "proc-macro2", "quote", - "syn 2.0.119", - "synstructure", + "syn 3.0.6", + "synstructure 0.14.0", ] [[package]] @@ -1711,7 +1722,7 @@ checksum = "34df6fc39dbd26ddc9c10e6a2984476e13acce22e64e4487636ef494369225da" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] diff --git a/bindings/python/Cargo.lock b/bindings/python/Cargo.lock index f8cf0d66..96570a3d 100644 --- a/bindings/python/Cargo.lock +++ b/bindings/python/Cargo.lock @@ -103,9 +103,9 @@ checksum = "175812e0be2bccb6abe50bb8d566126198344f707e304f45c648fd8f2cc0365e" [[package]] name = "cc" -version = "1.4.6" +version = "1.4.7" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a3eb0f42d6c360dc3f8a821f6bf2fdea7f72bfd36b3076eb0e6d1e9e0752fff4" +checksum = "54413ede23c2daf518f35156dfde027feb2374004d63bd497f983c8db9c0e313" dependencies = [ "find-msvc-tools", "shlex", @@ -195,7 +195,7 @@ checksum = "c6232dd377dcc64799954cbd3a9bb882e9cdc1308ccd87b1c098f1fb2eaf82a8" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -238,9 +238,9 @@ dependencies = [ [[package]] name = "find-msvc-tools" -version = "0.1.12" +version = "0.1.13" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3e0f1c7c3a72c66fd80abe965175f7523475c0489a87d3ff9d6e8c87d87a9d2d" +checksum = "ef25905e51abafe4dcea6c15fec58c57b601cdbd0ee53d22ea1d3016c587d39b" [[package]] name = "fluent-uri" @@ -614,9 +614,9 @@ checksum = "f9f8bd3e56ce4dfc153cf470fffbfa98c7620958b312ca5c3a4b8d5181fd13c6" [[package]] name = "lru" -version = "0.18.4" +version = "0.18.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ff9840bcc50b71349309900da0ce7279aa336ae71d73250b07998932c7d97c25" +checksum = "ef9ac18847474e638e3702b76c65d4eb93428471a74778ef0f1be711717f89b5" [[package]] name = "memchr" @@ -764,7 +764,7 @@ checksum = "d2daefea908c4baf7a805b32f8bedd0955c54d8167e73a7584bf6793a3bd8afa" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -999,7 +999,7 @@ checksum = "92ecd8964f8453721699a1ed72037b0db49ce2f5a5138486ee89bed6f67cdf3a" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1157,7 +1157,7 @@ checksum = "e7a5d71263a5a7d47b41f6b3f06ba276f10cc18b0931f1799f710578e2309348" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1243,9 +1243,9 @@ dependencies = [ [[package]] name = "syn" -version = "3.0.5" +version = "3.0.6" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "12df2e0110f65b775f769bb17ef989067a1d931b2eb822bd4346631eeada89f9" +checksum = "8593e8e72159ed2257d083c7a454a85cbf854f37a0966d8d483aff8c8a3ebcee" dependencies = [ "proc-macro2", "quote", @@ -1263,6 +1263,17 @@ dependencies = [ "syn 2.0.119", ] +[[package]] +name = "synstructure" +version = "0.14.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "901704edd0dfe137f1987838ee4f259e4e063c31371bdb423f7ae38ec6f77f02" +dependencies = [ + "proc-macro2", + "quote", + "syn 3.0.6", +] + [[package]] name = "target-lexicon" version = "0.13.5" @@ -1271,22 +1282,22 @@ checksum = "adb6935a6f5c20170eeceb1a3835a49e12e19d792f6dd344ccc76a985ca5a6ca" [[package]] name = "thiserror" -version = "2.0.20" +version = "2.0.21" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ec86235f5fcc2a73650310756d2ac5b138a5780bbbdfae3eeccec992c435ba4f" +checksum = "09e52cb86a36cede5cb101bf8908837b3e4c6e5e59fe7fd85c23fb56200d189e" dependencies = [ "thiserror-impl", ] [[package]] name = "thiserror-impl" -version = "2.0.20" +version = "2.0.21" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "bc04cd3e1236dd4a98afca4569f2deb3f120e5422a4023be2cb683f8486292af" +checksum = "fe5197923287db20a58125f0bc85c062f7f2c892de97b18c356f9efb14b28524" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1313,9 +1324,9 @@ checksum = "0b993bddc193ae5bd0d623b49ec06ac3e9312875fdae725a975c51db1cc1677f" [[package]] name = "unicode-ident" -version = "1.0.24" +version = "1.0.26" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75" +checksum = "d245f478577f809a851594d02313b640fb437e0bb33866753cff937863096954" [[package]] name = "url" @@ -1377,7 +1388,7 @@ dependencies = [ "proc-macro2", "quote", "syn 2.0.119", - "synstructure", + "synstructure 0.13.2", "verus_prettyplease", "verus_syn", ] @@ -1473,7 +1484,7 @@ dependencies = [ "bumpalo", "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", "wasm-bindgen-shared", ] @@ -1583,14 +1594,14 @@ dependencies = [ [[package]] name = "yoke-derive" -version = "0.8.2" +version = "0.8.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "de844c262c8848816172cef550288e7dc6c7b7814b4ee56b3e1553f275f1858e" +checksum = "33811428bee40dbceb6d545e95754741d17a6aef9a4849f0fd62e2ba4f412a78" dependencies = [ "proc-macro2", "quote", - "syn 2.0.119", - "synstructure", + "syn 3.0.6", + "synstructure 0.14.0", ] [[package]] @@ -1624,14 +1635,14 @@ dependencies = [ [[package]] name = "zerofrom-derive" -version = "0.1.7" +version = "0.1.8" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "11532158c46691caf0f2593ea8358fed6bbf68a0315e80aae9bd41fbade684a1" +checksum = "f75b4683f6c7f45248d4d64056a24298c6281e0993356d7d1b4a1a962ef10d4a" dependencies = [ "proc-macro2", "quote", - "syn 2.0.119", - "synstructure", + "syn 3.0.6", + "synstructure 0.14.0", ] [[package]] @@ -1664,7 +1675,7 @@ checksum = "34df6fc39dbd26ddc9c10e6a2984476e13acce22e64e4487636ef494369225da" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] diff --git a/bindings/ruby/Cargo.lock b/bindings/ruby/Cargo.lock index 7bfddade..c12460c2 100644 --- a/bindings/ruby/Cargo.lock +++ b/bindings/ruby/Cargo.lock @@ -121,9 +121,9 @@ checksum = "175812e0be2bccb6abe50bb8d566126198344f707e304f45c648fd8f2cc0365e" [[package]] name = "cc" -version = "1.4.6" +version = "1.4.7" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a3eb0f42d6c360dc3f8a821f6bf2fdea7f72bfd36b3076eb0e6d1e9e0752fff4" +checksum = "54413ede23c2daf518f35156dfde027feb2374004d63bd497f983c8db9c0e313" dependencies = [ "find-msvc-tools", "shlex 2.0.1", @@ -224,7 +224,7 @@ checksum = "c6232dd377dcc64799954cbd3a9bb882e9cdc1308ccd87b1c098f1fb2eaf82a8" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -261,9 +261,9 @@ dependencies = [ [[package]] name = "find-msvc-tools" -version = "0.1.12" +version = "0.1.13" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3e0f1c7c3a72c66fd80abe965175f7523475c0489a87d3ff9d6e8c87d87a9d2d" +checksum = "ef25905e51abafe4dcea6c15fec58c57b601cdbd0ee53d22ea1d3016c587d39b" [[package]] name = "fluent-uri" @@ -662,9 +662,9 @@ checksum = "f9f8bd3e56ce4dfc153cf470fffbfa98c7620958b312ca5c3a4b8d5181fd13c6" [[package]] name = "lru" -version = "0.18.4" +version = "0.18.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ff9840bcc50b71349309900da0ce7279aa336ae71d73250b07998932c7d97c25" +checksum = "ef9ac18847474e638e3702b76c65d4eb93428471a74778ef0f1be711717f89b5" [[package]] name = "magnus" @@ -851,7 +851,7 @@ checksum = "d2daefea908c4baf7a805b32f8bedd0955c54d8167e73a7584bf6793a3bd8afa" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1031,7 +1031,7 @@ checksum = "92ecd8964f8453721699a1ed72037b0db49ce2f5a5138486ee89bed6f67cdf3a" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1200,7 +1200,7 @@ checksum = "e7a5d71263a5a7d47b41f6b3f06ba276f10cc18b0931f1799f710578e2309348" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1309,9 +1309,9 @@ dependencies = [ [[package]] name = "syn" -version = "3.0.5" +version = "3.0.6" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "12df2e0110f65b775f769bb17ef989067a1d931b2eb822bd4346631eeada89f9" +checksum = "8593e8e72159ed2257d083c7a454a85cbf854f37a0966d8d483aff8c8a3ebcee" dependencies = [ "proc-macro2", "quote", @@ -1329,6 +1329,17 @@ dependencies = [ "syn 2.0.119", ] +[[package]] +name = "synstructure" +version = "0.14.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "901704edd0dfe137f1987838ee4f259e4e063c31371bdb423f7ae38ec6f77f02" +dependencies = [ + "proc-macro2", + "quote", + "syn 3.0.6", +] + [[package]] name = "tap" version = "1.0.1" @@ -1337,22 +1348,22 @@ checksum = "55937e1799185b12863d447f42597ed69d9928686b8d88a1df17376a097d8369" [[package]] name = "thiserror" -version = "2.0.20" +version = "2.0.21" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ec86235f5fcc2a73650310756d2ac5b138a5780bbbdfae3eeccec992c435ba4f" +checksum = "09e52cb86a36cede5cb101bf8908837b3e4c6e5e59fe7fd85c23fb56200d189e" dependencies = [ "thiserror-impl", ] [[package]] name = "thiserror-impl" -version = "2.0.20" +version = "2.0.21" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "bc04cd3e1236dd4a98afca4569f2deb3f120e5422a4023be2cb683f8486292af" +checksum = "fe5197923287db20a58125f0bc85c062f7f2c892de97b18c356f9efb14b28524" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1379,9 +1390,9 @@ checksum = "0b993bddc193ae5bd0d623b49ec06ac3e9312875fdae725a975c51db1cc1677f" [[package]] name = "unicode-ident" -version = "1.0.24" +version = "1.0.26" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75" +checksum = "d245f478577f809a851594d02313b640fb437e0bb33866753cff937863096954" [[package]] name = "url" @@ -1443,7 +1454,7 @@ dependencies = [ "proc-macro2", "quote", "syn 2.0.119", - "synstructure", + "synstructure 0.13.2", "verus_prettyplease", "verus_syn", ] @@ -1539,7 +1550,7 @@ dependencies = [ "bumpalo", "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", "wasm-bindgen-shared", ] @@ -1649,14 +1660,14 @@ dependencies = [ [[package]] name = "yoke-derive" -version = "0.8.2" +version = "0.8.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "de844c262c8848816172cef550288e7dc6c7b7814b4ee56b3e1553f275f1858e" +checksum = "33811428bee40dbceb6d545e95754741d17a6aef9a4849f0fd62e2ba4f412a78" dependencies = [ "proc-macro2", "quote", - "syn 2.0.119", - "synstructure", + "syn 3.0.6", + "synstructure 0.14.0", ] [[package]] @@ -1690,14 +1701,14 @@ dependencies = [ [[package]] name = "zerofrom-derive" -version = "0.1.7" +version = "0.1.8" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "11532158c46691caf0f2593ea8358fed6bbf68a0315e80aae9bd41fbade684a1" +checksum = "f75b4683f6c7f45248d4d64056a24298c6281e0993356d7d1b4a1a962ef10d4a" dependencies = [ "proc-macro2", "quote", - "syn 2.0.119", - "synstructure", + "syn 3.0.6", + "synstructure 0.14.0", ] [[package]] @@ -1730,7 +1741,7 @@ checksum = "34df6fc39dbd26ddc9c10e6a2984476e13acce22e64e4487636ef494369225da" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] diff --git a/bindings/wasm/Cargo.lock b/bindings/wasm/Cargo.lock index 63ca0cf5..bef0e837 100644 --- a/bindings/wasm/Cargo.lock +++ b/bindings/wasm/Cargo.lock @@ -54,7 +54,7 @@ checksum = "82f6aeea286b8eb4dd3431a1be1b59d290ace00f5bfd8e2a159bc2a05e2c1667" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -120,9 +120,9 @@ checksum = "37b2a672a2cb129a2e41c10b1224bb368f9f37a2b16b612598138befd7b37eb5" [[package]] name = "cc" -version = "1.4.6" +version = "1.4.7" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a3eb0f42d6c360dc3f8a821f6bf2fdea7f72bfd36b3076eb0e6d1e9e0752fff4" +checksum = "54413ede23c2daf518f35156dfde027feb2374004d63bd497f983c8db9c0e313" dependencies = [ "find-msvc-tools", "shlex", @@ -212,7 +212,7 @@ checksum = "c6232dd377dcc64799954cbd3a9bb882e9cdc1308ccd87b1c098f1fb2eaf82a8" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -255,9 +255,9 @@ dependencies = [ [[package]] name = "find-msvc-tools" -version = "0.1.12" +version = "0.1.13" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3e0f1c7c3a72c66fd80abe965175f7523475c0489a87d3ff9d6e8c87d87a9d2d" +checksum = "ef25905e51abafe4dcea6c15fec58c57b601cdbd0ee53d22ea1d3016c587d39b" [[package]] name = "fluent-uri" @@ -652,9 +652,9 @@ checksum = "f9f8bd3e56ce4dfc153cf470fffbfa98c7620958b312ca5c3a4b8d5181fd13c6" [[package]] name = "lru" -version = "0.18.4" +version = "0.18.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ff9840bcc50b71349309900da0ce7279aa336ae71d73250b07998932c7d97c25" +checksum = "ef9ac18847474e638e3702b76c65d4eb93428471a74778ef0f1be711717f89b5" [[package]] name = "memchr" @@ -822,7 +822,7 @@ checksum = "d2daefea908c4baf7a805b32f8bedd0955c54d8167e73a7584bf6793a3bd8afa" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -990,7 +990,7 @@ checksum = "92ecd8964f8453721699a1ed72037b0db49ce2f5a5138486ee89bed6f67cdf3a" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1158,7 +1158,7 @@ checksum = "e7a5d71263a5a7d47b41f6b3f06ba276f10cc18b0931f1799f710578e2309348" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1244,9 +1244,9 @@ dependencies = [ [[package]] name = "syn" -version = "3.0.5" +version = "3.0.6" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "12df2e0110f65b775f769bb17ef989067a1d931b2eb822bd4346631eeada89f9" +checksum = "8593e8e72159ed2257d083c7a454a85cbf854f37a0966d8d483aff8c8a3ebcee" dependencies = [ "proc-macro2", "quote", @@ -1264,24 +1264,35 @@ dependencies = [ "syn 2.0.119", ] +[[package]] +name = "synstructure" +version = "0.14.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "901704edd0dfe137f1987838ee4f259e4e063c31371bdb423f7ae38ec6f77f02" +dependencies = [ + "proc-macro2", + "quote", + "syn 3.0.6", +] + [[package]] name = "thiserror" -version = "2.0.20" +version = "2.0.21" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ec86235f5fcc2a73650310756d2ac5b138a5780bbbdfae3eeccec992c435ba4f" +checksum = "09e52cb86a36cede5cb101bf8908837b3e4c6e5e59fe7fd85c23fb56200d189e" dependencies = [ "thiserror-impl", ] [[package]] name = "thiserror-impl" -version = "2.0.20" +version = "2.0.21" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "bc04cd3e1236dd4a98afca4569f2deb3f120e5422a4023be2cb683f8486292af" +checksum = "fe5197923287db20a58125f0bc85c062f7f2c892de97b18c356f9efb14b28524" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1308,9 +1319,9 @@ checksum = "0b993bddc193ae5bd0d623b49ec06ac3e9312875fdae725a975c51db1cc1677f" [[package]] name = "unicode-ident" -version = "1.0.24" +version = "1.0.26" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75" +checksum = "d245f478577f809a851594d02313b640fb437e0bb33866753cff937863096954" [[package]] name = "url" @@ -1374,7 +1385,7 @@ dependencies = [ "proc-macro2", "quote", "syn 2.0.119", - "synstructure", + "synstructure 0.13.2", "verus_prettyplease", "verus_syn", ] @@ -1496,7 +1507,7 @@ dependencies = [ "bumpalo", "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", "wasm-bindgen-shared", ] @@ -1539,7 +1550,7 @@ checksum = "8c89dcab8b516b6b603baca9d550b7282d68fcc7f367e3956cff7ebf406a3f12" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1663,14 +1674,14 @@ dependencies = [ [[package]] name = "yoke-derive" -version = "0.8.2" +version = "0.8.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "de844c262c8848816172cef550288e7dc6c7b7814b4ee56b3e1553f275f1858e" +checksum = "33811428bee40dbceb6d545e95754741d17a6aef9a4849f0fd62e2ba4f412a78" dependencies = [ "proc-macro2", "quote", - "syn 2.0.119", - "synstructure", + "syn 3.0.6", + "synstructure 0.14.0", ] [[package]] @@ -1704,14 +1715,14 @@ dependencies = [ [[package]] name = "zerofrom-derive" -version = "0.1.7" +version = "0.1.8" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "11532158c46691caf0f2593ea8358fed6bbf68a0315e80aae9bd41fbade684a1" +checksum = "f75b4683f6c7f45248d4d64056a24298c6281e0993356d7d1b4a1a962ef10d4a" dependencies = [ "proc-macro2", "quote", - "syn 2.0.119", - "synstructure", + "syn 3.0.6", + "synstructure 0.14.0", ] [[package]] @@ -1744,7 +1755,7 @@ checksum = "34df6fc39dbd26ddc9c10e6a2984476e13acce22e64e4487636ef494369225da" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] From d1875388741da27ca02328ed3aa901e814f99aee Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Thu, 24 Sep 2026 14:59:17 +0000 Subject: [PATCH 3/4] build: declare MSRV 1.93.1 and use MSRV-aware resolver; pin MSRV-compatible deps Co-authored-by: anakrish <35780660+anakrish@users.noreply.github.com> --- Cargo.lock | 28 +++++++++++++------------- Cargo.toml | 2 ++ bindings/ffi/Cargo.lock | 28 +++++++++++++------------- bindings/ffi/Cargo.toml | 2 ++ bindings/java/Cargo.lock | 28 +++++++++++++------------- bindings/java/Cargo.toml | 2 ++ bindings/python/Cargo.lock | 28 +++++++++++++------------- bindings/python/Cargo.toml | 2 ++ bindings/ruby/Cargo.lock | 28 +++++++++++++------------- bindings/ruby/Cargo.toml | 2 +- bindings/ruby/ext/regorusrb/Cargo.toml | 1 + bindings/wasm/Cargo.lock | 28 +++++++++++++------------- bindings/wasm/Cargo.toml | 2 ++ 13 files changed, 96 insertions(+), 85 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 754eafb9..e317216b 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -961,18 +961,18 @@ checksum = "c2a86d3146ed3995b5913c414f6664344b9617457320782e64f0bb44afd49d74" [[package]] name = "msvc_spectre_libs" -version = "0.2.1" +version = "0.2.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "867b239816dfe73c1623a59c5865d51597a825a6c94b07f8f9b576a6e274a3b6" +checksum = "a7d875b8a00f64a354b2ed7c4c6c92f294997b64bc079bacdf6b58bdcd4ba454" dependencies = [ "msvc_spectre_libs_build", ] [[package]] name = "msvc_spectre_libs_build" -version = "0.1.1" +version = "0.1.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a07e5704d9a91580f47259f03d641b1b1608a1dc9814ad1055867f181ff24cab" +checksum = "feb7dc354576190586db234c41e482a81a16796f0cdf41203fe7b04e767ae9c5" dependencies = [ "cc", "ohno", @@ -1078,9 +1078,9 @@ dependencies = [ [[package]] name = "ohno" -version = "0.5.2" +version = "0.5.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "67922df3646e8f0953af30e66647be24f02518cf1f4f160d021bc738182e333e" +checksum = "c6f03365c20a62c82c5da4cd93abf43cec7115c7d9f84a55ea827e2b56d704a5" dependencies = [ "ohno_macros", "typeid", @@ -1088,18 +1088,18 @@ dependencies = [ [[package]] name = "ohno_macros" -version = "0.5.2" +version = "0.5.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "12528c18ca9d578146dfdf1407ffcd9daebfefda1949dd1c016b8832f83e2245" +checksum = "2a4ce72614cf218523160501f1c275d718c80083697d62d54186e41512429ba9" dependencies = [ "ohno_macros_impl", ] [[package]] name = "ohno_macros_impl" -version = "0.5.2" +version = "0.5.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d2daefea908c4baf7a805b32f8bedd0955c54d8167e73a7584bf6793a3bd8afa" +checksum = "4a2711e52bb0de91b2d6a3c60636bac1827fb109003e235ed827dc9021287d0d" dependencies = [ "proc-macro2 1.0.107", "quote 1.0.47", @@ -2167,18 +2167,18 @@ dependencies = [ [[package]] name = "zerocopy" -version = "0.8.57" +version = "0.8.58" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d35102a9f36d089ccae9e4c6802bc118be4487b80aaffc0ab4e0cf5ce92d2873" +checksum = "c17e8fafad82b542ff3717217ecdc736231b59e387768c9630123b4ce4d2db44" dependencies = [ "zerocopy-derive", ] [[package]] name = "zerocopy-derive" -version = "0.8.57" +version = "0.8.58" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "146c01f5ab44258da43cf276c74a2763db2ff3969c9c652c3f2de07041d0b2bc" +checksum = "595f56e044df4f46a0c9a626f65c3d99eb8488f7e8a8baa12dd76326d9710bf2" dependencies = [ "proc-macro2 1.0.107", "quote 1.0.47", diff --git a/Cargo.toml b/Cargo.toml index d791cc92..2a5f5c63 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,4 +1,5 @@ [workspace] +resolver = "3" members = [ "tests/ensure_no_std", @@ -10,6 +11,7 @@ name = "regorus" description = "A fast, lightweight Rego (OPA policy language) interpreter" version = "0.12.0" edition = "2021" +rust-version = "1.93.1" license = "MIT AND Apache-2.0 AND BSD-3-Clause" repository = "https://github.com/microsoft/regorus" keywords = ["interpreter", "no_std", "opa", "policy-as-code", "rego"] diff --git a/bindings/ffi/Cargo.lock b/bindings/ffi/Cargo.lock index 355fd935..644d5949 100644 --- a/bindings/ffi/Cargo.lock +++ b/bindings/ffi/Cargo.lock @@ -814,18 +814,18 @@ checksum = "c2a86d3146ed3995b5913c414f6664344b9617457320782e64f0bb44afd49d74" [[package]] name = "msvc_spectre_libs" -version = "0.2.1" +version = "0.2.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "867b239816dfe73c1623a59c5865d51597a825a6c94b07f8f9b576a6e274a3b6" +checksum = "a7d875b8a00f64a354b2ed7c4c6c92f294997b64bc079bacdf6b58bdcd4ba454" dependencies = [ "msvc_spectre_libs_build", ] [[package]] name = "msvc_spectre_libs_build" -version = "0.1.1" +version = "0.1.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a07e5704d9a91580f47259f03d641b1b1608a1dc9814ad1055867f181ff24cab" +checksum = "feb7dc354576190586db234c41e482a81a16796f0cdf41203fe7b04e767ae9c5" dependencies = [ "cc", "ohno", @@ -921,9 +921,9 @@ dependencies = [ [[package]] name = "ohno" -version = "0.5.2" +version = "0.5.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "67922df3646e8f0953af30e66647be24f02518cf1f4f160d021bc738182e333e" +checksum = "c6f03365c20a62c82c5da4cd93abf43cec7115c7d9f84a55ea827e2b56d704a5" dependencies = [ "ohno_macros", "typeid", @@ -931,18 +931,18 @@ dependencies = [ [[package]] name = "ohno_macros" -version = "0.5.2" +version = "0.5.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "12528c18ca9d578146dfdf1407ffcd9daebfefda1949dd1c016b8832f83e2245" +checksum = "2a4ce72614cf218523160501f1c275d718c80083697d62d54186e41512429ba9" dependencies = [ "ohno_macros_impl", ] [[package]] name = "ohno_macros_impl" -version = "0.5.2" +version = "0.5.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d2daefea908c4baf7a805b32f8bedd0955c54d8167e73a7584bf6793a3bd8afa" +checksum = "4a2711e52bb0de91b2d6a3c60636bac1827fb109003e235ed827dc9021287d0d" dependencies = [ "proc-macro2", "quote", @@ -1828,18 +1828,18 @@ dependencies = [ [[package]] name = "zerocopy" -version = "0.8.57" +version = "0.8.58" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d35102a9f36d089ccae9e4c6802bc118be4487b80aaffc0ab4e0cf5ce92d2873" +checksum = "c17e8fafad82b542ff3717217ecdc736231b59e387768c9630123b4ce4d2db44" dependencies = [ "zerocopy-derive", ] [[package]] name = "zerocopy-derive" -version = "0.8.57" +version = "0.8.58" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "146c01f5ab44258da43cf276c74a2763db2ff3969c9c652c3f2de07041d0b2bc" +checksum = "595f56e044df4f46a0c9a626f65c3d99eb8488f7e8a8baa12dd76326d9710bf2" dependencies = [ "proc-macro2", "quote", diff --git a/bindings/ffi/Cargo.toml b/bindings/ffi/Cargo.toml index 0d00dbb5..d651714f 100644 --- a/bindings/ffi/Cargo.toml +++ b/bindings/ffi/Cargo.toml @@ -1,9 +1,11 @@ [workspace] +resolver = "3" [package] name = "regorus-ffi" version = "0.12.0" edition = "2021" +rust-version = "1.93.1" license = "MIT AND Apache-2.0 AND BSD-3-Clause" # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html diff --git a/bindings/java/Cargo.lock b/bindings/java/Cargo.lock index 591506c7..1088e7fb 100644 --- a/bindings/java/Cargo.lock +++ b/bindings/java/Cargo.lock @@ -697,18 +697,18 @@ checksum = "c2a86d3146ed3995b5913c414f6664344b9617457320782e64f0bb44afd49d74" [[package]] name = "msvc_spectre_libs" -version = "0.2.1" +version = "0.2.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "867b239816dfe73c1623a59c5865d51597a825a6c94b07f8f9b576a6e274a3b6" +checksum = "a7d875b8a00f64a354b2ed7c4c6c92f294997b64bc079bacdf6b58bdcd4ba454" dependencies = [ "msvc_spectre_libs_build", ] [[package]] name = "msvc_spectre_libs_build" -version = "0.1.1" +version = "0.1.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a07e5704d9a91580f47259f03d641b1b1608a1dc9814ad1055867f181ff24cab" +checksum = "feb7dc354576190586db234c41e482a81a16796f0cdf41203fe7b04e767ae9c5" dependencies = [ "cc", "ohno", @@ -804,9 +804,9 @@ dependencies = [ [[package]] name = "ohno" -version = "0.5.2" +version = "0.5.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "67922df3646e8f0953af30e66647be24f02518cf1f4f160d021bc738182e333e" +checksum = "c6f03365c20a62c82c5da4cd93abf43cec7115c7d9f84a55ea827e2b56d704a5" dependencies = [ "ohno_macros", "typeid", @@ -814,18 +814,18 @@ dependencies = [ [[package]] name = "ohno_macros" -version = "0.5.2" +version = "0.5.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "12528c18ca9d578146dfdf1407ffcd9daebfefda1949dd1c016b8832f83e2245" +checksum = "2a4ce72614cf218523160501f1c275d718c80083697d62d54186e41512429ba9" dependencies = [ "ohno_macros_impl", ] [[package]] name = "ohno_macros_impl" -version = "0.5.2" +version = "0.5.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d2daefea908c4baf7a805b32f8bedd0955c54d8167e73a7584bf6793a3bd8afa" +checksum = "4a2711e52bb0de91b2d6a3c60636bac1827fb109003e235ed827dc9021287d0d" dependencies = [ "proc-macro2", "quote", @@ -1653,18 +1653,18 @@ dependencies = [ [[package]] name = "zerocopy" -version = "0.8.57" +version = "0.8.58" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d35102a9f36d089ccae9e4c6802bc118be4487b80aaffc0ab4e0cf5ce92d2873" +checksum = "c17e8fafad82b542ff3717217ecdc736231b59e387768c9630123b4ce4d2db44" dependencies = [ "zerocopy-derive", ] [[package]] name = "zerocopy-derive" -version = "0.8.57" +version = "0.8.58" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "146c01f5ab44258da43cf276c74a2763db2ff3969c9c652c3f2de07041d0b2bc" +checksum = "595f56e044df4f46a0c9a626f65c3d99eb8488f7e8a8baa12dd76326d9710bf2" dependencies = [ "proc-macro2", "quote", diff --git a/bindings/java/Cargo.toml b/bindings/java/Cargo.toml index 9bf1e6c6..9c5260f6 100644 --- a/bindings/java/Cargo.toml +++ b/bindings/java/Cargo.toml @@ -1,9 +1,11 @@ [workspace] +resolver = "3" [package] name = "regorus-java" version = "0.12.0" edition = "2021" +rust-version = "1.93.1" repository = "https://github.com/microsoft/regorus/bindings/java" description = "Java bindings for Regorus - a fast, lightweight Rego interpreter written in Rust" license = "MIT AND Apache-2.0 AND BSD-3-Clause" diff --git a/bindings/python/Cargo.lock b/bindings/python/Cargo.lock index 96570a3d..43504693 100644 --- a/bindings/python/Cargo.lock +++ b/bindings/python/Cargo.lock @@ -632,18 +632,18 @@ checksum = "c2a86d3146ed3995b5913c414f6664344b9617457320782e64f0bb44afd49d74" [[package]] name = "msvc_spectre_libs" -version = "0.2.1" +version = "0.2.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "867b239816dfe73c1623a59c5865d51597a825a6c94b07f8f9b576a6e274a3b6" +checksum = "a7d875b8a00f64a354b2ed7c4c6c92f294997b64bc079bacdf6b58bdcd4ba454" dependencies = [ "msvc_spectre_libs_build", ] [[package]] name = "msvc_spectre_libs_build" -version = "0.1.1" +version = "0.1.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a07e5704d9a91580f47259f03d641b1b1608a1dc9814ad1055867f181ff24cab" +checksum = "feb7dc354576190586db234c41e482a81a16796f0cdf41203fe7b04e767ae9c5" dependencies = [ "cc", "ohno", @@ -739,9 +739,9 @@ dependencies = [ [[package]] name = "ohno" -version = "0.5.2" +version = "0.5.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "67922df3646e8f0953af30e66647be24f02518cf1f4f160d021bc738182e333e" +checksum = "c6f03365c20a62c82c5da4cd93abf43cec7115c7d9f84a55ea827e2b56d704a5" dependencies = [ "ohno_macros", "typeid", @@ -749,18 +749,18 @@ dependencies = [ [[package]] name = "ohno_macros" -version = "0.5.2" +version = "0.5.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "12528c18ca9d578146dfdf1407ffcd9daebfefda1949dd1c016b8832f83e2245" +checksum = "2a4ce72614cf218523160501f1c275d718c80083697d62d54186e41512429ba9" dependencies = [ "ohno_macros_impl", ] [[package]] name = "ohno_macros_impl" -version = "0.5.2" +version = "0.5.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d2daefea908c4baf7a805b32f8bedd0955c54d8167e73a7584bf6793a3bd8afa" +checksum = "4a2711e52bb0de91b2d6a3c60636bac1827fb109003e235ed827dc9021287d0d" dependencies = [ "proc-macro2", "quote", @@ -1606,18 +1606,18 @@ dependencies = [ [[package]] name = "zerocopy" -version = "0.8.57" +version = "0.8.58" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d35102a9f36d089ccae9e4c6802bc118be4487b80aaffc0ab4e0cf5ce92d2873" +checksum = "c17e8fafad82b542ff3717217ecdc736231b59e387768c9630123b4ce4d2db44" dependencies = [ "zerocopy-derive", ] [[package]] name = "zerocopy-derive" -version = "0.8.57" +version = "0.8.58" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "146c01f5ab44258da43cf276c74a2763db2ff3969c9c652c3f2de07041d0b2bc" +checksum = "595f56e044df4f46a0c9a626f65c3d99eb8488f7e8a8baa12dd76326d9710bf2" dependencies = [ "proc-macro2", "quote", diff --git a/bindings/python/Cargo.toml b/bindings/python/Cargo.toml index a1744e32..02d41ceb 100644 --- a/bindings/python/Cargo.toml +++ b/bindings/python/Cargo.toml @@ -1,9 +1,11 @@ [workspace] +resolver = "3" [package] name = "regoruspy" version = "0.12.0" edition = "2021" +rust-version = "1.93.1" repository = "https://github.com/microsoft/regorus/bindings/python" description = "Python bindings for Regorus - a fast, lightweight Rego interpreter written in Rust" license = "MIT AND Apache-2.0 AND BSD-3-Clause" diff --git a/bindings/ruby/Cargo.lock b/bindings/ruby/Cargo.lock index c12460c2..451913c1 100644 --- a/bindings/ruby/Cargo.lock +++ b/bindings/ruby/Cargo.lock @@ -709,18 +709,18 @@ checksum = "68354c5c6bd36d73ff3feceb05efa59b6acb7626617f4962be322a825e61f79a" [[package]] name = "msvc_spectre_libs" -version = "0.2.1" +version = "0.2.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "867b239816dfe73c1623a59c5865d51597a825a6c94b07f8f9b576a6e274a3b6" +checksum = "a7d875b8a00f64a354b2ed7c4c6c92f294997b64bc079bacdf6b58bdcd4ba454" dependencies = [ "msvc_spectre_libs_build", ] [[package]] name = "msvc_spectre_libs_build" -version = "0.1.1" +version = "0.1.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a07e5704d9a91580f47259f03d641b1b1608a1dc9814ad1055867f181ff24cab" +checksum = "feb7dc354576190586db234c41e482a81a16796f0cdf41203fe7b04e767ae9c5" dependencies = [ "cc", "ohno", @@ -826,9 +826,9 @@ dependencies = [ [[package]] name = "ohno" -version = "0.5.2" +version = "0.5.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "67922df3646e8f0953af30e66647be24f02518cf1f4f160d021bc738182e333e" +checksum = "c6f03365c20a62c82c5da4cd93abf43cec7115c7d9f84a55ea827e2b56d704a5" dependencies = [ "ohno_macros", "typeid", @@ -836,18 +836,18 @@ dependencies = [ [[package]] name = "ohno_macros" -version = "0.5.2" +version = "0.5.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "12528c18ca9d578146dfdf1407ffcd9daebfefda1949dd1c016b8832f83e2245" +checksum = "2a4ce72614cf218523160501f1c275d718c80083697d62d54186e41512429ba9" dependencies = [ "ohno_macros_impl", ] [[package]] name = "ohno_macros_impl" -version = "0.5.2" +version = "0.5.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d2daefea908c4baf7a805b32f8bedd0955c54d8167e73a7584bf6793a3bd8afa" +checksum = "4a2711e52bb0de91b2d6a3c60636bac1827fb109003e235ed827dc9021287d0d" dependencies = [ "proc-macro2", "quote", @@ -1672,18 +1672,18 @@ dependencies = [ [[package]] name = "zerocopy" -version = "0.8.57" +version = "0.8.58" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d35102a9f36d089ccae9e4c6802bc118be4487b80aaffc0ab4e0cf5ce92d2873" +checksum = "c17e8fafad82b542ff3717217ecdc736231b59e387768c9630123b4ce4d2db44" dependencies = [ "zerocopy-derive", ] [[package]] name = "zerocopy-derive" -version = "0.8.57" +version = "0.8.58" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "146c01f5ab44258da43cf276c74a2763db2ff3969c9c652c3f2de07041d0b2bc" +checksum = "595f56e044df4f46a0c9a626f65c3d99eb8488f7e8a8baa12dd76326d9710bf2" dependencies = [ "proc-macro2", "quote", diff --git a/bindings/ruby/Cargo.toml b/bindings/ruby/Cargo.toml index a864e4d6..53834bb6 100644 --- a/bindings/ruby/Cargo.toml +++ b/bindings/ruby/Cargo.toml @@ -1,3 +1,3 @@ [workspace] members = ["ext/regorusrb"] -resolver = "2" +resolver = "3" diff --git a/bindings/ruby/ext/regorusrb/Cargo.toml b/bindings/ruby/ext/regorusrb/Cargo.toml index a472fc7d..41312c9c 100644 --- a/bindings/ruby/ext/regorusrb/Cargo.toml +++ b/bindings/ruby/ext/regorusrb/Cargo.toml @@ -2,6 +2,7 @@ name = "regorusrb" version = "0.12.0" edition = "2024" +rust-version = "1.93.1" description = "Ruby bindings for Regorus - a fast, lightweight Rego interpreter written in Rust" license = "MIT AND Apache-2.0 AND BSD-3-Clause" publish = false diff --git a/bindings/wasm/Cargo.lock b/bindings/wasm/Cargo.lock index bef0e837..8c8c25c7 100644 --- a/bindings/wasm/Cargo.lock +++ b/bindings/wasm/Cargo.lock @@ -680,18 +680,18 @@ dependencies = [ [[package]] name = "msvc_spectre_libs" -version = "0.2.1" +version = "0.2.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "867b239816dfe73c1623a59c5865d51597a825a6c94b07f8f9b576a6e274a3b6" +checksum = "a7d875b8a00f64a354b2ed7c4c6c92f294997b64bc079bacdf6b58bdcd4ba454" dependencies = [ "msvc_spectre_libs_build", ] [[package]] name = "msvc_spectre_libs_build" -version = "0.1.1" +version = "0.1.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a07e5704d9a91580f47259f03d641b1b1608a1dc9814ad1055867f181ff24cab" +checksum = "feb7dc354576190586db234c41e482a81a16796f0cdf41203fe7b04e767ae9c5" dependencies = [ "cc", "ohno", @@ -797,9 +797,9 @@ dependencies = [ [[package]] name = "ohno" -version = "0.5.2" +version = "0.5.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "67922df3646e8f0953af30e66647be24f02518cf1f4f160d021bc738182e333e" +checksum = "c6f03365c20a62c82c5da4cd93abf43cec7115c7d9f84a55ea827e2b56d704a5" dependencies = [ "ohno_macros", "typeid", @@ -807,18 +807,18 @@ dependencies = [ [[package]] name = "ohno_macros" -version = "0.5.2" +version = "0.5.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "12528c18ca9d578146dfdf1407ffcd9daebfefda1949dd1c016b8832f83e2245" +checksum = "2a4ce72614cf218523160501f1c275d718c80083697d62d54186e41512429ba9" dependencies = [ "ohno_macros_impl", ] [[package]] name = "ohno_macros_impl" -version = "0.5.2" +version = "0.5.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d2daefea908c4baf7a805b32f8bedd0955c54d8167e73a7584bf6793a3bd8afa" +checksum = "4a2711e52bb0de91b2d6a3c60636bac1827fb109003e235ed827dc9021287d0d" dependencies = [ "proc-macro2", "quote", @@ -1686,18 +1686,18 @@ dependencies = [ [[package]] name = "zerocopy" -version = "0.8.57" +version = "0.8.58" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d35102a9f36d089ccae9e4c6802bc118be4487b80aaffc0ab4e0cf5ce92d2873" +checksum = "c17e8fafad82b542ff3717217ecdc736231b59e387768c9630123b4ce4d2db44" dependencies = [ "zerocopy-derive", ] [[package]] name = "zerocopy-derive" -version = "0.8.57" +version = "0.8.58" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "146c01f5ab44258da43cf276c74a2763db2ff3969c9c652c3f2de07041d0b2bc" +checksum = "595f56e044df4f46a0c9a626f65c3d99eb8488f7e8a8baa12dd76326d9710bf2" dependencies = [ "proc-macro2", "quote", diff --git a/bindings/wasm/Cargo.toml b/bindings/wasm/Cargo.toml index ea8185ff..40751619 100644 --- a/bindings/wasm/Cargo.toml +++ b/bindings/wasm/Cargo.toml @@ -1,9 +1,11 @@ [workspace] +resolver = "3" [package] name = "regorusjs" version = "0.12.0" edition = "2021" +rust-version = "1.93.1" repository = "https://github.com/microsoft/regorus/bindings/wasm" description = "WASM bindings for Regorus - a fast, lightweight Rego interpreter written in Rust" license = "MIT AND Apache-2.0 AND BSD-3-Clause" From ac355d90fbc48a8559597b20fa4a582093d366c3 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Thu, 24 Sep 2026 16:07:49 +0000 Subject: [PATCH 4/4] ci: align vstd with pinned Verus release Co-authored-by: anakrish <35780660+anakrish@users.noreply.github.com> --- Cargo.lock | 12 ++++++------ Cargo.toml | 2 +- bindings/ffi/Cargo.lock | 12 ++++++------ bindings/java/Cargo.lock | 12 ++++++------ bindings/python/Cargo.lock | 12 ++++++------ bindings/ruby/Cargo.lock | 12 ++++++------ bindings/wasm/Cargo.lock | 12 ++++++------ 7 files changed, 37 insertions(+), 37 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index e317216b..0930b2e7 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1854,15 +1854,15 @@ checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a" [[package]] name = "verus_builtin" -version = "0.0.0-2026-09-16-0054" +version = "0.0.0-2026-09-06-0133" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5e4a9e69d45ddbe303075756d3fc2fcc965eb9dc70c80651d0e4458a6af1ed83" +checksum = "856c9979b5ed3b75a2371d8667602da1839ab0cbb3720a2c1c8a182bcdb27cf7" [[package]] name = "verus_builtin_macros" -version = "0.0.0-2026-09-20-0158" +version = "0.0.0-2026-09-06-0133" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "213ca3e8a80925aec251d3f1952a213d6090156b58ad81dccc3a2f1fed77c99f" +checksum = "466bb5ed102507ccbcd002410e73716c9eb27b602980d81bbd176860ace8a89b" dependencies = [ "convert_case", "proc-macro2 1.0.107", @@ -1914,9 +1914,9 @@ checksum = "5c3082ca00d5a5ef149bb8b555a72ae84c9c59f7250f013ac822ac2e49b19c64" [[package]] name = "vstd" -version = "0.0.0-2026-09-20-0158" +version = "0.0.0-2026-09-06-0133" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "bb7a36bbc0193492141eef73272853a5a8d73288bed1ea5344563b0382cdf7c9" +checksum = "9e5391d6f656ab9a485169f7e9fe87d3db1f0a6aa116fcb630dd0bef224170e7" dependencies = [ "verus_builtin", "verus_builtin_macros", diff --git a/Cargo.toml b/Cargo.toml index 2a5f5c63..c416dcbf 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -147,7 +147,7 @@ postcard = { version = "1.1.3", default-features = false, features = ["alloc"], # Verus-related dependencies. # In no_std builds only the `alloc` feature is used; the crate's `std` feature # additionally enables `vstd/std` (matching vstd's default features). -vstd = { version = "=0.0.0-2026-09-20-0158", default-features = false, features = ["alloc"] } +vstd = { version = "=0.0.0-2026-09-06-0133", default-features = false, features = ["alloc"] } [dev-dependencies] anyhow = "1.0.102" diff --git a/bindings/ffi/Cargo.lock b/bindings/ffi/Cargo.lock index 644d5949..52db6f36 100644 --- a/bindings/ffi/Cargo.lock +++ b/bindings/ffi/Cargo.lock @@ -1575,15 +1575,15 @@ checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a" [[package]] name = "verus_builtin" -version = "0.0.0-2026-09-16-0054" +version = "0.0.0-2026-09-06-0133" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5e4a9e69d45ddbe303075756d3fc2fcc965eb9dc70c80651d0e4458a6af1ed83" +checksum = "856c9979b5ed3b75a2371d8667602da1839ab0cbb3720a2c1c8a182bcdb27cf7" [[package]] name = "verus_builtin_macros" -version = "0.0.0-2026-09-20-0158" +version = "0.0.0-2026-09-06-0133" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "213ca3e8a80925aec251d3f1952a213d6090156b58ad81dccc3a2f1fed77c99f" +checksum = "466bb5ed102507ccbcd002410e73716c9eb27b602980d81bbd176860ace8a89b" dependencies = [ "convert_case", "proc-macro2", @@ -1635,9 +1635,9 @@ checksum = "5c3082ca00d5a5ef149bb8b555a72ae84c9c59f7250f013ac822ac2e49b19c64" [[package]] name = "vstd" -version = "0.0.0-2026-09-20-0158" +version = "0.0.0-2026-09-06-0133" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "bb7a36bbc0193492141eef73272853a5a8d73288bed1ea5344563b0382cdf7c9" +checksum = "9e5391d6f656ab9a485169f7e9fe87d3db1f0a6aa116fcb630dd0bef224170e7" dependencies = [ "verus_builtin", "verus_builtin_macros", diff --git a/bindings/java/Cargo.lock b/bindings/java/Cargo.lock index 1088e7fb..4f528e4c 100644 --- a/bindings/java/Cargo.lock +++ b/bindings/java/Cargo.lock @@ -1393,15 +1393,15 @@ checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a" [[package]] name = "verus_builtin" -version = "0.0.0-2026-09-16-0054" +version = "0.0.0-2026-09-06-0133" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5e4a9e69d45ddbe303075756d3fc2fcc965eb9dc70c80651d0e4458a6af1ed83" +checksum = "856c9979b5ed3b75a2371d8667602da1839ab0cbb3720a2c1c8a182bcdb27cf7" [[package]] name = "verus_builtin_macros" -version = "0.0.0-2026-09-20-0158" +version = "0.0.0-2026-09-06-0133" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "213ca3e8a80925aec251d3f1952a213d6090156b58ad81dccc3a2f1fed77c99f" +checksum = "466bb5ed102507ccbcd002410e73716c9eb27b602980d81bbd176860ace8a89b" dependencies = [ "convert_case", "proc-macro2", @@ -1453,9 +1453,9 @@ checksum = "5c3082ca00d5a5ef149bb8b555a72ae84c9c59f7250f013ac822ac2e49b19c64" [[package]] name = "vstd" -version = "0.0.0-2026-09-20-0158" +version = "0.0.0-2026-09-06-0133" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "bb7a36bbc0193492141eef73272853a5a8d73288bed1ea5344563b0382cdf7c9" +checksum = "9e5391d6f656ab9a485169f7e9fe87d3db1f0a6aa116fcb630dd0bef224170e7" dependencies = [ "verus_builtin", "verus_builtin_macros", diff --git a/bindings/python/Cargo.lock b/bindings/python/Cargo.lock index 43504693..a287289d 100644 --- a/bindings/python/Cargo.lock +++ b/bindings/python/Cargo.lock @@ -1374,15 +1374,15 @@ checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a" [[package]] name = "verus_builtin" -version = "0.0.0-2026-09-16-0054" +version = "0.0.0-2026-09-06-0133" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5e4a9e69d45ddbe303075756d3fc2fcc965eb9dc70c80651d0e4458a6af1ed83" +checksum = "856c9979b5ed3b75a2371d8667602da1839ab0cbb3720a2c1c8a182bcdb27cf7" [[package]] name = "verus_builtin_macros" -version = "0.0.0-2026-09-20-0158" +version = "0.0.0-2026-09-06-0133" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "213ca3e8a80925aec251d3f1952a213d6090156b58ad81dccc3a2f1fed77c99f" +checksum = "466bb5ed102507ccbcd002410e73716c9eb27b602980d81bbd176860ace8a89b" dependencies = [ "convert_case", "proc-macro2", @@ -1434,9 +1434,9 @@ checksum = "5c3082ca00d5a5ef149bb8b555a72ae84c9c59f7250f013ac822ac2e49b19c64" [[package]] name = "vstd" -version = "0.0.0-2026-09-20-0158" +version = "0.0.0-2026-09-06-0133" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "bb7a36bbc0193492141eef73272853a5a8d73288bed1ea5344563b0382cdf7c9" +checksum = "9e5391d6f656ab9a485169f7e9fe87d3db1f0a6aa116fcb630dd0bef224170e7" dependencies = [ "verus_builtin", "verus_builtin_macros", diff --git a/bindings/ruby/Cargo.lock b/bindings/ruby/Cargo.lock index 451913c1..e97d1e1c 100644 --- a/bindings/ruby/Cargo.lock +++ b/bindings/ruby/Cargo.lock @@ -1440,15 +1440,15 @@ checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a" [[package]] name = "verus_builtin" -version = "0.0.0-2026-09-16-0054" +version = "0.0.0-2026-09-06-0133" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5e4a9e69d45ddbe303075756d3fc2fcc965eb9dc70c80651d0e4458a6af1ed83" +checksum = "856c9979b5ed3b75a2371d8667602da1839ab0cbb3720a2c1c8a182bcdb27cf7" [[package]] name = "verus_builtin_macros" -version = "0.0.0-2026-09-20-0158" +version = "0.0.0-2026-09-06-0133" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "213ca3e8a80925aec251d3f1952a213d6090156b58ad81dccc3a2f1fed77c99f" +checksum = "466bb5ed102507ccbcd002410e73716c9eb27b602980d81bbd176860ace8a89b" dependencies = [ "convert_case", "proc-macro2", @@ -1500,9 +1500,9 @@ checksum = "5c3082ca00d5a5ef149bb8b555a72ae84c9c59f7250f013ac822ac2e49b19c64" [[package]] name = "vstd" -version = "0.0.0-2026-09-20-0158" +version = "0.0.0-2026-09-06-0133" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "bb7a36bbc0193492141eef73272853a5a8d73288bed1ea5344563b0382cdf7c9" +checksum = "9e5391d6f656ab9a485169f7e9fe87d3db1f0a6aa116fcb630dd0bef224170e7" dependencies = [ "verus_builtin", "verus_builtin_macros", diff --git a/bindings/wasm/Cargo.lock b/bindings/wasm/Cargo.lock index 8c8c25c7..17fcdda4 100644 --- a/bindings/wasm/Cargo.lock +++ b/bindings/wasm/Cargo.lock @@ -1371,15 +1371,15 @@ checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a" [[package]] name = "verus_builtin" -version = "0.0.0-2026-09-16-0054" +version = "0.0.0-2026-09-06-0133" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5e4a9e69d45ddbe303075756d3fc2fcc965eb9dc70c80651d0e4458a6af1ed83" +checksum = "856c9979b5ed3b75a2371d8667602da1839ab0cbb3720a2c1c8a182bcdb27cf7" [[package]] name = "verus_builtin_macros" -version = "0.0.0-2026-09-20-0158" +version = "0.0.0-2026-09-06-0133" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "213ca3e8a80925aec251d3f1952a213d6090156b58ad81dccc3a2f1fed77c99f" +checksum = "466bb5ed102507ccbcd002410e73716c9eb27b602980d81bbd176860ace8a89b" dependencies = [ "convert_case", "proc-macro2", @@ -1431,9 +1431,9 @@ checksum = "5c3082ca00d5a5ef149bb8b555a72ae84c9c59f7250f013ac822ac2e49b19c64" [[package]] name = "vstd" -version = "0.0.0-2026-09-20-0158" +version = "0.0.0-2026-09-06-0133" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "bb7a36bbc0193492141eef73272853a5a8d73288bed1ea5344563b0382cdf7c9" +checksum = "9e5391d6f656ab9a485169f7e9fe87d3db1f0a6aa116fcb630dd0bef224170e7" dependencies = [ "verus_builtin", "verus_builtin_macros",