Antonio Rojas pushed to branch main at Arch Linux / Packaging / Packages / coq
Commits:
fd893c7a by Antonio Rojas at 2024-06-29T19:39:14+02:00
upgpkg: 8.19.2-1: Update to 8.19.2
- - - - -
2 changed files:
- .SRCINFO
- PKGBUILD
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,7 +1,7 @@
pkgbase = coq
pkgdesc = Formal proof management system
- pkgver = 8.19.1
- pkgrel = 4
+ pkgver = 8.19.2
+ 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.19.1.tar.gz::https://github.com/coq/coq/archive/V8.19.1.tar.gz
+ source =
coq-8.19.2.tar.gz::https://github.com/coq/coq/archive/V8.19.2.tar.gz
source =
python-antlr4-4.9.3.tar.gz::https://github.com/antlr/antlr4/archive/4.9.3.tar.gz
- sha256sums =
1e535ed924234f18394efce94b12d9247a67e8af29241eb79615804160f21674
+ sha256sums =
18035624bcda4f8cffe5f348e02f0ae2503af1c40de165788d7d45578e6c5725
sha256sums =
efe4057d75ab48145d4683100fec7f77d7f87fa258707330cadd1f8e6f7eecae
pkgname = coq
=====================================
PKGBUILD
=====================================
@@ -8,8 +8,8 @@
pkgbase=coq
pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.19.1
-pkgrel=4
+pkgver=8.19.2
+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";)
-sha256sums=('1e535ed924234f18394efce94b12d9247a67e8af29241eb79615804160f21674'
+sha256sums=('18035624bcda4f8cffe5f348e02f0ae2503af1c40de165788d7d45578e6c5725'
'efe4057d75ab48145d4683100fec7f77d7f87fa258707330cadd1f8e6f7eecae')
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/coq/-/commit/fd893c7a2a292bedcba3d2e4746a2723acdb988d
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/coq/-/commit/fd893c7a2a292bedcba3d2e4746a2723acdb988d
You're receiving this email because of your account on gitlab.archlinux.org.
