Jürgen Hötzel pushed to branch main at Arch Linux / Packaging / Packages / rocq
Commits:
5c7434b6 by Juergen Hoetzel at 2025-11-01T14:39:01+01:00
upgpkg: 9.1.0-2: OCaml 5.4.0-1 rebuild
- - - - -
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 = 1
+ pkgrel = 2
url = https://rocq-prover.org/
arch = x86_64
license = LGPL-2.1-or-later
=====================================
PKGBUILD
=====================================
@@ -13,7 +13,7 @@ pkgname=(
rocqide
)
pkgver=9.1.0
-pkgrel=1
+pkgrel=2
pkgdesc="Interactive theorem prover, or proof assistant"
arch=('x86_64')
url="https://rocq-prover.org/";
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/rocq/-/commit/5c7434b6f4a3ad40290a7a7ba0d25c0af090cd64
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/rocq/-/commit/5c7434b6f4a3ad40290a7a7ba0d25c0af090cd64
You're receiving this email because of your account on gitlab.archlinux.org.
