| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | sci-mathematics/why3-for-spark: add USE to select sexp |   Alfredo Tupone | 2022-03-11 | 1 | -1/+2 |
| * | sci-mathematics/why3-for-spark: drop old version | Alfredo Tupone | 2022-02-06 | 1 | -1/+0 |
| * | **/metadata.xml: Replace http by https in DOCTYPE element |   Ulrich Müller | 2021-09-11 | 1 | -1/+1 |
| * | sci-mathematics/why3-for-spark: Add zip use flags | Tupone Alfredo | 2017-10-24 | 1 | -0/+1 |
| * | sci-mathematics/why3-for-spark: Fix metadata.xml | Tupone Alfredo | 2017-10-20 | 1 | -23/+23 |
| * | sci-mathematics/why3-for-spark: Adding why3 for spark | Tupone Alfredo | 2017-10-19 | 1 | -0/+27 |
Alfredo Tupone
Ulrich Müller
GitWeb