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 (Collapse)AuthorAgeFilesLines
* sci-mathematics/why3-for-spark: version bump to 2020Alfredo Tupone2021-02-093-0/+49
| | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: fix flags and compressionAlfredo Tupone2020-06-121-0/+28
| | | | | | | Closes: https://bugs.gentoo.org/728032 Closes: https://bugs.gentoo.org/728050 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: use CCAlfredo Tupone2020-05-271-0/+10
| | | | | | Closes: https://bugs.gentoo.org/725598 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: version bump to 2019Tupone Alfredo2019-10-111-0/+14
| | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: remove unused patchTupone Alfredo2019-03-291-40/+0
| | | | | | Closes: Closes: https://github.com/gentoo/gentoo/pull/11528 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.62, Repoman-2.3.11
* sci-mathematics/why3-for-spark: Version bump to 2018Tupone Alfredo2018-07-131-0/+25
| | | | Package-Manager: Portage-2.3.40, Repoman-2.3.9
* sci-mathematics/why3-for-spark: Enable coq tacticsTupone Alfredo2017-11-011-0/+26
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3
* sci-mathematics/why3-for-spark: Adding why3 for sparkTupone Alfredo2017-10-191-0/+14
Package-Manager: Portage-2.3.8, Repoman-2.3.3