TIMESTAMP = 1735069855
SHA256 (dealii-9.6.2.tar.gz) = 1051e332de3822488e91c2b0460681052a3c4c5ac261cdd7a6af784869a25523
SIZE (dealii-9.6.2.tar.gz) = 40863604