TIMESTAMP = 1644767349
SHA256 (coin-or-CppAD-20220000.2_GH0.tar.gz) = a363996d6a36c08b37048d3c439119d1cd715ce7caf124ac6f0c2e94240985bd
SIZE (coin-or-CppAD-20220000.2_GH0.tar.gz) = 1673030