Update dependencies

Changes

1 changed files (+45/-32)

• Cargo.lock
  • @@ -11,7 +11,7 @@ dependencies = [
    "cfg-if", "once_cell", "version_check", - "zerocopy", + "zerocopy 0.7.35", ] [[package]]
  • @@ -22,15 +22,9 @@ checksum = "ace50bade8e6234aa140d9a2f552bbee1db4d353f69b8217bc503490fc1a9f26"
    [[package]] name = "bitflags" - version = "2.7.0" - source = "registry+https://github.com/rust-lang/crates.io-index" - checksum = "1be3f42a67d6d345ecd59f675f3f012d6974981560836e938c22b424b85ce1be" - - [[package]] - name = "byteorder" - version = "1.5.0" + version = "2.9.0" source = "registry+https://github.com/rust-lang/crates.io-index" - checksum = "1fd0f2584146f6f2ef48085050886acf353beff7305ebd1ae69500e27c67f64b" + checksum = "5c8214115b7bf84099f1309324e63141d4c5d7cc26862f97a0a857dbefe165bd" [[package]] name = "cfg-if"
  • @@ -41,7 +35,7 @@
    [[package]] name = "dafny_runtime" version = "0.1.0" - source = "git+https://git.unnamed.website/sdc#37365c164f4b3eb3ae0b12c30aac1ca9e5615a66" + source = "git+https://git.unnamed.website/sdc#86d50fa0fba5e4112ca0e9e9e72ddffc7b2bc211" dependencies = [ "itertools", "num",
  • @@ -69,7 +63,7 @@
    [[package]] name = "fenwick" version = "0.1.0" - source = "git+https://git.unnamed.website/sdc#37365c164f4b3eb3ae0b12c30aac1ca9e5615a66" + source = "git+https://git.unnamed.website/sdc#86d50fa0fba5e4112ca0e9e9e72ddffc7b2bc211" dependencies = [ "dafny_runtime", ]
  • @@ -114,9 +108,9 @@ ]
    [[package]] name = "libc" - version = "0.2.169" + version = "0.2.171" source = "registry+https://github.com/rust-lang/crates.io-index" - checksum = "b5aba8db14291edd000dfcc4d620c7ebfb122c613afb886ca8803fa4e128a20a" + checksum = "c19937216e9d3aa9956d9bb8dfc0b0c8beb6058fc4f7a4dc4d850edf86a237d6" [[package]] name = "libsqlite3-sys"
  • @@ -203,39 +197,39 @@ ]
    [[package]] name = "once_cell" - version = "1.20.2" + version = "1.21.1" source = "registry+https://github.com/rust-lang/crates.io-index" - checksum = "1261fe7e33c73b354eab43b1273a57c8f967d0391e80353e51f764ac02cf6775" + checksum = "d75b0bedcc4fe52caa0e03d9f1151a323e4aa5e2d78ba3580400cd3c9e2bc4bc" [[package]] name = "pkg-config" - version = "0.3.31" + version = "0.3.32" source = "registry+https://github.com/rust-lang/crates.io-index" - checksum = "953ec861398dccce10c670dfeaf3ec4911ca479e9c02154b3a215178c5f566f2" + checksum = "7edddbd0b52d732b21ad9a5fab5c704c14cd949e5e9a1ec5929a24fded1b904c" [[package]] name = "ppv-lite86" - version = "0.2.20" + version = "0.2.21" source = "registry+https://github.com/rust-lang/crates.io-index" - checksum = "77957b295656769bb8ad2b6a6b09d897d94f05c41b069aede1fcdaa675eaea04" + checksum = "85eae3c4ed2f50dcfe72643da4befc30deadb458a9b590d720cde2f2b1e97da9" dependencies = [ - "zerocopy", + "zerocopy 0.8.24", ] [[package]] name = "proc-macro2" - version = "1.0.93" + version = "1.0.94" source = "registry+https://github.com/rust-lang/crates.io-index" - checksum = "60946a68e5f9d28b0dc1c21bb8a97ee7d018a8b322fa57838ba31cc878e22d99" + checksum = "a31971752e70b8b2686d7e46ec17fb38dad4051d94024c88df49b667caea9c84" dependencies = [ "unicode-ident", ] [[package]] name = "quote" - version = "1.0.38" + version = "1.0.40" source = "registry+https://github.com/rust-lang/crates.io-index" - checksum = "0e4dccaaaf89514f546c693ddc140f729f958c247918a13380cccc6078391acc" + checksum = "1885c039570dc00dcb4ff087a89e185fd56bae234ddc7f056a945bf36467248d" dependencies = [ "proc-macro2", ]
  • @@ -296,15 +290,15 @@ ]
    [[package]] name = "smallvec" - version = "1.13.2" + version = "1.14.0" source = "registry+https://github.com/rust-lang/crates.io-index" - checksum = "3c5e1a9a646d36c3599cd173a41282daf47c44583ad367b8e6837255952e5c67" + checksum = "7fcf8323ef1faaee30a44a340193b1ac6814fd9b7b4e88e9d4519a3e4abe1cfd" [[package]] name = "syn" - version = "2.0.96" + version = "2.0.100" source = "registry+https://github.com/rust-lang/crates.io-index" - checksum = "d5d0adab1ae378d7f53bdebc67a39f1f151407ef230f0ce2883572f5d8985c80" + checksum = "b09a44accad81e1ba1cd74a32461ba89dee89095ba17b32f5d03683b1b1fc2a0" dependencies = [ "proc-macro2", "quote",
  • @@ -313,9 +307,9 @@ ]
    [[package]] name = "unicode-ident" - version = "1.0.14" + version = "1.0.18" source = "registry+https://github.com/rust-lang/crates.io-index" - checksum = "adb9e6ca4f869e1180728b7950e35922a7fc6397f7b641499e8f3ef06e50dc83" + checksum = "5a5f39404a5da50712a4c1eecf25e90dd62b613502b7e925fd4e4d19b5c96512" [[package]] name = "vcpkg"
  • @@ -341,8 +335,16 @@ version = "0.7.35"
    source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "1b9b4fd18abc82b8136838da5d50bae7bdea537c574d8dc1a34ed098d6c166f0" dependencies = [ - "byteorder", - "zerocopy-derive", + "zerocopy-derive 0.7.35", + ] + + [[package]] + name = "zerocopy" + version = "0.8.24" + source = "registry+https://github.com/rust-lang/crates.io-index" + checksum = "2586fea28e186957ef732a5f8b3be2da217d65c5969d4b1e17f973ebbe876879" + dependencies = [ + "zerocopy-derive 0.8.24", ] [[package]]
  • @@ -355,3 +357,14 @@ "proc-macro2",
    "quote", "syn", ] + + [[package]] + name = "zerocopy-derive" + version = "0.8.24" + source = "registry+https://github.com/rust-lang/crates.io-index" + checksum = "a996a8f63c5c4448cd959ac1bab0aaa3306ccfd060472f85943ee0750f0169be" + dependencies = [ + "proc-macro2", + "quote", + "syn", + ]