SHA512 (petsc-with-docs-3.15.0.tar.gz) = d141f98742b3a831d2efede7cf3c6ed12380a052c4243dcad2a770455c15b1fbd0ecc3191368ffd110491f3b239af140f7a0ebab87ceb439eb497336e0cf6f2c SHA512 (petsc4py-3.15.0.tar.gz) = a5200967b39637171fa9426a639b37c474ee893450da53c882648d85c5d79f694def505a3dec5dca094629eda1ff7ba5572121d61372b1d74e52f277f007ff7f