From 0846dab70d242461cab440efddb6935e70c3d632 Mon Sep 17 00:00:00 2001 From: Alejandro Luebs Date: Thu, 18 May 2023 10:43:50 -1000 Subject: [PATCH] Update Armadillo versio to 9.900.1, since 9.870.2 is marked as broken in sourceforge (#96) --- WORKSPACE | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/WORKSPACE b/WORKSPACE index 442a52c..f3c5aeb 100644 --- a/WORKSPACE +++ b/WORKSPACE @@ -169,9 +169,9 @@ cc_library( visibility = ["//visibility:public"], ) """, - sha256 = "541b5fee4c1c412d0a508791611583fcd4e8ff67c0da0536833e694e700cf756", - strip_prefix = "armadillo-9.870.2", - urls = ["http://sourceforge.net/projects/arma/files/armadillo-9.870.2.tar.xz"], + sha256 = "53d7ad6124d06fdede8d839c091c649c794dae204666f1be0d30d7931737d635", + strip_prefix = "armadillo-9.900.1", + urls = ["http://sourceforge.net/projects/arma/files/armadillo-9.900.1.tar.xz"], ) # PFFFT