TIMESTAMP = 1519129443
SHA256 (texane-stlink-1.5.0_GH0.tar.gz) = 4f0301edf9e904688ba31cf181653102f367c747e23ad356de1c430d1a654e2e
SIZE (texane-stlink-1.5.0_GH0.tar.gz) = 140484