summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* 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-011-1/+1
| | | | 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-241-3/+5
| | | | 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: Adding why3 for sparkTupone Alfredo2017-10-191-0/+74
Package-Manager: Portage-2.3.8, Repoman-2.3.3