From 3c80ce40b5e7ebe17857b22baff979d4288932a0 Mon Sep 17 00:00:00 2001 From: Fabian Castelli Date: Sat, 28 Aug 2021 09:48:57 +0200 Subject: [PATCH] Load v1.4.0 by default --- deal.II-toolchain/packages/ginkgo.package | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deal.II-toolchain/packages/ginkgo.package b/deal.II-toolchain/packages/ginkgo.package index 17bf71c..21c1b40 100644 --- a/deal.II-toolchain/packages/ginkgo.package +++ b/deal.II-toolchain/packages/ginkgo.package @@ -2,7 +2,7 @@ ## GINKGO ## ################################################################################ -VERSION=develop +VERSION=v1.4.0 NAME=ginkgo.git SOURCE=https://github.com/ginkgo-project/ EXTRACTSTO=ginkgo-${VERSION} -- 2.39.5