DIST armadillo-6.700.5.tar.gz 5470242 SHA256 d5817a8ff07da3bd8753b1e037ef39e7a6c81d88bb7119a2a8e6c3dc93b48db1 SHA512 1472056a809cc9f79c4e235c871253c689aa359c05efb158c98c8816b9ce7e4997e17bdaf6965711b3d1cc408d2ca74e1d438dcc5aa08cd322b352935f75887d WHIRLPOOL 803f7f02a726dc6ace0b980aac1503509d0d741e4794f1a8578e5c8d9665038007ae8841e1c59f8d63002ea91cd86139e22b6d64d3f2317929adf239bba8808b