| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | sci-mathematics/why3: drop old 1.5.1 |   Maciej Barć | 2023-07-16 | 2 | -104/+0 |
| * | sci-mathematics/why3: drop old 1.4.1-r1 | Maciej Barć | 2023-07-16 | 2 | -99/+0 |
| * | sci-mathematics/why3: drop old 1.5.0-r1 | Maciej Barć | 2023-04-02 | 2 | -104/+0 |
| * | sci-mathematics/why3: drop old 1.4.0-r3 | Maciej Barć | 2023-04-02 | 2 | -99/+0 |
| * | sci-mathematics/why3: bump to 1.6.0 | Maciej Barć | 2023-04-02 | 2 | -0/+107 |
| * | sci-mathematics/why3: bump to 1.5.1 | Maciej Barć | 2022-09-19 | 2 | -0/+104 |
| * | sci-mathematics/why3: use https |   Michael Mair-Keimberger | 2022-07-26 | 3 | -3/+3 |
| * | sci-mathematics/why3: remove unnecessary seq dependency | Maciej Barć | 2022-07-23 | 3 | -3/+3 |
| * | sci-mathematics/why3: bump to 1.5.0 |   François-Xavier Carton | 2022-05-07 | 3 | -0/+105 |
| * | sci-mathematics/why3: increase required menhir version | Maciej Barć | 2022-04-16 | 2 | -3/+3 |
| * | sci-mathematics/why3: bump to 1.4.1 | Maciej Barć | 2022-03-04 | 2 | -0/+99 |
| * | **/metadata.xml: Replace http by https in DOCTYPE element |   Ulrich Müller | 2022-01-25 | 1 | -1/+1 |
| * | sci-mathematics/why3: add sci-mathematics to maintainers | Maciej Barć | 2022-01-17 | 1 | -0/+4 |
| * | sci-mathematics/why3: fix race condition in parallel make doc | François-Xavier Carton | 2022-01-15 | 1 | -0/+1 |
| * | sci-mathematics/why3: add missing latex dependencies | François-Xavier Carton | 2022-01-13 | 1 | -1/+3 |
| * | sci-mathematics/why3: fix *DEPEND | Maciej Barć | 2021-12-12 | 1 | -14/+17 |
| * | sci-mathematics/why3: new package; add version 1.4.0 | Maciej Barć | 2021-12-12 | 3 | -0/+126 |
GitWeb
