TIMESTAMP = 1693980202
SHA256 (slepc-3.19.2.tar.gz) = ca7ed906795971fbe35f08ee251a26b86a4442a18609b878cba00835c9d62034
SIZE (slepc-3.19.2.tar.gz) = 1805025
