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)