Antonio Rojas pushed to branch main at Arch Linux / Packaging / Packages / coq
Commits:
a8020a0c by Antonio Rojas at 2024-05-06T00:45:10+02:00
upgpkg: 8.19.1-3: Rebuild for LTO version bump
- - - - -
2 changed files:
- .SRCINFO
- PKGBUILD
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,7 +1,7 @@
pkgbase = coq
pkgdesc = Formal proof management system
pkgver = 8.19.1
- pkgrel = 2
+ pkgrel = 3
url = https://coq.inria.fr/
arch = x86_64
groups = coq
@@ -36,6 +36,7 @@ pkgbase = coq
options = !emptydirs
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 =
python-antlr4-4.9.3.tar.gz::https://github.com/antlr/antlr4/archive/4.9.3.tar.gz
sha256sums =
1e535ed924234f18394efce94b12d9247a67e8af29241eb79615804160f21674
=====================================
PKGBUILD
=====================================
@@ -9,13 +9,13 @@
pkgbase=coq
pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
pkgver=8.19.1
-pkgrel=2
+pkgrel=3
pkgdesc='Formal proof management system'
arch=('x86_64')
url='https://coq.inria.fr/'
license=('GPL')
groups=('coq')
-options=('!emptydirs' '!strip' 'staticlibs')
+options=('!emptydirs' '!strip' 'staticlibs' '!debug')
depends=('ocaml' 'ocaml-findlib')
makedepends=('ocaml-num' 'ocaml-zarith' 'gtk3' 'gtksourceview3' 'dune' 'git'
'lablgtk3' 'gendesk' # coqide
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/coq/-/commit/a8020a0c690f098891126527b5f92e0a9a379565
--
This project does not include diff previews in email notifications.
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/coq/-/commit/a8020a0c690f098891126527b5f92e0a9a379565
You're receiving this email because of your account on gitlab.archlinux.org.
