Fix CI

.github/workflows/ci.yml

@@ -276,6 +276,10 @@ jobs:
     name: 'Run tests under Kani'
     steps:
       - uses: actions/checkout@0ad4b8fadaa221de15dcec353f45205ec38ea70b # v4.1.4
+      - run: |
+          # Change local crate versions to 0.0.0 to work around Kani bug.
+          sed -i -e 's/^zerocopy-derive = { version = "=[0-9a-zA-Z\.-]*"/zerocopy-derive = { version = "=0.0.0"/' Cargo.toml
+          sed -i -e 's/^version = "[0-9a-zA-Z\.-]*"/version = "0.0.0"/' Cargo.toml zerocopy-derive/Cargo.toml
       - uses: model-checking/kani-github-action@f838096619a707b0f6b2118cf435eaccfa33e51f # v1.1
         with:
           # Use `--features __internal_use_only_features_that_work_on_stable`

Cargo.toml

@@ -52,11 +52,7 @@ __internal_use_only_features_that_work_on_stable = ["alloc", "derive", "simd"]
 
 [dependencies]
 zerocopy-derive = { version = "=0.7.35", path = "zerocopy-derive", optional = true }
-
-[dependencies.byteorder]
-version = "1.3"
-default-features = false
-optional = true
+byteorder = { version = "1.3", default-features = false, optional = true }
 
 # The "associated proc macro pattern" ensures that the versions of zerocopy and
 # zerocopy-derive remain equal, even if the 'derive' feature isn't used.