Merge pull request #236971 from r-ryantm/auto-update/petsc

petsc: 3.19.1 -> 3.19.2
This commit is contained in:
Weijia Wang 2023-06-11 22:33:50 +03:00 committed by GitHub
commit b2620ac095
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -18,11 +18,11 @@ assert petsc-withp4est -> p4est.mpiSupport;
stdenv.mkDerivation rec {
pname = "petsc";
version = "3.19.1";
version = "3.19.2";
src = fetchurl {
url = "http://ftp.mcs.anl.gov/pub/petsc/release-snapshots/petsc-${version}.tar.gz";
sha256 = "sha256-dNtgxTyAtI1cOeB7w5qIPsztiLnySl3hfPb0hakD4SA=";
sha256 = "sha256-EU82P3ebsWg5slwOcPiwrg2UfVDnL3xs3csRsAEHmxY=";
};
mpiSupport = !withp4est || p4est.mpiSupport;