Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
dev-lang
/
dafny
Dafny is a verification-aware programming language
https://dafny.org/
Overview
Dependencies
QA report
Pull requests
0
Bugs
1
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2024-03-29
dev-lang/dafny: bump to 4.6.0
43e028a
Maciej Barć
committed on 2024-03-29 03:04:54 UTC
dev-lang/dafny/dafny-4.6.0.ebuild
dev-lang/dafny/Manifest
Commits on 2024-03-18
dev-lang/dafny: disable tests requiring cargo
0e92cfa
Maciej Barć
committed on 2024-03-18 23:04:28 UTC
dev-lang/dafny/dafny-4.5.0.ebuild
dev-lang/dafny: add missing psutil test dependency
7edf702
Maciej Barć
committed on 2024-03-18 08:28:59 UTC
dev-lang/dafny/dafny-4.5.0.ebuild
Commits on 2024-03-17
dev-lang/dafny: bump to 4.5.0
3caad7d
Maciej Barć
committed on 2024-03-17 21:53:18 UTC
dev-lang/dafny/dafny-4.5.0.ebuild
dev-lang/dafny/files/dafny-4.5.0-lit-config.patch
dev-lang/dafny/Manifest
Commits on 2024-02-10
dev-lang/dafny: drop old 4.3.0-r1
ddfc17b
Maciej Barć
committed on 2024-02-10 16:24:49 UTC
dev-lang/dafny/Manifest
dev-lang/dafny/dafny-4.3.0-r1.ebuild
dev-lang/dafny/files/dafny-4.1.0-lit.patch
dev-lang/dafny/files/dafny-4.2.0-lit-use-system-boogie.patch
dev-lang/dafny/files/dafny-4.3.0-net6.0-upgrade.patch
Commits on 2024-01-29
dev-lang/dafny: Stabilize 4.4.0-r1 amd64, #922370
b2fc369
Maciej Barć
committed on 2024-01-29 14:13:28 UTC
dev-lang/dafny/dafny-4.4.0-r1.ebuild
Commits on 2023-12-13
dev-lang/dafny: bring Java support back
4a647d3
Maciej Barć
committed on 2023-12-13 17:17:55 UTC
dev-lang/dafny/dafny-4.4.0-r1.ebuild
dev-lang/dafny/dafny-4.4.0.ebuild
dev-lang/dafny/files/dafny-4.4.0-no-copy-jar.patch
dev-lang/dafny/files/dafny-4.4.0-no-output-jar.patch
dev-lang/dafny: bump to 4.4.0
394afbb
Maciej Barć
committed on 2023-12-13 02:27:13 UTC
dev-lang/dafny/dafny-4.4.0.ebuild
dev-lang/dafny/files/dafny-4.4.0-lit-config.patch
dev-lang/dafny/files/dafny-4.4.0-lit-system-boogie.patch
dev-lang/dafny/files/dafny-4.4.0-no-copy-jar.patch
dev-lang/dafny/files/dafny-4.4.0-no-output-jar.patch
dev-lang/dafny/Manifest
Commits on 2023-11-13
dev-lang/dafny: Stabilize 4.3.0-r1 amd64, #917307
e1aa417
Sam James
committed on 2023-11-13 22:03:57 UTC
dev-lang/dafny/dafny-4.3.0-r1.ebuild
Commits on 2023-10-30
dev-lang/dafny: patch out .NET framework
467b53b
Maciej Barć
committed on 2023-10-30 23:15:54 UTC
dev-lang/dafny/dafny-4.3.0-r1.ebuild
dev-lang/dafny/files/dafny-4.3.0-net6.0-upgrade.patch
dev-lang/dafny/Manifest
dev-lang/dafny/dafny-4.3.0.ebuild
Commits on 2023-10-06
dev-lang/dafny: clean environment in pkg_setup
6b0f299
Maciej Barć
committed on 2023-10-06 15:20:50 UTC
dev-lang/dafny/dafny-4.3.0.ebuild
dev-lang/dafny: drop old 4.2.0
88c24e0
Maciej Barć
committed on 2023-10-06 15:20:49 UTC
dev-lang/dafny/Manifest
dev-lang/dafny/dafny-4.2.0.ebuild
Commits on 2023-09-30
dev-lang/dafny: bump to 4.3.0
f194b5a
Maciej Barć
committed on 2023-09-30 14:24:26 UTC
dev-lang/dafny/dafny-4.3.0.ebuild
dev-lang/dafny/Manifest
Commits on 2023-09-18
dev-lang/dafny: add "go" test dependency
418e2b3
Maciej Barć
committed on 2023-09-18 15:00:28 UTC
dev-lang/dafny/dafny-4.2.0.ebuild
Commits on 2023-09-17
dev-lang/dafny: add missing src_unpack to support git
7b3b0de
Maciej Barć
committed on 2023-09-17 22:37:21 UTC
dev-lang/dafny/dafny-4.2.0.ebuild
dev-lang/dafny: new package; add 4.2.0
b9accad
Maciej Barć
committed on 2023-09-17 19:20:28 UTC
dev-lang/dafny/Manifest
dev-lang/dafny/dafny-4.2.0.ebuild
dev-lang/dafny/files/dafny-3.12.0-DafnyCore-csproj.patch
dev-lang/dafny/files/dafny-3.12.0-DafnyRuntime-csproj.patch
dev-lang/dafny/files/dafny-4.1.0-lit.patch
dev-lang/dafny/files/dafny-4.2.0-lit-use-system-boogie.patch
dev-lang/dafny/metadata.xml