diff options
author | SandaruKasa | 2024-05-11 14:13:24 +0300 |
---|---|---|
committer | SandaruKasa | 2024-05-11 14:13:24 +0300 |
commit | 70496b443623815bf0aba921eefcd893955c3437 (patch) | |
tree | 724a891b6f971b9c1843ac8452b2fc905f011ace | |
parent | 8313b307f8bcef69060258df870410f76d2d7737 (diff) | |
download | aur-kani-verifier.tar.gz |
0.51.0
-rw-r--r-- | .SRCINFO | 6 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 5 insertions, 5 deletions
@@ -1,6 +1,6 @@ pkgbase = kani-verifier pkgdesc = Bit-precise model checker for Rust - pkgver = 0.50.0 + pkgver = 0.51.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.50.0.tar.gz::https://static.crates.io/crates/kani-verifier/kani-verifier-0.50.0.crate - sha256sums = ca237f372cdfd4164537dd512a067776f27f64b44ec06a56409cbdac58eb7216 + source = kani-verifier-0.51.0.tar.gz::https://static.crates.io/crates/kani-verifier/kani-verifier-0.51.0.crate + sha256sums = 072652a7825ef9cb0b1a30a170bef1ee94f9aaa4773de5c95ee6d4cbec9d8989 pkgname = kani-verifier @@ -1,7 +1,7 @@ # Maintainer: SandaruKasa <sandarukasa plus aur at ya dot ru> pkgname=kani-verifier -pkgver=0.50.0 +pkgver=0.51.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=('ca237f372cdfd4164537dd512a067776f27f64b44ec06a56409cbdac58eb7216') +sha256sums=('072652a7825ef9cb0b1a30a170bef1ee94f9aaa4773de5c95ee6d4cbec9d8989') _src="${pkgname}-${pkgver}" prepare() { |