| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | dev-lang/boogie: drop old 2.15.9 |   Maciej Barć | 2023-06-19 | 1 | -1/+0 |
| * | dev-lang/boogie: drop old 2.15.8-r4 | Maciej Barć | 2023-06-19 | 1 | -1/+0 |
| * | dev-lang/boogie: bump to 2.16.0 | Maciej Barć | 2022-11-28 | 1 | -0/+1 |
| * | dev-lang/boogie: bump to 2.15.9 | Maciej Barć | 2022-11-18 | 1 | -0/+1 |
| * | dev-lang/boogie: new package; add version 2.15.8 | Maciej Barć | 2022-10-03 | 1 | -0/+2 |
GitWeb