From 08200ec756c236211b30e2197571fcd8cde7a2e4 Mon Sep 17 00:00:00 2001 From: Johannes Date: Wed, 8 May 2019 13:14:39 +0200 Subject: [PATCH] armadillo: update to 9.400.3. --- srcpkgs/armadillo/template | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/srcpkgs/armadillo/template b/srcpkgs/armadillo/template index fff5ed43ee0..4839502133a 100644 --- a/srcpkgs/armadillo/template +++ b/srcpkgs/armadillo/template @@ -1,6 +1,6 @@ # Template file for 'armadillo' pkgname=armadillo -version=9.400.2 +version=9.400.3 revision=1 build_style=cmake configure_args="-DDETECT_HDF5=$(vopt_if hdf5 ON OFF)" @@ -11,7 +11,7 @@ maintainer="Julien Dehos " license="Apache-2.0" homepage="http://arma.sourceforge.net/" distfiles="${SOURCEFORGE_SITE}/arma/${pkgname}-${version}.tar.xz" -checksum=2e49b1c6e838c51f0229951b009e54e190a19de9abecc33aed37878e7d0f94a7 +checksum=f4c9ce4ee719e935f0046dcafb3fe40ffd8e1b80cc16a4d2c03332ea37d857a6 build_options="hdf5" desc_option_hdf5="HDF5 support"