Merge pull request #63213 from r-ryantm/auto-update/armadillo

armadillo: 9.400.4 -> 9.500.2
This commit is contained in:
markuskowa 2019-06-17 11:15:39 +02:00 committed by GitHub
commit 092c25ac08
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.400.4";
version = "9.500.2";
name = "armadillo-${version}";
src = fetchurl {
url = "mirror://sourceforge/arma/armadillo-${version}.tar.xz";
sha256 = "1wv08i8mq16hswxkll3kmbfih4hz4d8v7apszm76lwxpya2bm65l";
sha256 = "17npgyavzrbf4d3m28f9j7j8hk2pc91ai9nkkp39hkdflq3kw6hb";
};
nativeBuildInputs = [ cmake ];