0.49.0

2 files changed, 5 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 40d5d2fc0460..561de22a4b2a 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = kani-verifier
 	pkgdesc = Bit-precise model checker for Rust
-	pkgver = 0.48.0
+	pkgver = 0.49.0
 	pkgrel = 1
 	url = https://github.com/model-checking/kani
 	arch = x86_64
@@ -17,7 +17,7 @@ pkgbase = kani-verifier
 	provides = cargo-kani
 	conflicts = kani
 	conflicts = cargo-kani
-	source = kani-verifier-0.48.0.tar.gz::https://static.crates.io/crates/kani-verifier/kani-verifier-0.48.0.crate
-	sha256sums = 638dfad0a5e3ec9e6473fb7679240a3d69641aa7c545bdaa1bcc7c036b027eba
+	source = kani-verifier-0.49.0.tar.gz::https://static.crates.io/crates/kani-verifier/kani-verifier-0.49.0.crate
+	sha256sums = e2d57b04e250ddf497329c165b92b65dab4fd771bfe24234c733258494171d7b
 
 pkgname = kani-verifier
diff --git a/PKGBUILD b/PKGBUILD
index f0d7ac8a618a..98b3dc6aa327 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: SandaruKasa <sandarukasa plus aur at ya dot ru>
 
 pkgname=kani-verifier
-pkgver=0.48.0
+pkgver=0.49.0
 pkgrel=1
 pkgdesc='Bit-precise model checker for Rust'
 arch=('x86_64' 'aarch64')
@@ -12,7 +12,7 @@ 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=('638dfad0a5e3ec9e6473fb7679240a3d69641aa7c545bdaa1bcc7c036b027eba')
+sha256sums=('e2d57b04e250ddf497329c165b92b65dab4fd771bfe24234c733258494171d7b')
 _src="${pkgname}-${pkgver}"
 
 prepare() {