Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/dafny-bin/Manifest
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/dafny-bin: drop old 4.5.0-r1Maciej Barć2024-06-251-1/+0
* dev-lang/dafny-bin: drop old 4.4.0-r1Maciej Barć2024-06-251-1/+0
* dev-lang/dafny-bin: bump to 4.6.0Maciej Barć2024-03-291-0/+1
* dev-lang/dafny-bin: bump to 4.5.0Maciej Barć2024-03-201-0/+1
* dev-lang/dafny-bin: drop old 4.3.0Maciej Barć2024-03-201-1/+0
* dev-lang/dafny-bin: bump to 4.4.0Maciej Barć2023-12-131-0/+1
* dev-lang/dafny-bin: drop old 4.2.0Maciej Barć2023-11-151-1/+0
* dev-lang/dafny-bin: drop old 3.12.0Maciej Barć2023-11-151-1/+0
* dev-lang/dafny-bin: bump to 4.3.0Maciej Barć2023-09-301-0/+1
* dev-lang/dafny-bin: drop old 3.10.0Maciej Barć2023-09-301-1/+0
* dev-lang/dafny-bin: bump to 4.2.0Maciej Barć2023-09-171-0/+1
* dev-lang/dafny-bin: drop old 3.11.0Maciej Barć2023-09-161-1/+0
* dev-lang/dafny-bin: bump to 3.12.0Maciej Barć2023-02-221-0/+1
* dev-lang/dafny-bin: drop old 3.9.1-r1Maciej Barć2023-02-011-1/+0
* dev-lang/dafny-bin: drop old 3.9.0-r1Maciej Barć2023-02-011-1/+0
* dev-lang/dafny-bin: bump to 3.11.0Maciej Barć2023-02-011-0/+1
* dev-lang/dafny-bin: drop old 3.8.1-r1Maciej Barć2022-12-151-1/+0
* dev-lang/dafny-bin: bump to 3.10.0Maciej Barć2022-12-151-0/+1
* dev-lang/dafny-bin: drop old 3.8.0Maciej Barć2022-11-011-1/+0
* dev-lang/dafny-bin: bump to 3.9.1Maciej Barć2022-11-011-0/+1
* dev-lang/dafny-bin: drop old 3.7.3Maciej Barć2022-10-061-1/+0
* dev-lang/dafny-bin: bump to 3.9.0Maciej Barć2022-10-061-0/+1
* dev-lang/dafny-bin: drop old 3.7.2Maciej Barć2022-09-021-1/+0
* dev-lang/dafny-bin: bump to 3.8.1Maciej Barć2022-09-021-0/+1
* dev-lang/dafny-bin: drop old 3.7.1-r2Maciej Barć2022-08-271-1/+0
* dev-lang/dafny-bin: bump to 3.8.0Maciej Barć2022-08-271-0/+1
* dev-lang/dafny-bin: bump to 3.7.3Maciej Barć2022-07-221-0/+1
* dev-lang/dafny-bin: bump to 3.7.2Maciej Barć2022-07-191-0/+1
* dev-lang/dafny-bin: new package; add version 3.7.1Maciej Barć2022-06-291-0/+1