| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/why3-for-spark: drop 2020 |   Alfredo Tupone | 2023-04-02 | 1 | -119/+0 |
| * | sci-mathematics/why3-for-spark: stabilize 2020 for amd64 | Alfredo Tupone | 2023-04-02 | 1 | -2/+2 |
| * | sci-mathematics/why3-for-spark: stop using <sci-mathematics/coq-8.12 | Alfredo Tupone | 2022-11-26 | 1 | -6/+2 |
| * | sci-mathematics/why3-for-spark: use https |   Michael Mair-Keimberger | 2022-07-26 | 1 | -1/+1 |
| * | 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: fix dep | Alfredo Tupone | 2021-02-10 | 1 | -1/+1 |
| * | sci-mathematics/why3-for-spark: version bump to 2020 | Alfredo Tupone | 2021-02-09 | 1 | -0/+123 |
GitWeb