sci-mathematics/

coq-serapi

Serialization library and protocol for interaction with the Coq proof assistant

All Versions
- UnstableOnly
  for arch: [ amd64 ], all versions are unstable: [ 0.16.1, 0.16.2-r1, 0.16.3 ]
0.16.3
0.16.2-r1
- RedundantVersion
  slot(0) keywords are overshadowed by version: 0.16.3
0.16.1
- RedundantVersion
  slot(0) keywords are overshadowed by versions: 0.16.2-r1, 0.16.3

Pkgcheck is used regularly to generate QA reports. Pkgcheck is a pkgcore-based QA utility for ebuild repos.