Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/dafny/Manifest
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/dafny: bump to 4.8.0Maciej Barć2024-08-311-0/+14
* dev-lang/dafny: drop old 4.6.0Maciej Barć2024-08-311-13/+0
* dev-lang/dafny: bump to 4.7.0Maciej Barć2024-06-281-0/+14
* dev-lang/dafny: drop old 4.5.0Maciej Barć2024-06-071-1/+0
* dev-lang/dafny: drop old 4.4.0-r1Maciej Barć2024-05-271-19/+0
* dev-lang/dafny: bump to 4.6.0Maciej Barć2024-03-291-0/+1
* dev-lang/dafny: bump to 4.5.0Maciej Barć2024-03-171-0/+16
* dev-lang/dafny: drop old 4.3.0-r1Maciej Barć2024-02-101-13/+0
* dev-lang/dafny: bump to 4.4.0Maciej Barć2023-12-131-0/+15
* dev-lang/dafny: patch out .NET frameworkMaciej Barć2023-10-311-2/+0
* dev-lang/dafny: drop old 4.2.0Maciej Barć2023-10-061-1/+0
* dev-lang/dafny: bump to 4.3.0Maciej Barć2023-09-301-0/+86
* dev-lang/dafny: new package; add 4.2.0Maciej Barć2023-09-171-0/+269