Antonio Rojas pushed to branch main at Arch Linux / Packaging / Packages / coq
Commits:
2adebd40 by Antonio Rojas at 2024-03-05T08:08:12+01:00
upgpkg: 8.19.1-1: Update to 8.19.1
- - - - -
2 changed files:
- .SRCINFO
- PKGBUILD
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,7 +1,7 @@
pkgbase = coq
pkgdesc = Formal proof management system
- pkgver = 8.18.0
- pkgrel = 2
+ pkgver = 8.19.1
+ pkgrel = 1
url = https://coq.inria.fr/
arch = x86_64
groups = coq
@@ -19,6 +19,7 @@ pkgbase = coq
makedepends = texlive-pictures
makedepends = texlive-fontsextra
makedepends = texlive-mathscience
+ makedepends = texlive-binextra
makedepends = fig2dev
makedepends = imagemagick
makedepends = hevea
@@ -35,9 +36,9 @@ pkgbase = coq
options = !emptydirs
options = !strip
options = staticlibs
- source =
coq-8.18.0.tar.gz::https://github.com/coq/coq/archive/V8.18.0.tar.gz
+ source =
coq-8.19.1.tar.gz::https://github.com/coq/coq/archive/V8.19.1.tar.gz
source =
python-antlr4-4.9.3.tar.gz::https://github.com/antlr/antlr4/archive/4.9.3.tar.gz
- sha256sums =
00a18c796a6e154a1f1bac7e1aef9e14107e0295fa4e0a18f10cdea6fc2e840b
+ sha256sums =
1e535ed924234f18394efce94b12d9247a67e8af29241eb79615804160f21674
sha256sums =
efe4057d75ab48145d4683100fec7f77d7f87fa258707330cadd1f8e6f7eecae
pkgname = coq
=====================================
PKGBUILD
=====================================
@@ -8,8 +8,8 @@
pkgbase=coq
pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.18.0
-pkgrel=2
+pkgver=8.19.1
+pkgrel=1
pkgdesc='Formal proof management system'
arch=('x86_64')
url='https://coq.inria.fr/'
@@ -20,12 +20,12 @@ depends=('ocaml>=4.14.0' 'ocaml-findlib')
makedepends=('ocaml-num' 'ocaml-zarith' 'gtk3' 'gtksourceview3' 'dune' 'git'
'lablgtk3' 'gendesk' # coqide
'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
- 'texlive-fontsextra' 'texlive-mathscience'
+ 'texlive-fontsextra' 'texlive-mathscience' 'texlive-binextra'
'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
'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=('00a18c796a6e154a1f1bac7e1aef9e14107e0295fa4e0a18f10cdea6fc2e840b'
+sha256sums=('1e535ed924234f18394efce94b12d9247a67e8af29241eb79615804160f21674'
'efe4057d75ab48145d4683100fec7f77d7f87fa258707330cadd1f8e6f7eecae')
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/coq/-/commit/2adebd40ed97a2fcb6bbb4b861f6c91d4a0e9c91
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/coq/-/commit/2adebd40ed97a2fcb6bbb4b861f6c91d4a0e9c91
You're receiving this email because of your account on gitlab.archlinux.org.
