summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/why3-for-spark: Version bump to 2018Tupone Alfredo2018-07-133-0/+101
| | | | Package-Manager: Portage-2.3.40, Repoman-2.3.9
* sci-mathematics/why3-for-spark: Fix STRIP_MASK usage. Bug #651458Tupone Alfredo2018-03-271-5/+2
| | | | Package-Manager: Portage-2.3.24, Repoman-2.3.6
* sci-mathematics: Update Manifest hashes.Ulrich Müller2017-12-101-1/+1
|
* sci-mathematics/why3-for-spark: dev-ml/camlzip-1.06 causes problem.Tupone Alfredo2017-11-061-1/+1
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3
* sci-mathematics/why3-for-spark: Add ocamlopt use flagTupone Alfredo2017-11-041-2/+10
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3
* sci-mathematics/why3-for-spark: Install librariesTupone Alfredo2017-11-041-0/+1
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3
* sci-mathematics/why3-for-spark: Enable coq tacticsTupone Alfredo2017-11-012-1/+27
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3
* sci-mathematics/why3-for-spark: remove extra --disable-zipTupone Alfredo2017-10-251-1/+0
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3
* sci-mathematics/why3-for-spark: Add zip use flagsTupone Alfredo2017-10-242-3/+6
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3
* sci-mathematics/why3-for-spark: Adding examplesTupone Alfredo2017-10-241-0/+2
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3
* sci-mathematics/why3-for-spark: Fix SRC_URITupone Alfredo2017-10-231-1/+1
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3
* sci-mathematics/why3-for-spark: Fix metadata.xmlTupone Alfredo2017-10-201-23/+23
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3
* sci-mathematics/why3-for-spark: Adding why3 for sparkTupone Alfredo2017-10-194-0/+116
Package-Manager: Portage-2.3.8, Repoman-2.3.3