Orhun Parmaksız pushed to branch main at Arch Linux / Packaging / Packages /
kani
Commits:
3cea0630 by Orhun Parmaksız at 2025-02-12T22:27:43+03:00
upgpkg: 0.59.0-1: upstream release
- - - - -
2 changed files:
- .SRCINFO
- PKGBUILD
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,7 +1,7 @@
pkgbase = kani
pkgdesc = Bit-precise model checker for Rust
- pkgver = 0.56.0
- pkgrel = 2
+ pkgver = 0.59.0
+ pkgrel = 1
url = https://github.com/model-checking/kani
arch = x86_64
license = Apache-2.0
@@ -11,11 +11,11 @@ pkgbase = kani
depends = gcc-libs
provides = cargo-kani
provides = kani-verifier
- source =
kani-0.56.0::git+https://github.com/model-checking/kani#commit=abd68b963c6e4a9508ce9f6950f3d26134631eba
+ source =
kani-0.59.0::git+https://github.com/model-checking/kani#commit=94ed3f71792b0bbf439654eebbcda1a5a7a89765
source = kani-charon::git+https://github.com/AeneasVerif/charon
source =
kani-firecracker::git+https://github.com/firecracker-microvm/firecracker.git
source = kani-s2n-quic::git+https://github.com/aws/s2n-quic
- sha256sums =
9db47b4f7fe0dc2a238042e390f69d35dd4d8a5252395fe009282feab38c3711
+ sha256sums =
001bc9c9192fe764da47624c95b5f1a14f87567f25e6588df6ed06a4ec2ea682
sha256sums = SKIP
sha256sums = SKIP
sha256sums = SKIP
=====================================
PKGBUILD
=====================================
@@ -2,9 +2,9 @@
# Contributor: SandaruKasa <sandarukasa plus aur at ya dot ru>
pkgname=kani
-pkgver=0.56.0
-pkgrel=2
-_gitcommit=abd68b963c6e4a9508ce9f6950f3d26134631eba
+pkgver=0.59.0
+pkgrel=1
+_gitcommit=94ed3f71792b0bbf439654eebbcda1a5a7a89765
pkgdesc='Bit-precise model checker for Rust'
arch=('x86_64')
url="https://github.com/model-checking/kani";
@@ -18,7 +18,7 @@ source=(
"${pkgname}-firecracker::git+https://github.com/firecracker-microvm/firecracker.git";
"${pkgname}-s2n-quic::git+https://github.com/aws/s2n-quic";
)
-sha256sums=('9db47b4f7fe0dc2a238042e390f69d35dd4d8a5252395fe009282feab38c3711'
+sha256sums=('001bc9c9192fe764da47624c95b5f1a14f87567f25e6588df6ed06a4ec2ea682'
'SKIP'
'SKIP'
'SKIP')
@@ -34,21 +34,17 @@ prepare() {
git -c protocol.file.allow=always submodule update --init --recursive
- rm -f rust-toolchain.toml
- export RUSTUP_TOOLCHAIN=nightly
rustup component add rust-src rustc-dev llvm-tools-preview
cargo fetch --locked --target "$(rustc -vV | sed -n 's/host: //p')"
}
build() {
cd "${_src}"
- export RUSTUP_TOOLCHAIN=nightly
cargo build --frozen --release --all-features
}
check() {
cd "${_src}"
- export RUSTUP_TOOLCHAIN=nightly
cargo test --frozen --all-features
}
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/kani/-/commit/3cea0630882608f82d0463ffe1ff05ed709a928e
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/kani/-/commit/3cea0630882608f82d0463ffe1ff05ed709a928e
You're receiving this email because of your account on gitlab.archlinux.org.
