Package: release.debian.org Severity: normal User: [email protected] 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.
