TIMESTAMP = 1789007428
SHA256 (dealii-9.8.0.tar.gz) = d8d66aac57baad145a752d3f11cf72cfa9457e3f99ae09e5c8d5c9259a83aee1
SIZE (dealii-9.8.0.tar.gz) = 43231003
