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 /PKGBUILD | |
| parent | 8313b307f8bcef69060258df870410f76d2d7737 (diff) | |
| download | aur-kani-verifier.tar.gz | |
0.51.0
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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() { |