diff --git a/weakremovers.inc b/weakremovers.inc
index b3c8a513..48eb1d76 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)