From 13bfd39d19c3a5d804c3f425bd0e24314a305c20 Mon Sep 17 00:00:00 2001
From: Timo Heister <timo.heister@gmail.com>
Date: Thu, 1 Jul 2021 10:12:40 -0400
Subject: [PATCH] switch to deal.II 9.3.1

---
 candi.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/candi.cfg b/candi.cfg
index fded43e..5ff47bc 100644
--- a/candi.cfg
+++ b/candi.cfg
@@ -88,7 +88,7 @@ PACKAGES="${PACKAGES} dealii"
 #########################################################################
 
 # Install the following deal.II version:
-DEAL_II_VERSION=dealii-9.3
+DEAL_II_VERSION=v9.3.1
 
 #########################################################################
 
-- 
2.39.5