TIMESTAMP = 1525286738
SHA256 (armadillo-8.500.0.tar.xz) = f51c69f45cfbd4773c77ded333c8ff9cdd9a8e0d5a1c011b6a0333ab4b8cbbf1
SIZE (armadillo-8.500.0.tar.xz) = 4604556
