100644 blob 9483f181cf7eed2d9df4744977dbae703fcc16e9	Config.in
100644 blob 4149a777ded4d72fff4cce3995ea18dd9c44f670	armadillo.hash
100644 blob 00ba08a1f94c378e585b2f276743735b38a40cd3	armadillo.mk