TIMESTAMP = 1579156746
SHA256 (Microsoft-SEAL-3.4.5_GH0.tar.gz) = 1badbab7e98a471c0d2a845db0278dd077e2fd1857434f271ef2b82798620f11
SIZE (Microsoft-SEAL-3.4.5_GH0.tar.gz) = 1059586
SHA256 (4d57e56649d2dd1b8333457e301661121b05c827.patch) = 8cc16d773c4bf8d0171f7b7f26c9df699b55483613217546895e7c02fae8825d
SIZE (4d57e56649d2dd1b8333457e301661121b05c827.patch) = 850