TIMESTAMP = 1501163197
SHA256 (andrejv-wxmaxima-Version-17.05.1_GH0.tar.gz) = 72394f266a784e433e232e600e7178fdd6362fd33f8ac11703db10c780676037
SIZE (andrejv-wxmaxima-Version-17.05.1_GH0.tar.gz) = 5890723
