TIMESTAMP = 1464767219
SHA256 (devernay-cminpack-v1.3.5_GH0.tar.gz) = a3ab4be6c8a8bab36c6ac7d4322fb0b9c4347a8096fd6c96d1686dc30e4b1afe
SIZE (devernay-cminpack-v1.3.5_GH0.tar.gz) = 312932