TIMESTAMP = 1500460606
SHA256 (menhir-20170712.tar.gz) = ca482d690052343d6cb9452433248a0a92cc8bfc8fa529dc313220c9d7c0d000
SIZE (menhir-20170712.tar.gz) = 855262