From bd61f64ff3dfa5a2876da28cc5f7d66781608d7a Mon Sep 17 00:00:00 2001
From: Joshua Liebow-Feeser <hello@joshlf.com>
Date: Sun, 22 Sep 2024 18:41:32 -0700
Subject: [PATCH] Fix CI

---
 .github/workflows/ci.yml | 4 ++++
 Cargo.toml               | 6 +-----
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index dd06bf2c0c..a4331e4ab1 100644
--- a/.github/workflows/ci.yml
+++ b/.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`
diff --git a/Cargo.toml b/Cargo.toml
index cbfee8e5cd..bcee82fd45 100644
--- a/Cargo.toml
+++ b/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.