switch to deal.II 9.3.1

diff --git a/candi.cfg b/candi.cfg
index fded43e2cb9fbfd0267a37d17a2f76de61c7a78f..5ff47bc2040bc3881d822cc79d8ebc366672dd6b 100644 (file)
--- 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
 
 #########################################################################