Date: Saturday, December 11, 2021 @ 12:30:14 Author: juergen Revision: 1068252
OCaml 4.13.1 rebuild Modified: coq/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2021-12-11 12:29:57 UTC (rev 1068251) +++ PKGBUILD 2021-12-11 12:30:14 UTC (rev 1068252) @@ -9,7 +9,7 @@ pkgbase=coq pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc") pkgver=8.14.1 -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.12.0' 'ocaml-num' 'ocaml-zarith' 'gtk3' 'gtksourceview3') +depends=('ocaml>=4.13.1' 'ocaml-num' 'ocaml-zarith' 'gtk3' 'gtksourceview3') makedepends=('ocaml-findlib' 'dune' 'git'