TIMESTAMP = 1465729881
SHA256 (why3-for-spark-gpl-2016-src.tar.gz) = 09e1161d7ff4a1974ff22a2e09d4ceb2ab125d6de4863c13371e212e0e50b19c
SIZE (why3-for-spark-gpl-2016-src.tar.gz) = 8740369
