| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | dev-lang/dafny: clean environment in pkg_setup |   Maciej Barć | 2023-10-06 | 1 | -4/+9 |
| * | dev-lang/dafny: drop old 4.2.0 | Maciej Barć | 2023-10-06 | 2 | -517/+0 |
| * | dev-lang/dafny: bump to 4.3.0 | Maciej Barć | 2023-09-30 | 2 | -0/+691 |
| * | dev-lang/dafny: add "go" test dependency | Maciej Barć | 2023-09-18 | 1 | -0/+1 |
| * | dev-lang/dafny: add missing src_unpack to support git | Maciej Barć | 2023-09-18 | 1 | -0/+8 |
| * | dev-lang/dafny: new package; add 4.2.0 | Maciej Barć | 2023-09-17 | 7 | -0/+859 |
GitWeb