Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3-for-spark
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/why3-for-spark: VariableOrderWrongAlfredo Tupone4 days1-3/+3
* sci-mathematics/why3-for-spark: require ocamloptAlfredo Tupone2023-12-291-5/+6
* sci-mathematics/why3-for-spark: fix NOTPARALLELAlfredo Tupone2023-04-031-1/+1
* sci-mathematics/why3-for-spark: disable shuffleAlfredo Tupone2023-04-022-0/+12
* sci-mathematics/why3-for-spark: drop 2020Alfredo Tupone2023-04-023-148/+0
* sci-mathematics/why3-for-spark: stabilize 2021-r1 for amd64Alfredo Tupone2023-04-021-2/+2
* sci-mathematics/why3-for-spark: drop 2019-r3Alfredo Tupone2023-04-024-170/+0
* sci-mathematics/why3-for-spark: stabilize 2020 for amd64Alfredo Tupone2023-04-021-2/+2
* sci-mathematics/why3-for-spark: require lablgtk-2Alfredo Tupone2023-03-311-2/+2
* sci-mathematics/why3-for-spark: stop using <sci-mathematics/coq-8.12Alfredo Tupone2022-11-262-9/+4
* sci-mathematics/why3-for-spark: use httpsMichael Mair-Keimberger2022-07-263-3/+3
* sci-mathematics/why3-for-spark: refix QA_FLAGSAlfredo Tupone2022-06-271-3/+3
* sci-mathematics/why3-for-spark: ignore some QA warningsAlfredo Tupone2022-06-271-13/+3
* sci-mathematics/why3-for-spark: add USE to select sexpAlfredo Tupone2022-03-112-28/+40
* sci-mathematics/why3-for-spark: remove unused patchMichael Mair-Keimberger2022-02-101-25/+0
* sci-mathematics/why3-for-spark: ignore CFLAGSAlfredo Tupone2022-02-071-12/+14
* sci-mathematics/why3-for-spark: works with new ocaml tooAlfredo Tupone2022-02-071-2/+2
* sci-mathematics/why3-for-spark: duplicate depsAlfredo Tupone2022-02-071-1/+0
* sci-mathematics/why3-for-spark: fix doc depsAlfredo Tupone2022-02-071-1/+2
* sci-mathematics/why3-for-spark: drop old versionAlfredo Tupone2022-02-064-78/+3
* sci-mathematics/why3-for-spark: UnusedInheritsAlfredo Tupone2021-09-181-2/+0
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* 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