| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/why3-for-spark: require ocamlopt | Alfredo Tupone | 2023-12-29 | 1 | -5/+6 |
* | sci-mathematics/why3-for-spark: fix NOTPARALLEL | Alfredo Tupone | 2023-04-03 | 1 | -1/+1 |
* | sci-mathematics/why3-for-spark: disable shuffle | Alfredo Tupone | 2023-04-02 | 2 | -0/+12 |
* | sci-mathematics/why3-for-spark: drop 2020 | Alfredo Tupone | 2023-04-02 | 3 | -148/+0 |
* | sci-mathematics/why3-for-spark: stabilize 2021-r1 for amd64 | Alfredo Tupone | 2023-04-02 | 1 | -2/+2 |
* | sci-mathematics/why3-for-spark: drop 2019-r3 | Alfredo Tupone | 2023-04-02 | 4 | -170/+0 |
* | sci-mathematics/why3-for-spark: stabilize 2020 for amd64 | Alfredo Tupone | 2023-04-02 | 1 | -2/+2 |
* | sci-mathematics/why3-for-spark: require lablgtk-2 | Alfredo Tupone | 2023-03-31 | 1 | -2/+2 |
* | sci-mathematics/why3-for-spark: stop using <sci-mathematics/coq-8.12 | Alfredo Tupone | 2022-11-26 | 2 | -9/+4 |
* | sci-mathematics/why3-for-spark: use https | Michael Mair-Keimberger | 2022-07-26 | 3 | -3/+3 |
* | sci-mathematics/why3-for-spark: refix QA_FLAGS | Alfredo Tupone | 2022-06-27 | 1 | -3/+3 |
* | sci-mathematics/why3-for-spark: ignore some QA warnings | Alfredo Tupone | 2022-06-27 | 1 | -13/+3 |
* | sci-mathematics/why3-for-spark: add USE to select sexp | Alfredo Tupone | 2022-03-11 | 2 | -28/+40 |
* | sci-mathematics/why3-for-spark: remove unused patch | Michael Mair-Keimberger | 2022-02-10 | 1 | -25/+0 |
* | sci-mathematics/why3-for-spark: ignore CFLAGS | Alfredo Tupone | 2022-02-07 | 1 | -12/+14 |
* | sci-mathematics/why3-for-spark: works with new ocaml too | Alfredo Tupone | 2022-02-07 | 1 | -2/+2 |
* | sci-mathematics/why3-for-spark: duplicate deps | Alfredo Tupone | 2022-02-07 | 1 | -1/+0 |
* | sci-mathematics/why3-for-spark: fix doc deps | Alfredo Tupone | 2022-02-07 | 1 | -1/+2 |
* | sci-mathematics/why3-for-spark: drop old version | Alfredo Tupone | 2022-02-06 | 4 | -78/+3 |
* | sci-mathematics/why3-for-spark: UnusedInherits | Alfredo Tupone | 2021-09-18 | 1 | -2/+0 |
* | **/metadata.xml: Replace http by https in DOCTYPE element | Ulrich Müller | 2021-09-11 | 1 | -1/+1 |
* | sci-mathematics/why3-for-spark: enabled hypothesis-selection | Alfredo Tupone | 2021-06-29 | 2 | -2/+12 |
* | sci-mathematics/why3-for-spark: disable hypothesis-selection | Alfredo Tupone | 2021-06-29 | 1 | -0/+1 |
* | sci-mathematics/why3-for-spark: version bump to 2021 | Alfredo Tupone | 2021-06-12 | 3 | -0/+152 |
* | sci-mathematics/why3-for-spark: fix dep | Alfredo Tupone | 2021-02-10 | 1 | -1/+1 |
* | sci-mathematics/why3-for-spark: version bump to 2020 | Alfredo Tupone | 2021-02-09 | 5 | -0/+173 |
* | sci-mathematics/why3-for-spark: Remove old | Jakov Smolic | 2021-01-20 | 2 | -153/+0 |
* | sci-mathematics/why3-for-spark: update OCaml deps | Sam James | 2021-01-17 | 4 | -30/+30 |
* | sci-mathematics/why3-for-spark: supports both lablgtk:2, :3 for most versions | Sam James | 2021-01-17 | 4 | -8/+8 |
* | sci-mathematics/why3-for-spark: fix broken links | Alfredo Tupone | 2020-06-15 | 1 | -2/+4 |
* | sci-mathematics/why3-for-spark: fix broken symlink | Alfredo Tupone | 2020-06-14 | 1 | -1/+1 |
* | sci-mathematics/why3-for-spark: fix flags and compression | Alfredo Tupone | 2020-06-12 | 2 | -0/+144 |
* | sci-mathematics/why3-for-spark: use CC | Alfredo Tupone | 2020-05-27 | 1 | -0/+10 |
* | sci-mathematics/why3-for-spark: profiling is not more supported by newer ocaml | Tupone Alfredo | 2020-01-17 | 1 | -2/+1 |
* | sci-mathematics/why3-for-spark: depend on a newer dev-ml/lablgtk | Tupone Alfredo | 2020-01-16 | 1 | -1/+1 |
* | sci-mathematics/why3-for-spark: Needs a newer coq version | Tupone Alfredo | 2020-01-15 | 1 | -1/+1 |
* | sci-mathematics/why3-for-spark: use ocaml-4.09 | Tupone Alfredo | 2020-01-14 | 1 | -0/+78 |
* | sci-mathematics/why3-for-spark: Update virtual/emacs dependency. | Ulrich Müller | 2019-12-20 | 2 | -2/+2 |
* | sci-mathematics/why3-for-spark: version bump to 2019 | Tupone Alfredo | 2019-10-11 | 3 | -0/+91 |
* | sci-mathematics/why3-for-spark: remove unused patch | Tupone Alfredo | 2019-03-29 | 1 | -40/+0 |
* | sci-mathematics/why3-for-spark: use virtual/emacs on dependency | Tupone Alfredo | 2019-03-15 | 3 | -86/+2 |
* | sci-mathematics/why3-for-spark: Stable | Tupone Alfredo | 2018-12-16 | 2 | -4/+4 |
* | sci-mathematics/why3-for-spark: Version bump to 2018 | Tupone Alfredo | 2018-07-13 | 3 | -0/+101 |
* | sci-mathematics/why3-for-spark: Fix STRIP_MASK usage. Bug #651458 | Tupone Alfredo | 2018-03-27 | 1 | -5/+2 |
* | sci-mathematics: Update Manifest hashes. | Ulrich Müller | 2017-12-10 | 1 | -1/+1 |
* | sci-mathematics/why3-for-spark: dev-ml/camlzip-1.06 causes problem. | Tupone Alfredo | 2017-11-06 | 1 | -1/+1 |
* | sci-mathematics/why3-for-spark: Add ocamlopt use flag | Tupone Alfredo | 2017-11-04 | 1 | -2/+10 |
* | sci-mathematics/why3-for-spark: Install libraries | Tupone Alfredo | 2017-11-04 | 1 | -0/+1 |
* | sci-mathematics/why3-for-spark: Enable coq tactics | Tupone Alfredo | 2017-11-01 | 2 | -1/+27 |
* | sci-mathematics/why3-for-spark: remove extra --disable-zip | Tupone Alfredo | 2017-10-25 | 1 | -1/+0 |