6e3d37113d
There are two reasons to rename this port. 1) Upstream never liked it and requested -spark be the suffix instead 2) An ongoing attempt to fix lang/spark may result in a number of slave ports with a -spark suffix, so this keeps up consistency as all of these ports only exist to support that port.
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
|