package/armadillo: bump to version 14.4.2
Release notes:
https://arma.sourceforge.net/docs.html#changelog
Signed-off-by: Dario Binacchi <dario.binacchi@amarulasolutions.com>
Signed-off-by: Julien Olivain <ju.o@free.fr>
(cherry picked from commit 609ea9789f1b714c182424a3f18aa402c9766e80)
Signed-off-by: Thomas Perale <thomas.perale@mind.be>