TIMESTAMP = 1793892001
SHA256 (petsc-3.26.1.tar.gz) = a4dc46c1b4403545ac2274741ce10801366c4a9a7b2683b678d18f6663b93496
SIZE (petsc-3.26.1.tar.gz) = 16966895
SHA256 (slepc-3.26.1.tar.gz) = d9b8bb27f6402e72e9d8f7ae9a1de241ff772b55d0bf265e8e10c61750f49cb9
SIZE (slepc-3.26.1.tar.gz) = 1945197
