diff --git a/.files b/.files
index b8426e4..af2b182 100644
Binary files a/.files and b/.files differ
diff --git a/.rev b/.rev
index 45babcb..27063a1 100644
--- a/.rev
+++ b/.rev
@@ -5257,4 +5257,11 @@
staging-bot
Automatic update
+
+ 21be48c5f14e0e5bb0013d8f54d648f1
+ unknown
+
+ staging-bot
+ Automatic update
+
diff --git a/weakremovers.inc b/weakremovers.inc
index 1dc54ce..acd4f61 100644
--- a/weakremovers.inc
+++ b/weakremovers.inc
@@ -3884,11 +3884,6 @@ Provides: weakremover(blogilo)
Provides: weakremover(blogilo-lang)
Provides: weakremover(blueproximity)
Provides: weakremover(blueproximity-lang)
-Provides: weakremover(bogofilter-common)
-Provides: weakremover(bogofilter-db)
-Provides: weakremover(bogofilter-doc)
-Provides: weakremover(bogofilter-kyotocabinet)
-Provides: weakremover(bogofilter-sqlite3)
Provides: weakremover(boinc-client-devel)
Provides: weakremover(boinc-client-doc)
Provides: weakremover(bomberclone)
@@ -8150,7 +8145,6 @@ Provides: weakremover(gipeda)
Provides: weakremover(girl-lang)
Provides: weakremover(giver)
Provides: weakremover(giver-lang)
-Provides: weakremover(glade-catalog-libhandy)
Provides: weakremover(glade-catalog-vte)
Provides: weakremover(gle-graphics)
Provides: weakremover(gle-graphics-doc)
@@ -11012,6 +11006,11 @@ Provides: weakremover(libpetsc_3_11_3-gnu-mvapich2-hpc)
Provides: weakremover(libpetsc_3_11_3-gnu-openmpi1-hpc)
Provides: weakremover(libpetsc_3_11_3-gnu-openmpi2-hpc)
Provides: weakremover(libpetsc_3_11_3-gnu-openmpi3-hpc)
+Provides: weakremover(libpetsc_3_12_2-gnu-mpich-hpc)
+Provides: weakremover(libpetsc_3_12_2-gnu-mvapich2-hpc)
+Provides: weakremover(libpetsc_3_12_2-gnu-openmpi1-hpc)
+Provides: weakremover(libpetsc_3_12_2-gnu-openmpi2-hpc)
+Provides: weakremover(libpetsc_3_12_2-gnu-openmpi3-hpc)
Provides: weakremover(libpetsc_3_7_6-gnu-mpich-hpc)
Provides: weakremover(libpetsc_3_7_6-gnu-mvapich2-hpc)
Provides: weakremover(libpetsc_3_7_6-gnu-openmpi1-hpc)
@@ -12850,6 +12849,16 @@ Provides: weakremover(petsc_3_11_3-gnu-openmpi2-hpc-devel)
Provides: weakremover(petsc_3_11_3-gnu-openmpi2-hpc-saws)
Provides: weakremover(petsc_3_11_3-gnu-openmpi3-hpc-devel)
Provides: weakremover(petsc_3_11_3-gnu-openmpi3-hpc-saws)
+Provides: weakremover(petsc_3_12_2-gnu-mpich-hpc-devel)
+Provides: weakremover(petsc_3_12_2-gnu-mpich-hpc-saws)
+Provides: weakremover(petsc_3_12_2-gnu-mvapich2-hpc-devel)
+Provides: weakremover(petsc_3_12_2-gnu-mvapich2-hpc-saws)
+Provides: weakremover(petsc_3_12_2-gnu-openmpi1-hpc-devel)
+Provides: weakremover(petsc_3_12_2-gnu-openmpi1-hpc-saws)
+Provides: weakremover(petsc_3_12_2-gnu-openmpi2-hpc-devel)
+Provides: weakremover(petsc_3_12_2-gnu-openmpi2-hpc-saws)
+Provides: weakremover(petsc_3_12_2-gnu-openmpi3-hpc-devel)
+Provides: weakremover(petsc_3_12_2-gnu-openmpi3-hpc-saws)
Provides: weakremover(petsc_3_7_6-gnu-mpich-hpc-devel)
Provides: weakremover(petsc_3_7_6-gnu-mvapich2-hpc-devel)
Provides: weakremover(petsc_3_7_6-gnu-openmpi1-hpc-devel)