summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/why3-for-spark: version bump to 2020Alfredo Tupone2021-02-093-0/+49
* sci-mathematics/why3-for-spark: fix flags and compressionAlfredo Tupone2020-06-121-0/+28
* sci-mathematics/why3-for-spark: use CCAlfredo Tupone2020-05-271-0/+10
* sci-mathematics/why3-for-spark: version bump to 2019Tupone Alfredo2019-10-111-0/+14
* sci-mathematics/why3-for-spark: remove unused patchTupone Alfredo2019-03-291-40/+0
* sci-mathematics/why3-for-spark: Version bump to 2018Tupone Alfredo2018-07-131-0/+25
* sci-mathematics/why3-for-spark: Enable coq tacticsTupone Alfredo2017-11-011-0/+26
* sci-mathematics/why3-for-spark: Adding why3 for sparkTupone Alfredo2017-10-191-0/+14