Merge pull request #35502 from ryantm/auto-update/armadillo-8.300.0-to-8.400.0

armadillo: 8.300.0 -> 8.400.0
This commit is contained in:
adisbladis 2018-02-26 17:52:33 +08:00 committed by GitHub
commit 0b2bd98421
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, fetchurl, cmake, openblasCompat, superlu, hdf5 }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
version = "8.300.0"; version = "8.400.0";
name = "armadillo-${version}"; name = "armadillo-${version}";
src = fetchurl { src = fetchurl {
url = "mirror://sourceforge/arma/armadillo-${version}.tar.xz"; url = "mirror://sourceforge/arma/armadillo-${version}.tar.xz";
sha256 = "0g6wcfrmb2hndz995wrlc80v6d39mhxf26lmycaqv5bjfq050ic5"; sha256 = "16yxhn904ll48879vmycv84rja28im0mrcfgb03nm7bs8lpvrdjw";
}; };
nativeBuildInputs = [ cmake ]; nativeBuildInputs = [ cmake ];