该项目从 https://github.com/petsc/petsc.git 镜像。 Pull mirroring failed 10月 06, 2024.
由于尝试失败次数过多，仓库镜像已暂停，可以由项目维护者或所有者恢复。
上次成功更新 10月 03, 2024。