camlp5: update to 7.10.

This commit is contained in:
Leah Neukirchen 2019-08-26 10:30:16 +02:00
parent 476c1ab219
commit 7063fd3ed1
1 changed files with 2 additions and 2 deletions

View File

@ -1,6 +1,6 @@
# Template file for 'camlp5'
pkgname=camlp5
version=7.08
version=7.10
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=46e67d8e36e5e4558c414f0b569532a33d3a12d7120ffdc474a6b3da1bfff163
checksum=83dff83d33ee9b70cd1b9d8d365db63a118201e5feb6aab49d9d3b1d62621784
post_install() {
vinstall etc/META 0644 usr/lib/ocaml/camlp5