Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/dafny-bin
Commit message (Collapse)AuthorAgeFilesLines
* dev-lang/dafny-bin: drop old 3.7.2Maciej Barć2022-09-022-51/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny-bin: bump to 3.8.1Maciej Barć2022-09-022-0/+52
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny-bin: drop old 3.7.1-r2Maciej Barć2022-08-272-51/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny-bin: bump to 3.8.0Maciej Barć2022-08-272-0/+52
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny-bin: bump to 3.7.3Maciej Barć2022-07-222-0/+51
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny-bin: bump to 3.7.2Maciej Barć2022-07-192-0/+51
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny-bin: use insoptsMaciej Barć2022-06-301-2/+2
| | | | | Closes: https://bugs.gentoo.org/855365 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny-bin: add missing runtime deps; exe bit for ibsMaciej Barć2022-06-301-2/+6
| | | | | Closes: https://bugs.gentoo.org/855215 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny-bin: new package; add version 3.7.1Maciej Barć2022-06-293-0/+80
Signed-off-by: Maciej Barć <xgqt@gentoo.org>