4.5 instead because Dafny uses prerelease versions wrong :P

smithy-lang · May 6, 2024 · 74afd1a · 74afd1a
1 parent 26974a6
commit 74afd1a
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/...an/codegen-patches/rust/dafny-4.6.0.patch → ...an/codegen-patches/rust/dafny-4.5.0.patch b/...an/codegen-patches/rust/dafny-4.6.0.patch → ...an/codegen-patches/rust/dafny-4.5.0.patch