summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/why3-for-spark: enabled hypothesis-selectionAlfredo Tupone2021-06-292-2/+12
* sci-mathematics/why3-for-spark: disable hypothesis-selectionAlfredo Tupone2021-06-291-0/+1
* sci-mathematics/why3-for-spark: version bump to 2021Alfredo Tupone2021-06-123-0/+152
* sci-mathematics/why3-for-spark: fix depAlfredo Tupone2021-02-101-1/+1
* sci-mathematics/why3-for-spark: version bump to 2020Alfredo Tupone2021-02-095-0/+173
* sci-mathematics/why3-for-spark: Remove oldJakov Smolic2021-01-202-153/+0
* sci-mathematics/why3-for-spark: update OCaml depsSam James2021-01-174-30/+30
* sci-mathematics/why3-for-spark: supports both lablgtk:2, :3 for most versionsSam James2021-01-174-8/+8
* sci-mathematics/why3-for-spark: fix broken linksAlfredo Tupone2020-06-151-2/+4
* sci-mathematics/why3-for-spark: fix broken symlinkAlfredo Tupone2020-06-141-1/+1
* sci-mathematics/why3-for-spark: fix flags and compressionAlfredo Tupone2020-06-122-0/+144
* sci-mathematics/why3-for-spark: use CCAlfredo Tupone2020-05-271-0/+10
* sci-mathematics/why3-for-spark: profiling is not more supported by newer ocamlTupone Alfredo2020-01-171-2/+1
* sci-mathematics/why3-for-spark: depend on a newer dev-ml/lablgtkTupone Alfredo2020-01-161-1/+1
* sci-mathematics/why3-for-spark: Needs a newer coq versionTupone Alfredo2020-01-151-1/+1
* sci-mathematics/why3-for-spark: use ocaml-4.09Tupone Alfredo2020-01-141-0/+78
* sci-mathematics/why3-for-spark: Update virtual/emacs dependency.Ulrich Müller2019-12-202-2/+2
* sci-mathematics/why3-for-spark: version bump to 2019Tupone Alfredo2019-10-113-0/+91
* sci-mathematics/why3-for-spark: remove unused patchTupone Alfredo2019-03-291-40/+0
* 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