TIMESTAMP = 1709202081
SHA256 (dealii-9.5.2.tar.gz) = 7930e5218a9807d60cc05c300a3b70f36f4af22c3551a2cd1141fbab013bbaf1
SIZE (dealii-9.5.2.tar.gz) = 31523493
