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

[Jürgen Hötzel]

    Date: Saturday, August 29, 2020 @ 13:17:27
  Author: juergen
Revision: 692208

OCaml 4.11.0 rebuild

Modified:
  coq/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2020-08-29 13:16:57 UTC (rev 692207)
+++ PKGBUILD	2020-08-29 13:17:27 UTC (rev 692208)
@@ -7,7 +7,7 @@
 
 pkgname=('coq' 'coqide' 'coq-doc')
 pkgver=8.12.0
-pkgrel=1
+pkgrel=2
 pkgdesc='Formal proof management system'
 arch=('x86_64')
 url='https://coq.inria.fr/'
@@ -14,7 +14,7 @@
 license=('GPL')
 groups=('coq')
 options=('!emptydirs')
-depends=('ocaml' 'ocaml-num' 'gtk3' 'gtksourceview3')
+depends=('ocaml>=4.11.0' 'ocaml-num' 'gtk3' 'gtksourceview3')
 makedepends=('ocaml-findlib'
              'lablgtk3' 'gendesk' # coqide
              'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc