100644 blob 9483f181cf7eed2d9df4744977dbae703fcc16e9	Config.in
100644 blob 4149a777ded4d72fff4cce3995ea18dd9c44f670	armadillo.hash
100644 blob 714c1b2ddf32d99d4c4df406471add300203b206	armadillo.mk