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

armadillo: 9.600.6 -> 9.700.2
This commit is contained in:
markuskowa 2019-09-26 10:41:46 +02:00 committed by GitHub
commit 954220b341
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -2,11 +2,11 @@
stdenv.mkDerivation rec {
pname = "armadillo";
version = "9.600.6";
version = "9.700.2";
src = fetchurl {
url = "mirror://sourceforge/arma/armadillo-${version}.tar.xz";
sha256 = "0wlk1yv9531vpvgja4cpy0sxykrn0p5w376kx86vl45b50yamx7g";
sha256 = "1g88mizzkza91v51fz174gg0700f6y6snshplffpqw2gjx42ngwj";
};
nativeBuildInputs = [ cmake ];