TIMESTAMP = 1785054400
SHA256 (dealii-9.7.1.tar.gz) = 0f2096ef83db54fdcebe9f3d148fa713f63f1c3f567941b53bcb4a1a8ea7de43
SIZE (dealii-9.7.1.tar.gz) = 42305872
