SHA256 (asymptote-2.15.src.tgz) = 89034b7f072fe0476bc00a9c4c52189f67cdc1cb9c07bab1fd88bc50b2e0c887
SIZE (asymptote-2.15.src.tgz) = 1763773