Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/dafny
Commit message (Collapse)AuthorAgeFilesLines
* dev-lang/dafny: bump to 4.8.1Maciej Barć19 hours2-0/+686
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny: bump to 4.8.0Maciej Barć2024-08-312-0/+685
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny: drop old 4.6.0Maciej Barć2024-08-312-643/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny: Stabilize 4.7.0 amd64, #937075Arthur Zamarin2024-08-011-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/dafny: bump to 4.7.0Maciej Barć2024-06-282-0/+679
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny: drop old 4.5.0Maciej Barć2024-06-072-625/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny: Stabilize 4.6.0 amd64, #932860Sam James2024-05-281-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/dafny: drop old 4.4.0-r1Maciej Barć2024-05-274-636/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny: disable broken c++ testsMaciej Barć2024-05-271-0/+3
| | | | | Closes: https://bugs.gentoo.org/930488 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny: Stabilize 4.5.0 amd64, #930160Matoro Mahri2024-05-231-1/+1
| | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Ionen Wolkens <ionen@gentoo.org>
* dev-lang/dafny: use edo instead of edobMaciej Barć2024-05-243-3/+3
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny: bump to 4.6.0Maciej Barć2024-03-292-0/+628
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny: disable tests requiring cargoMaciej Barć2024-03-191-0/+3
| | | | | Closes: https://bugs.gentoo.org/927242 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny: add missing psutil test dependencyMaciej Barć2024-03-181-0/+1
| | | | | Closes: https://bugs.gentoo.org/927225 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny: bump to 4.5.0Maciej Barć2024-03-173-0/+656
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny: drop old 4.3.0-r1Maciej Barć2024-02-105-669/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny: Stabilize 4.4.0-r1 amd64, #922370Maciej Barć2024-01-291-2/+2
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny: bring Java support backMaciej Barć2023-12-133-50/+45
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny: bump to 4.4.0Maciej Barć2023-12-136-0/+637
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny: Stabilize 4.3.0-r1 amd64, #917307Sam James2023-11-131-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/dafny: patch out .NET frameworkMaciej Barć2023-10-313-4/+23
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny: clean environment in pkg_setupMaciej Barć2023-10-061-4/+9
| | | | | | force clean _JAVA_OPTIONS Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny: drop old 4.2.0Maciej Barć2023-10-062-517/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny: bump to 4.3.0Maciej Barć2023-09-302-0/+691
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny: add "go" test dependencyMaciej Barć2023-09-181-0/+1
| | | | | Closes: https://bugs.gentoo.org/914372 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny: add missing src_unpack to support gitMaciej Barć2023-09-181-0/+8
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny: new package; add 4.2.0Maciej Barć2023-09-177-0/+859
Signed-off-by: Maciej Barć <xgqt@gentoo.org>