Date: Saturday, August 29, 2020 @ 13:15:59 Author: juergen Revision: 692202
upgpkg: camlp5 7.12-11 Modified: camlp5/trunk/PKGBUILD ----------+ PKGBUILD | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-08-29 13:15:16 UTC (rev 692201) +++ PKGBUILD 2020-08-29 13:15:59 UTC (rev 692202) @@ -8,18 +8,18 @@ # Contributor: Tej Chajed <tchajed at mit dot edu> pkgname=camlp5 -pkgver=7.11 -_relname=rel711 -pkgrel=2 +pkgver=7.12 +_relname=rel712 +pkgrel=11 arch=('x86_64') pkgdesc='A preprocessor-pretty-printer of OCaml.' url='https://camlp5.github.io/' license=('BSD') -depends=('ocaml') -makedepends=('ocaml-compiler-libs') +depends=('ocaml>=4.11.0') +makedepends=('ocaml-compiler-libs>=4.11.0') source=("camlp5-${_relname}.tar.gz::https://github.com/camlp5/camlp5/archive/$_relname.tar.gz") +sha256sums=('fc4b50b9d917c2f844b909bdfd55735f3f658e32a415f0decc1c265bf3af42be') options=('staticlibs') -sha256sums=('a048b8e0feb2a1058187824fc9cb6b55f2c5b788c43c15d6db090d789c7121ba') build() { cd "${srcdir}/camlp5-${_relname}"