100644 blob b2b61a3233de7fdbaaa052331f0ddf7fdeaf9fce	Config.in
100644 blob 6b3c4a855f231e88f4185319a7ddbae819e244ca	armadillo.hash
100644 blob 5d9e3eda5754b02e6ba47d5fcd2cb7c64b789a02	armadillo.mk