Weijia Wang ed05c2b412 Merge pull request #325138 from r-ryantm/auto-update/petsc ... petsc: 3.21.0 -> 3.21.3		2024-07-15 16:47:31 +02:00
..
filter_mpi_warnings.patch	petsc: Filter out more errors during tests	2024-07-03 10:45:11 +02:00
package.nix	petsc: 3.21.0 -> 3.21.3	2024-07-06 23:18:57 +00:00