dev-lang/
maude

High-level specification language for equational and logic programming

http://maude.cs.uiuc.edu/

Pkgcheck Warnings

  • All Versions
    • UnstableOnly
      for arches: [ amd64, ppc, x86 ], all versions are unstable: [ 2.7-r1 ]
  • 2.7-r1

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