TIMESTAMP = 1788944008
SHA256 (petsc4py-3.25.5.tar.gz) = a542fcdcd9471f49e996ee251461a81bf0645e299701de45a9433adee94b4489
SIZE (petsc4py-3.25.5.tar.gz) = 487194
