Package: release.debian.org Severity: normal User: release.debian....@packages.debian.org Usertags: transition
I think the joint mumps 5.3.1 / petsc 3.13 / slepc 3.13 transition is ready to proceed. Packages seem well behaved in experimental. Auto transition trackers are already in place.
