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

This commit is contained in:
Martin Weinelt 2022-08-12 12:10:17 +02:00 committed by GitHub
commit 310e4c722d
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.17.3";
version = "3.17.4";
src = fetchurl {
url = "http://ftp.mcs.anl.gov/pub/petsc/release-snapshots/petsc-${version}.tar.gz";
sha256 = "sha256-XCSt5eSzLMBJNboNsdr+SNYzvrqqMKMDPx5YeI03h18=";
sha256 = "sha256-mcEnSGcio//ZWiaLTOsJdsvyF5JsaBqWMb1yRuq4yyo=";
};
mpiSupport = !withp4est || p4est.mpiSupport;