TIMESTAMP = 1578162154
SHA256 (coin-or-CppAD-20200000.1_GH0.tar.gz) = 7c674910901e3789cafbc53934ce12d839152e2d01786471aba080cc312015fe
SIZE (coin-or-CppAD-20200000.1_GH0.tar.gz) = 1636273