Carl Smedstad pushed to branch main at Arch Linux / Packaging / Packages / rocq
Commits: 28b493e8 by Carl Smedstad at 2026-02-09T19:14:43+01:00 upgpkg: 9.1.1-1: Upstream release https://rocq-prover.org/doc/v9.1/refman/changes.html#version-9-1 - - - - - 2 changed files: - .SRCINFO - PKGBUILD Changes: ===================================== .SRCINFO ===================================== @@ -1,7 +1,7 @@ pkgbase = rocq pkgdesc = Interactive theorem prover, or proof assistant - pkgver = 9.1.0 - pkgrel = 4 + pkgver = 9.1.1 + pkgrel = 1 url = https://rocq-prover.org/ arch = x86_64 license = LGPL-2.1-only @@ -22,9 +22,9 @@ pkgbase = rocq makedepends = pango options = !debug options = staticlibs - source = https://github.com/rocq-prover/rocq/archive/V9.1.0/rocq-9.1.0.tar.gz + source = https://github.com/rocq-prover/rocq/archive/V9.1.1/rocq-9.1.1.tar.gz source = rocqide.desktop - b2sums = 3dc0cc1584f3c042324ec85eb4b5afd236a9f8391b059d6fc163dea846496bade7e7d2894795d348d44882409d30cb70a7120b47c0b3a1a7e1dc18c048a6f30e + b2sums = 392ea63d6dfbc1404a04fe37fcb26f21321c50bdccf8d626b490d490607ec6c6344a1b0a81d87805ef2b3ded54ab2af6cb4289ea2d8153afe6e79ae8d9125ba6 b2sums = d0c410885cfeeb1e2339e0b5df54bd15b21b07e6cb57b579821e01d5e9ec50db5563fa9abfe1c87539131a0a7129c1a4abd8a055c60ef540ce8411c52c809627 pkgname = rocq ===================================== PKGBUILD ===================================== @@ -12,8 +12,8 @@ pkgname=( rocq rocqide ) -pkgver=9.1.0 -pkgrel=4 +pkgver=9.1.1 +pkgrel=1 pkgdesc="Interactive theorem prover, or proof assistant" arch=('x86_64') url="https://rocq-prover.org/"; @@ -43,7 +43,7 @@ source=( "https://github.com/rocq-prover/rocq/archive/V$pkgver/$pkgbase-$pkgver.tar.gz"; "rocqide.desktop" ) -b2sums=('3dc0cc1584f3c042324ec85eb4b5afd236a9f8391b059d6fc163dea846496bade7e7d2894795d348d44882409d30cb70a7120b47c0b3a1a7e1dc18c048a6f30e' +b2sums=('392ea63d6dfbc1404a04fe37fcb26f21321c50bdccf8d626b490d490607ec6c6344a1b0a81d87805ef2b3ded54ab2af6cb4289ea2d8153afe6e79ae8d9125ba6' 'd0c410885cfeeb1e2339e0b5df54bd15b21b07e6cb57b579821e01d5e9ec50db5563fa9abfe1c87539131a0a7129c1a4abd8a055c60ef540ce8411c52c809627') build() { View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/rocq/-/commit/28b493e87e19739181c62daee50223e406d79e8e -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/rocq/-/commit/28b493e87e19739181c62daee50223e406d79e8e You're receiving this email because of your account on gitlab.archlinux.org.
