TIMESTAMP = 1674877832
SHA256 (coin-or-CppAD-20230000.0_GH0.tar.gz) = 339018f18effe35e1d9845bb7c7070e726396f37244b1855fb242c8b89d0b623
SIZE (coin-or-CppAD-20230000.0_GH0.tar.gz) = 1742050