From 3c80ce40b5e7ebe17857b22baff979d4288932a0 Mon Sep 17 00:00:00 2001
From: Fabian Castelli <fabian.castelli@kit.edu>
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