New upstream release (hopefully fixes a GCC 4.7 compilation problem)
New upstream release (hopefully fixes a GCC 4.7 compilation problem)

kumanna/armadillo-debian,kumanna/armadillo-debian,kumanna/armadillo-debian