TIMESTAMP = 1670137457
SHA256 (dealii-dealii-v9.4.1_GH0.tar.gz) = bfe5e4bf069159f93feb0f78529498bfee3da35baf5a9c6852aa59d7ea7c7a48
SIZE (dealii-dealii-v9.4.1_GH0.tar.gz) = 30298204
