TIMESTAMP = 1705110337
SHA256 (SRI-CSL-libpoly-v0.1.13_GH0.tar.gz) = ca7092eeeced3dd8bd86cdd3410207802ef1752d7052d92eee3e9e6bb496763c
SIZE (SRI-CSL-libpoly-v0.1.13_GH0.tar.gz) = 621704
SHA256 (c1f82e63ccf3f84e2a2234589caac287d2bf6f71.patch) = 4922156534124662b144ef0c56baca5f086c7c8351ea4c28e92975e90d48af29
SIZE (c1f82e63ccf3f84e2a2234589caac287d2bf6f71.patch) = 658