Load v1.4.0 by default

diff --git a/deal.II-toolchain/packages/ginkgo.package b/deal.II-toolchain/packages/ginkgo.package
index 17bf71c9e039abaabdfd84aabdcffaf3b9d1bc09..21c1b401f1a2fe9f812d6d71d622a20a7989f3a6 100644 (file)
--- 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}