Build fails due to outdated armadillo version and checksum in WORKSPACE#122

Open

aadilghani1 wants to merge 1 commit intogoogle:masterfrom aadilghani1:master

+3-3

Commits on Sep 15, 2024

fix: update latest armadillo version from sourceforge to make sure build completes
aadilghani1
committed