100644 blob b2b61a3233de7fdbaaa052331f0ddf7fdeaf9fce	Config.in
100644 blob cc91fb456aa0f8a4e7378db582a453bf67e7a307	armadillo.hash
100644 blob 624b842ef6f34d51a21bf715faa2b4c0d68739b9	armadillo.mk