Antonio Rojas pushed to branch main at Arch Linux / Packaging / Packages / coq
Commits:
8a5033f4 by Antonio Rojas at 2025-01-18T23:47:48+01:00
upgpkg: 8.20.1-1: Update to 8.20.1
- - - - -
2 changed files:
- .SRCINFO
- PKGBUILD
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,7 +1,7 @@
pkgbase = coq
pkgdesc = Formal proof management system
- pkgver = 8.20.0
- pkgrel = 2
+ pkgver = 8.20.1
+ pkgrel = 1
url = https://coq.inria.fr/
arch = x86_64
groups = coq
@@ -37,9 +37,9 @@ pkgbase = coq
options = !strip
options = staticlibs
options = !debug
- source =
coq-8.20.0.tar.gz::https://github.com/coq/coq/archive/V8.20.0.tar.gz
+ source =
coq-8.20.1.tar.gz::https://github.com/coq/coq/archive/V8.20.1.tar.gz
source =
python-antlr4-4.9.3.tar.gz::https://github.com/antlr/antlr4/archive/4.9.3.tar.gz
- b2sums =
9b489db0cc6874b0a629f3bdb4b503201005ec95a3375441538cd7e51d371a39561b9d0ab23ac485652782fdc7ae8d90c97ca1ff4d9a85fb8727a39ed4a6f48c
+ b2sums =
c48ef00a8d558c2cb5f2c82755b1068f29c03ebf7592ac1b474b844fc9e4b21bbf43378b43aa3af88bdc03e193e91047ac9991fd1143a3b447554cdecf8224f3
b2sums =
fb58f5e533051cb2c439c32f0462c1d463c99df862ba7e1a37a1c61378ab36a9edb9525c2a342de5b517da6f02d8291de5976c550932314f3464aad1a778afb9
pkgname = coq
=====================================
PKGBUILD
=====================================
@@ -8,8 +8,8 @@
pkgbase=coq
pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.20.0
-pkgrel=2
+pkgver=8.20.1
+pkgrel=1
pkgdesc='Formal proof management system'
arch=('x86_64')
url='https://coq.inria.fr/'
@@ -25,7 +25,7 @@ makedepends=('ocaml-num' 'ocaml-zarith' 'gtk3'
'gtksourceview3' 'dune' 'git'
'python' 'python-sphinx' 'python-sphinx_rtd_theme'
'python-pexpect'
'python-beautifulsoup4' 'python-sphinxcontrib-bibtex' 'antlr4')
source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz";
"python-antlr4-4.9.3.tar.gz::https://github.com/antlr/antlr4/archive/4.9.3.tar.gz";)
-b2sums=('9b489db0cc6874b0a629f3bdb4b503201005ec95a3375441538cd7e51d371a39561b9d0ab23ac485652782fdc7ae8d90c97ca1ff4d9a85fb8727a39ed4a6f48c'
+b2sums=('c48ef00a8d558c2cb5f2c82755b1068f29c03ebf7592ac1b474b844fc9e4b21bbf43378b43aa3af88bdc03e193e91047ac9991fd1143a3b447554cdecf8224f3'
'fb58f5e533051cb2c439c32f0462c1d463c99df862ba7e1a37a1c61378ab36a9edb9525c2a342de5b517da6f02d8291de5976c550932314f3464aad1a778afb9')
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/coq/-/commit/8a5033f4bfa83444b51da70c62469ae8556c8485
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/coq/-/commit/8a5033f4bfa83444b51da70c62469ae8556c8485
You're receiving this email because of your account on gitlab.archlinux.org.
