Carl Smedstad pushed to branch main at Arch Linux / Packaging / Packages / rocq-stdlib
Commits: 9c2d44ed by Carl Smedstad at 2026-02-11T06:17:33+01:00 upgpkg: 9.1.0-1: Upstream release https://rocq-prover.org/doc/V9.1.0/refman-stdlib/changes.html - - - - - 2 changed files: - .SRCINFO - PKGBUILD Changes: ===================================== .SRCINFO ===================================== @@ -1,6 +1,6 @@ pkgbase = rocq-stdlib pkgdesc = Stdlib for the Rocq Prover - pkgver = 9.0.0 + pkgver = 9.1.0 pkgrel = 1 url = https://rocq-prover.org/ arch = any @@ -14,7 +14,7 @@ pkgbase = rocq-stdlib depends = rocq options = !debug options = staticlibs - source = https://github.com/rocq-prover/stdlib/archive/V9.0.0/rocq-stdlib-9.0.0.tar.gz - b2sums = de68fa0a1528d1ac9843e3b4b34b4e56beeca80d4f0c35f26a103fdf7dee2ed74395961f490d670720f05d40ebc0851a3e4f18bc6224330fd78c2874ecd273b1 + source = https://github.com/rocq-prover/stdlib/archive/V9.1.0/rocq-stdlib-9.1.0.tar.gz + b2sums = e69b7159a56c1ee74577ca34f94dff3198023069e403fd686f4f215ad3db76058c36a657ff26a033bcd732e4993cdefd807fbd5b6963850524aa51cba5e55195 pkgname = rocq-stdlib ===================================== PKGBUILD ===================================== @@ -1,7 +1,7 @@ # Maintainer: Carl Smedstad <[email protected]> pkgname=rocq-stdlib -pkgver=9.0.0 +pkgver=9.1.0 pkgrel=1 pkgdesc="Stdlib for the Rocq Prover" arch=('any') @@ -21,7 +21,7 @@ options=( 'staticlibs' ) source=("https://github.com/rocq-prover/stdlib/archive/V$pkgver/$pkgname-$pkgver.tar.gz";) -b2sums=('de68fa0a1528d1ac9843e3b4b34b4e56beeca80d4f0c35f26a103fdf7dee2ed74395961f490d670720f05d40ebc0851a3e4f18bc6224330fd78c2874ecd273b1') +b2sums=('e69b7159a56c1ee74577ca34f94dff3198023069e403fd686f4f215ad3db76058c36a657ff26a033bcd732e4993cdefd807fbd5b6963850524aa51cba5e55195') build() { cd stdlib-$pkgver View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/rocq-stdlib/-/commit/9c2d44ed80e031591aee18af47f637dcc441b665 -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/rocq-stdlib/-/commit/9c2d44ed80e031591aee18af47f637dcc441b665 You're receiving this email because of your account on gitlab.archlinux.org.
