diff --git a/.files b/.files
index 3c4183c..5d0455c 100644
Binary files a/.files and b/.files differ
diff --git a/.rev b/.rev
index 20f1a36..8d7a0f8 100644
--- a/.rev
+++ b/.rev
@@ -7322,4 +7322,11 @@
staging-bot
Automatic update
+
+ 023ac4282eee709cc02755fe4bafba7f
+ unknown
+
+ staging-bot
+ Automatic update
+
diff --git a/.servicemark b/.servicemark
index b4a137b..4bbadb2 100644
--- a/.servicemark
+++ b/.servicemark
@@ -1 +1 @@
-39d03046e7fe5cf878f232ae340e7d24
+bd5dc7be5a67ec3942b0b600fe666a33
diff --git a/weakremovers.inc b/weakremovers.inc
index 5361bee..f1c5981 100644
--- a/weakremovers.inc
+++ b/weakremovers.inc
@@ -44764,7 +44764,10 @@ Provides: weakremover(libdc1394-22-32bit)
Provides: weakremover(libdeal_II9_2_0)
Provides: weakremover(libdeal_II9_2_0-openmpi2)
Provides: weakremover(libdeal_II9_2_0-openmpi3)
+Provides: weakremover(libdeal_II9_3_0)
Provides: weakremover(libdeal_II9_3_0-openmpi2)
+Provides: weakremover(libdeal_II9_3_0-openmpi3)
+Provides: weakremover(libdeal_II9_3_0-openmpi4)
Provides: weakremover(libdm0-32bit)
Provides: weakremover(libdns1311-32bit)
Provides: weakremover(libdns1600-32bit)