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
/
coq
Proof assistant written in O'Caml
http://coq.inria.fr/
Overview
Dependencies
QA report
Pull requests
0
Bugs
1
Security
0
Changelog
Pkgcheck Warnings
All Versions
8.16.1
StableRequest
slot(0) no change in 73 days for unstable keywords: [ ~amd64, ~x86 ]
8.16.0
RedundantVersion
slot(0) keywords are overshadowed by version: 8.16.1
8.15.2
RedundantVersion
slot(0) keywords are overshadowed by versions: 8.16.0, 8.16.1
8.13.0-r1
RedundantVersion
slot(0) keywords are overshadowed by versions: 8.15.2, 8.16.0, 8.16.1
8.12.0-r2
UnusedInherits
unused eclass: multilib
Description
Pkgcheck is used regularly to generate QA reports. Pkgcheck is a pkgcore-based QA utility for ebuild repos.
External Resources
CI Report
CI Report (verbose)