dev-lang/
idris2

Purely functional programming language with first class types

https://idris-lang.org/

Pkgcheck Warnings

  • All Versions
    • UnstableOnly
      for arches: [ amd64, x86 ], all versions are unstable: [ 0.5.1_p20220131-r1, 0.5.1_p20220224-r1, 0.5.1_p20220920 ]
  • 0.5.1_p20220920
  • 0.5.1_p20220224-r1
    • RedundantVersion
      slot(0) keywords are overshadowed by version: 0.5.1_p20220920
  • 0.5.1_p20220131-r1
    • RedundantVersion
      slot(0) keywords are overshadowed by versions: 0.5.1_p20220224-r1, 0.5.1_p20220920

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