* [PR PATCH] armadillo: update to 9.400.3.
@ 2019-05-08 11:15 voidlinux-github
2019-05-08 14:04 ` [PR PATCH] [Merged]: " voidlinux-github
0 siblings, 1 reply; 2+ messages in thread
From: voidlinux-github @ 2019-05-08 11:15 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 310 bytes --]
There is a new pull request by jnbr against master on the void-packages repository
https://github.com/jnbr/void-packages armadillo
https://github.com/void-linux/void-packages/pull/11556
armadillo: update to 9.400.3.
A patch file from https://github.com/void-linux/void-packages/pull/11556.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-armadillo-11556.patch --]
[-- Type: application/text/x-diff, Size: 1067 bytes --]
From c5475ebc24b045cdf31e5cc1d5b4ae2e01e6644c Mon Sep 17 00:00:00 2001
From: Johannes <johannes.brechtmann@gmail.com>
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 <dehos@lisic.univ-littoral.fr>"
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"
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2019-05-08 14:04 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-05-08 11:15 [PR PATCH] armadillo: update to 9.400.3 voidlinux-github
2019-05-08 14:04 ` [PR PATCH] [Merged]: " voidlinux-github
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).