100644 blob 18bf750ebde4de93f0dd7b089f4058914b27bb24	Config.in
100644 blob 4149a777ded4d72fff4cce3995ea18dd9c44f670	armadillo.hash
100644 blob 813a41bdc7e36d9b3c07fed7b803909fffef5a9b	armadillo.mk