diff --git a/weakremovers.inc b/weakremovers.inc
index a3640c8f..abe95012 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)