TIMESTAMP = 1637208708
SHA256 (Microsoft-SEAL-3.7.2_GH0.tar.gz) = 12676de5766b8e2d641d6e45e92114ccdf8debd6f6d44b42a2ecc39a59b0bf13
SIZE (Microsoft-SEAL-3.7.2_GH0.tar.gz) = 593811
