| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | dev-lang/dafny: remove tests failing with GCC 14 |   Maciej Barć | 2024-11-04 | 1 | -0/+4 |
| | | | | | | Closes: https://bugs.gentoo.org/942775 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: bump to 4.9.0 | Maciej Barć | 2024-11-01 | 2 | -0/+659 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: drop old 4.7.0 | Maciej Barć | 2024-10-23 | 2 | -679/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: Stabilize 4.8.0 amd64, #940558 |   Sam James | 2024-10-01 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-lang/dafny: bump to 4.8.1 | Maciej Barć | 2024-09-17 | 2 | -0/+686 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: bump to 4.8.0 | Maciej Barć | 2024-08-31 | 2 | -0/+685 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: drop old 4.6.0 | Maciej Barć | 2024-08-31 | 2 | -643/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: Stabilize 4.7.0 amd64, #937075 |   Arthur Zamarin | 2024-08-01 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-lang/dafny: bump to 4.7.0 | Maciej Barć | 2024-06-28 | 2 | -0/+679 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: drop old 4.5.0 | Maciej Barć | 2024-06-07 | 2 | -625/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: Stabilize 4.6.0 amd64, #932860 | Sam James | 2024-05-28 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-lang/dafny: drop old 4.4.0-r1 | Maciej Barć | 2024-05-27 | 4 | -636/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: disable broken c++ tests | Maciej Barć | 2024-05-27 | 1 | -0/+3 |
| | | | | | | Closes: https://bugs.gentoo.org/930488 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: Stabilize 4.5.0 amd64, #930160 |   Matoro Mahri | 2024-05-23 | 1 | -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 edob | Maciej Barć | 2024-05-24 | 3 | -3/+3 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: bump to 4.6.0 | Maciej Barć | 2024-03-29 | 2 | -0/+628 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: disable tests requiring cargo | Maciej Barć | 2024-03-19 | 1 | -0/+3 |
| | | | | | | Closes: https://bugs.gentoo.org/927242 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: add missing psutil test dependency | Maciej Barć | 2024-03-18 | 1 | -0/+1 |
| | | | | | | Closes: https://bugs.gentoo.org/927225 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: bump to 4.5.0 | Maciej Barć | 2024-03-17 | 3 | -0/+656 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: drop old 4.3.0-r1 | Maciej Barć | 2024-02-10 | 5 | -669/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: Stabilize 4.4.0-r1 amd64, #922370 | Maciej Barć | 2024-01-29 | 1 | -2/+2 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: bring Java support back | Maciej Barć | 2023-12-13 | 3 | -50/+45 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: bump to 4.4.0 | Maciej Barć | 2023-12-13 | 6 | -0/+637 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: Stabilize 4.3.0-r1 amd64, #917307 | Sam James | 2023-11-13 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-lang/dafny: patch out .NET framework | Maciej Barć | 2023-10-31 | 3 | -4/+23 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: clean environment in pkg_setup | Maciej Barć | 2023-10-06 | 1 | -4/+9 |
| | | | | | | | force clean _JAVA_OPTIONS Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: drop old 4.2.0 | Maciej Barć | 2023-10-06 | 2 | -517/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: bump to 4.3.0 | Maciej Barć | 2023-09-30 | 2 | -0/+691 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: add "go" test dependency | Maciej Barć | 2023-09-18 | 1 | -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 git | Maciej Barć | 2023-09-18 | 1 | -0/+8 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-lang/dafny: new package; add 4.2.0 | Maciej Barć | 2023-09-17 | 7 | -0/+859 |
| Signed-off-by: Maciej Barć <xgqt@gentoo.org> | |||||
GitWeb