[arch-commits] Commit in coq/trunk (PKGBUILD)

[Jürgen Hötzel]

    Date: Tuesday, July 27, 2021 @ 15:56:07
  Author: juergen
Revision: 987799

ocaml-4.12.0 rebuild

Modified:
  coq/trunk/PKGBUILD

----------+
 PKGBUILD |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2021-07-27 15:55:48 UTC (rev 987798)
+++ PKGBUILD	2021-07-27 15:56:07 UTC (rev 987799)
@@ -9,7 +9,7 @@
 pkgbase=coq
 pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
 pkgver=8.13.2
-pkgrel=1
+pkgrel=2
 pkgdesc='Formal proof management system'
 arch=('x86_64')
 url='https://coq.inria.fr/'
@@ -16,7 +16,7 @@
 license=('GPL')
 groups=('coq')
 options=('!emptydirs')
-depends=('ocaml>=4.11.0' 'ocaml-num' 'ocaml-zarith' 'gtk3' 'gtksourceview3')
+depends=('ocaml>=4.12.0' 'ocaml-num' 'ocaml-zarith' 'gtk3' 'gtksourceview3')
 makedepends=('ocaml-findlib'
              'lablgtk3' 'gendesk' # coqide
              'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc