100644 blob 18bf750ebde4de93f0dd7b089f4058914b27bb24	Config.in
100644 blob 0046c568b301481062b00794643b2e0e49082a2b	armadillo.hash
100644 blob 607103cd185501b44e14605a6eae663bc9bd7fd0	armadillo.mk