Merge pull request #62308 from dtzWill/update/armadillo-9.400.4

armadillo: 9.300.2 -> 9.400.4
This commit is contained in:
markuskowa 2019-06-01 13:21:49 +02:00 committed by GitHub
commit 81dad514c7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,12 +1,12 @@
{ stdenv, fetchurl, cmake, openblasCompat, superlu, hdf5 }:
stdenv.mkDerivation rec {
version = "9.300.2";
version = "9.400.4";
name = "armadillo-${version}";
src = fetchurl {
url = "mirror://sourceforge/arma/armadillo-${version}.tar.xz";
sha256 = "1d2nsbspj9vzgzb6w2vgjv2wzidjzc8sr8wkz2zl7wxpgspl299n";
sha256 = "1wv08i8mq16hswxkll3kmbfih4hz4d8v7apszm76lwxpya2bm65l";
};
nativeBuildInputs = [ cmake ];