[arch-commits] Commit in coq/trunk (PKGBUILD)
Konstantin Gizdov
kgizdov at gemini.archlinux.org
Wed Sep 7 09:23:31 UTC 2022
Date: Wednesday, September 7, 2022 @ 09:23:30
Author: kgizdov
Revision: 1296039
upgpkg: coq 8.16.0-2: FS#75831
Modified:
coq/trunk/PKGBUILD
----------+
PKGBUILD | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2022-09-07 08:44:49 UTC (rev 1296038)
+++ PKGBUILD 2022-09-07 09:23:30 UTC (rev 1296039)
@@ -9,7 +9,7 @@
pkgbase=coq
pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
pkgver=8.16.0
-pkgrel=1
+pkgrel=2
pkgdesc='Formal proof management system'
arch=('x86_64')
url='https://coq.inria.fr/'
@@ -16,8 +16,8 @@
license=('GPL')
groups=('coq')
options=('!emptydirs' '!strip' 'staticlibs')
-depends=('ocaml>=4.14.0')
-makedepends=('ocaml-findlib' 'ocaml-num' 'ocaml-zarith' 'gtk3' 'gtksourceview3' 'dune' 'git'
+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-science'
More information about the arch-commits
mailing list