sci-mathematics/
coq-serapi

Serialization library and protocol for interaction with the Coq proof assistant

https://github.com/ejgallego/coq-serapi/

Pkgcheck Warnings

  • 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.