No, Ubuntu focal (20.04) provides petsc 3.12. You must have updated from an older release.
Likely your dijitso cache is stale. Clean it out and try afresh.
dijitso clean
No, Ubuntu focal (20.04) provides petsc 3.12. You must have updated from an older release.
Likely your dijitso cache is stale. Clean it out and try afresh.
dijitso clean