Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
why3
Platform for deductive program verification
https://www.why3.org/
Overview
Dependencies
QA report
Pull requests
0
Bugs
3
Security
0
Changelog
Dependencies
Reverse-Dependencies
Version
RDEPEND
DEPEND
BDEPEND
IDEPEND
PDEPEND
sci-mathematics/easycrypt-2024.01-r1
sci-mathematics/easycrypt-2024.09
Description
The reverse dependencies are regularly parsed from the
qa-reports
. The sources can be found at:
rdepend
depend
bdepend
idepend
pdepend