| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | dev-lang/dafny: bring Java support back |   Maciej Barć | 2023-12-13 | 3 | -50/+45 |
| * | dev-lang/dafny: bump to 4.4.0 | Maciej Barć | 2023-12-13 | 6 | -0/+637 |
| * | dev-lang/dafny: Stabilize 4.3.0-r1 amd64, #917307 |   Sam James | 2023-11-13 | 1 | -1/+1 |
| * | dev-lang/dafny: patch out .NET framework | Maciej Barć | 2023-10-31 | 3 | -4/+23 |
| * | 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