Skip to content

Conversation

JHopeCollins
Copy link
Member

@JHopeCollins JHopeCollins commented Oct 20, 2025

Revert #4661 because PETSc have removed the version requirement for MUMPS>=5.7 in this MR: https://gitlab.com/petsc/petsc/-/merge_requests/8801

Closes #4662

@JHopeCollins JHopeCollins marked this pull request as ready for review October 21, 2025 07:08
@JHopeCollins JHopeCollins enabled auto-merge (squash) October 21, 2025 07:08
@JHopeCollins JHopeCollins disabled auto-merge October 21, 2025 08:03
@JHopeCollins JHopeCollins merged commit 80f9a50 into main Oct 21, 2025
6 of 7 checks passed
@JHopeCollins JHopeCollins deleted the JHopeCollins/restore-apt-mumps branch October 21, 2025 08:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

INSTALL: Try to restore using system MUMPS

2 participants