100644 blob 7aed4fd02fe9967d4dba1e9b879b610c7dd38f4b	Config.in
100644 blob cc91fb456aa0f8a4e7378db582a453bf67e7a307	armadillo.hash
100644 blob 8661bfd9da8787ad889093e9ae2b406ed6a04507	armadillo.mk