sci-mathematics/agda-stdlib

Package

Summary

Version	Builds	Tests	QA
agda-stdlib-0.6
agda-stdlib-0.7-r1
agda-stdlib-0.7

Static analysis

Repoman

Nothing to report

pkgcore-checks

  StaleUnstableKeyword: version 0.6: no change in 511 days for unstable keywords [ ~amd64, ~x86 ]
  StaleUnstableKeyword: version 0.7: no change in 266 days for unstable keywords [ ~amd64, ~x86 ]
  StaleUnstableKeyword: version 0.7-r1: no change in 177 days for unstable keywords [ ~amd64, ~x86 ]
  UnstableOnly: for arch amd64, all versions are unstable: [ 0.6, 0.7, 0.7-r1 ]
  UnstableOnly: for arch x86, all versions are unstable: [ 0.6, 0.7, 0.7-r1 ]
  RedundantVersionWarning: version 0.6: slot(0) keywords are overshadowed by version '0.7-r1, 0.7'
  RedundantVersionWarning: version 0.7: slot(0) keywords are overshadowed by version '0.7-r1'

Sub-slot candidates

This lists all sub-slot candidates without regard to their appropriateness. Please check with the appropriate maintainer before implementing them.

sci-mathematics/agda-stdlib - 0.7 - dev-lang/ghc-7.4.2 - 0/7.4.2
sci-mathematics/agda-stdlib - 0.7 - dev-lang/ghc-7.6.3-r1 - 0/7.6.3