1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-09-11 23:09:47 +00:00

Upgrade local Matio to 1.15.12

This commit is contained in:
Carles Fernandez 2018-03-10 18:38:57 +01:00
parent 3ac2860f33
commit 9b63f038c7

View File

@ -330,7 +330,7 @@ set(GNSSSDR_ARMADILLO_LOCAL_VERSION "unstable")
set(GNSSSDR_GTEST_LOCAL_VERSION "1.8.0")
set(GNSSSDR_GNSS_SIM_LOCAL_VERSION "master")
set(GNSSSDR_GPSTK_LOCAL_VERSION "2.10")
set(GNSSSDR_MATIO_LOCAL_VERSION "1.5.11")
set(GNSSSDR_MATIO_LOCAL_VERSION "1.5.12")