Version 8.7-1 of haskell-sbv is marked for autoremoval from testing on Sun 28 Aug 2022. It is affected by #1014005. The removal of haskell-sbv will also cause the removal of (transitive) reverse dependency: haskell-cryptol. You should try to prevent the removal by fixing these RC bugs.