0.44.0

2 files changed, 5 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 7a97c54f3cea..f5b2b7559527 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = kani-verifier
 	pkgdesc = Bit-precise model checker for Rust
-	pkgver = 0.43.0
+	pkgver = 0.44.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.43.0.tar.gz::https://static.crates.io/crates/kani-verifier/kani-verifier-0.43.0.crate
-	sha256sums = 3122b44e01be5efbe232cef3589aaa74a87c3c23fd2a1d80519d353faf15dbbb
+	source = kani-verifier-0.44.0.tar.gz::https://static.crates.io/crates/kani-verifier/kani-verifier-0.44.0.crate
+	sha256sums = 771ecd8ed1ce8494263f661cc4e3d2f61e7d6774564d2eca7dfc27fcabb31753
 
 pkgname = kani-verifier
diff --git a/PKGBUILD b/PKGBUILD
index 5e74aee3ff78..2e7e1690b6cd 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: SandaruKasa <sandarukasa plus aur at ya dot ru>
 
 pkgname=kani-verifier
-pkgver=0.43.0
+pkgver=0.44.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=('3122b44e01be5efbe232cef3589aaa74a87c3c23fd2a1d80519d353faf15dbbb')
+sha256sums=('771ecd8ed1ce8494263f661cc4e3d2f61e7d6774564d2eca7dfc27fcabb31753')
 _src="${pkgname}-${pkgver}"
 
 prepare() {