TIMESTAMP = 1707514827
SHA256 (SRI-CSL-libpoly-v0.1.13_GH0.tar.gz) = ca7092eeeced3dd8bd86cdd3410207802ef1752d7052d92eee3e9e6bb496763c
SIZE (SRI-CSL-libpoly-v0.1.13_GH0.tar.gz) = 621704
SHA256 (48f48f945111ab021bed4ad4f192f2cac0c2e84b.patch) = 6ea0843a890445bf54b267111bf6515ba8931f72b8d2dd509bdf4d171f3be692
SIZE (48f48f945111ab021bed4ad4f192f2cac0c2e84b.patch) = 2511