Consider using Debian version of Armadillo #127
Description
Armadillo is packaged in Debian-based distros. Use that library instead of own Armadillo patch. However, Windows or other Linux distributions would still need the sources of Armadillo.
{{ message }}