80ccba4850
While here, decouple this port from math/why3. They are diverging fast. This port is needed to build SPARK 2015 binaries which will be installed by the lang/spark port (rather than building from source)
2 lines
163 B
Text
2 lines
163 B
Text
SHA256 (why3-for-spark-gpl-2015-src.tar.gz) = 90faf6001e4a9d9ccb7c913df8a2316bef004aaf9546a9a5ff6b08c28ff74ede
|
|
SIZE (why3-for-spark-gpl-2015-src.tar.gz) = 6880072
|