summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/why3-for-spark: use virtual/emacs on dependencyTupone Alfredo2019-03-153-86/+2
* sci-mathematics/why3-for-spark: StableTupone Alfredo2018-12-162-4/+4
* sci-mathematics/why3-for-spark: Version bump to 2018Tupone Alfredo2018-07-133-0/+101
* sci-mathematics/why3-for-spark: Fix STRIP_MASK usage. Bug #651458Tupone Alfredo2018-03-271-5/+2
* 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
* sci-mathematics/why3-for-spark: Add ocamlopt use flagTupone Alfredo2017-11-041-2/+10
* sci-mathematics/why3-for-spark: Install librariesTupone Alfredo2017-11-041-0/+1
* sci-mathematics/why3-for-spark: Enable coq tacticsTupone Alfredo2017-11-012-1/+27
* sci-mathematics/why3-for-spark: remove extra --disable-zipTupone Alfredo2017-10-251-1/+0
* sci-mathematics/why3-for-spark: Add zip use flagsTupone Alfredo2017-10-242-3/+6
* sci-mathematics/why3-for-spark: Adding examplesTupone Alfredo2017-10-241-0/+2
* sci-mathematics/why3-for-spark: Fix SRC_URITupone Alfredo2017-10-231-1/+1
* sci-mathematics/why3-for-spark: Fix metadata.xmlTupone Alfredo2017-10-201-23/+23
* sci-mathematics/why3-for-spark: Adding why3 for sparkTupone Alfredo2017-10-194-0/+116