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
0
Security
0
Changelog
Dependencies
Reverse-Dependencies
4.8.1
Version
RDEPEND
DEPEND
BDEPEND
IDEPEND
PDEPEND
dev-dotnet/coco
dev-dotnet/csharp-gentoodotnetinfo
dev-go/go-tools
dev-java/java-config
dev-lang/boogie
dev-lang/go
dev-lang/python
dev-python/OutputCheck
dev-python/lit
dev-python/psutil
net-libs/nodejs
sci-mathematics/z3
virtual/dotnet-sdk
virtual/jdk
virtual/jre
4.8.0
Version
RDEPEND
DEPEND
BDEPEND
IDEPEND
PDEPEND
dev-dotnet/coco
dev-dotnet/csharp-gentoodotnetinfo
dev-go/go-tools
dev-java/java-config
dev-lang/boogie
dev-lang/go
dev-lang/python
dev-python/OutputCheck
dev-python/lit
dev-python/psutil
net-libs/nodejs
sci-mathematics/z3
virtual/dotnet-sdk
virtual/jdk
virtual/jre
4.7.0
Version
RDEPEND
DEPEND
BDEPEND
IDEPEND
PDEPEND
dev-dotnet/coco
dev-dotnet/csharp-gentoodotnetinfo
dev-go/go-tools
dev-java/java-config
dev-lang/boogie
dev-lang/go
dev-lang/python
dev-python/OutputCheck
dev-python/lit
dev-python/psutil
net-libs/nodejs
sci-mathematics/z3
virtual/dotnet-sdk
virtual/jdk
virtual/jre
Description
The dependencies are regularly computed based on the
qa-reports
.