0.47.0

2 files changed, 6 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 7c74f685991b..6dd430598a21 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = kani-verifier
 	pkgdesc = Bit-precise model checker for Rust
-	pkgver = 0.46.0
+	pkgver = 0.47.0
 	pkgrel = 1
 	url = https://github.com/model-checking/kani
 	arch = x86_64
@@ -18,7 +18,7 @@ pkgbase = kani-verifier
 	provides = cargo-kani
 	conflicts = kani
 	conflicts = cargo-kani
-	source = kani-verifier-0.46.0.tar.gz::https://static.crates.io/crates/kani-verifier/kani-verifier-0.46.0.crate
-	sha256sums = 5bfc685aa7ce9475363968b4fb63b077774cd7412ee3f92a41e2da04c1a7774f
+	source = kani-verifier-0.47.0.tar.gz::https://static.crates.io/crates/kani-verifier/kani-verifier-0.47.0.crate
+	sha256sums = afd43d4541626d4354e408f81f3c6662e9aaa54619695cbb63f30fd8cbd40a68
 
 pkgname = kani-verifier
diff --git a/PKGBUILD b/PKGBUILD
index 7c85e978d893..7b3cc48c20e9 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: SandaruKasa <sandarukasa plus aur at ya dot ru>
 
 pkgname=kani-verifier
-pkgver=0.46.0
+pkgver=0.47.0
 pkgrel=1
 pkgdesc='Bit-precise model checker for Rust'
 arch=('x86_64' 'aarch64')
@@ -12,11 +12,12 @@ depends=(gcc-libs glibc)
 provides=(kani cargo-kani)
 conflicts=(kani cargo-kani)
 source=("$pkgname-$pkgver.tar.gz::https://static.crates.io/crates/$pkgname/$pkgname-$pkgver.crate")
-sha256sums=('5bfc685aa7ce9475363968b4fb63b077774cd7412ee3f92a41e2da04c1a7774f')
+sha256sums=('afd43d4541626d4354e408f81f3c6662e9aaa54619695cbb63f30fd8cbd40a68')
 _src="${pkgname}-${pkgver}"
 
 prepare() {
   cd "${_src}"
+  rm -f rust-toolchain.toml
   cargo fetch --locked --target "$(rustc -vV | sed -n 's/host: //p')"
 }