deal.II: updated to current stable version v8.3.0

diff --git a/deal.II/packages/dealii-stable.package b/deal.II/packages/dealii-stable.package
index f8b681c4de815db20ca06e40eab00439a5a79db3..d3a0174637bab238862c02c986caf8e16838db34 100644 (file)
--- a/deal.II/packages/dealii-stable.package
+++ b/deal.II/packages/dealii-stable.package
@@ -1,4 +1,4 @@
-VERSION=v8.2.1
+VERSION=v8.3.0
 NAME=dealii.git
 EXTRACTSTO=deal.II-${VERSION}
 SOURCE=https://github.com/dealii/