TIMESTAMP = 1544683042
SHA256 (virtuoso-opensource-7.2.5.tar.gz) = 826477d25a8493a68064919873fb4da4823ebe09537c04ff4d26ba49d9543d64
SIZE (virtuoso-opensource-7.2.5.tar.gz) = 120299376