update trilinos to 12.4.2

diff --git a/deal.II-toolchain/packages/trilinos.package b/deal.II-toolchain/packages/trilinos.package
index 9068a71f6898ba3a704242451c5a82c0eb5e4205..515bfd0f73f0028a3d459c5508ca8419e63fde59 100644 (file)
--- a/deal.II-toolchain/packages/trilinos.package
+++ b/deal.II-toolchain/packages/trilinos.package
@@ -4,8 +4,8 @@ fi
 
 if [ ${TRILINOS_MAJOR_VERSION} = "AUTO" ] || [ ${TRILINOS_MAJOR_VERSION} = "12" ]; then
     SOURCE=http://trilinos.csbsju.edu/download/files/
-    VERSION=12.2.1
-    CHECKSUM=760f14cbce482b4b9a41d1c18297b531
+    VERSION=12.4.2
+    CHECKSUM=6256264c5c8bc47253dbb38eb6ba26d1
 
 elif [ ${TRILINOS_MAJOR_VERSION} = "11" ]; then
     SOURCE=https://trilinos.org/oldsite/download/files/