TIMESTAMP = 1727039884
SHA256 (ccl/v1.13/freebsdx86.tar.gz) = ccd8d16822b33e041aa0bace7f173b162d244d12b66da33ed9fc5570ebedaf5b
SIZE (ccl/v1.13/freebsdx86.tar.gz) = 13746970
SHA256 (ccl/v1.13/Clozure-ccl-v1.13_GH0.tar.gz) = bca7f8d70d49059f8937b82bc64f47f7d01c07dd18760002ec41b41c444f838c
SIZE (ccl/v1.13/Clozure-ccl-v1.13_GH0.tar.gz) = 5035681