On 2019-07-31 20:58, Paul Gevers wrote:
All those have been built now. However, hypre will not be able to migrate because the autopkgtest of petsc is failing, as it does in unstable as well.
Awkward. I'll check if petsc 3.11 has the same problem. Drew
