From 7def37af4e1054b1f0134e3d4702538c6cf62547 Mon Sep 17 00:00:00 2001 From: Leah Neukirchen Date: Fri, 2 Aug 2019 15:46:04 +0200 Subject: [PATCH] camlp5: update to 7.08. --- srcpkgs/camlp5/template | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/srcpkgs/camlp5/template b/srcpkgs/camlp5/template index b911c075d6..28fff2aea9 100644 --- a/srcpkgs/camlp5/template +++ b/srcpkgs/camlp5/template @@ -1,6 +1,6 @@ # Template file for 'camlp5' pkgname=camlp5 -version=7.07 +version=7.08 revision=1 build_style=configure configure_args="-mandir /usr/share/man" @@ -13,7 +13,7 @@ distfiles="https://github.com/${pkgname}/${pkgname}/archive/rel${version//./}.ta wrksrc="camlp5-rel${version//./}" nocross=yes nopie=yes -checksum=a2c493b833b217adf94d2000eb19015b990c4e441beb35cf36b1d33ed2351991 +checksum=46e67d8e36e5e4558c414f0b569532a33d3a12d7120ffdc474a6b3da1bfff163 post_install() { vinstall etc/META 0644 usr/lib/ocaml/camlp5