TIMESTAMP = 1671922606
SHA256 (coin-or-CppAD-20220000.5_GH0.tar.gz) = 9fb4562f6169855eadcd86ac4671593d1c0edf97bb6ce7cbb28e19af2bfc165e
SIZE (coin-or-CppAD-20220000.5_GH0.tar.gz) = 1682511