update armadillo to 9.800.3

This commit is contained in:
CismonX 2019-12-09 01:31:13 +08:00
parent 28b1b2590b
commit 3b01039722
1 changed files with 1 additions and 1 deletions

View File

@ -10,7 +10,7 @@ php:
env:
global:
- ARMA_VERSION="9.800.1"
- ARMA_VERSION="9.800.3"
- ARMA_SRC="http://sourceforge.net/projects/arma/files/armadillo-${ARMA_VERSION}.tar.xz"
before_install: