Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3-for-spark/files
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/why3-for-spark: fix NOTPARALLELAlfredo Tupone2023-04-031-1/+1
* sci-mathematics/why3-for-spark: disable shuffleAlfredo Tupone2023-04-021-0/+11
* sci-mathematics/why3-for-spark: drop 2020Alfredo Tupone2023-04-021-28/+0
* sci-mathematics/why3-for-spark: drop 2019-r3Alfredo Tupone2023-04-022-52/+0
* sci-mathematics/why3-for-spark: remove unused patchMichael Mair-Keimberger2022-02-101-25/+0
* sci-mathematics/why3-for-spark: enabled hypothesis-selectionAlfredo Tupone2021-06-291-0/+9
* sci-mathematics/why3-for-spark: version bump to 2021Alfredo Tupone2021-06-121-0/+28
* 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