TIMESTAMP = 1679894177
SHA256 (slepc-3.18.3.tar.gz) = 1b02bdf87c083749e81b3735aae7728098eaab78143b262b92c2ab164924c6f5
SIZE (slepc-3.18.3.tar.gz) = 6014310
