TIMESTAMP = 1675788175
SHA256 (dealii-dealii-v9.4.2_GH0.tar.gz) = 45a76cb400bfcff25cc2d9093d9a5c91545c8367985e6798811c5e9d2a6a6fd4
SIZE (dealii-dealii-v9.4.2_GH0.tar.gz) = 30298479
