armadillo: update to 9.200.5.

This commit is contained in:
Johannes 2018-12-03 13:06:35 +01:00 committed by Johannes
parent dc117debc1
commit 559c75c75d

View file

@ -1,6 +1,6 @@
# Template file for 'armadillo'
pkgname=armadillo
version=9.200.4
version=9.200.5
revision=1
build_style=cmake
configure_args="$(vopt_if hdf5 -DDETECT_HDF5=ON)"
@ -11,7 +11,7 @@ maintainer="Julien Dehos <dehos@lisic.univ-littoral.fr>"
license="Apache-2.0"
homepage="http://arma.sourceforge.net/"
distfiles="${SOURCEFORGE_SITE}/arma/${pkgname}-${version}.tar.xz"
checksum=10d1cc38503624bf1ad8c55c0d53b4feb80f04fcb3f5c3e6a69ba95d00f17966
checksum=4a47fdb13178a252bccae683d3bc0634effe69682abfe0d92f5e73ab2b99462b
build_options="hdf5"
if [ -z "$CROSS_BUILD" ]; then