Version | Builds | Tests | QA |
---|---|---|---|
agda-2.3.2 | |||
agda-2.3.2.2-r1 | |||
agda-2.3.0.1-r1 | |||
agda-2.3.2.1-r1 | |||
agda-2.3.0.1 | |||
agda-2.3.2-r2 | |||
agda-2.3.2-r5 |
Nothing to report
StaleUnstableKeyword: version 2.3.0.1: no change in 631 days for unstable keywords [ ~amd64, ~x86 ] StaleUnstableKeyword: version 2.3.0.1-r1: no change in 565 days for unstable keywords [ ~amd64, ~x86 ] StaleUnstableKeyword: version 2.3.2: no change in 565 days for unstable keywords [ ~amd64, ~x86 ] StaleUnstableKeyword: version 2.3.2-r2: no change in 525 days for unstable keywords [ ~amd64, ~x86 ] StaleUnstableKeyword: version 2.3.2-r5: no change in 430 days for unstable keywords [ ~amd64, ~x86 ] StaleUnstableKeyword: version 2.3.2.1-r1: no change in 229 days for unstable keywords [ ~amd64, ~x86 ] StaleUnstableKeyword: version 2.3.2.2-r1: no change in 100 days for unstable keywords [ ~amd64, ~x86 ] UnstableOnly: for arch amd64, all versions are unstable: [ 2.3.0.1, 2.3.0.1-r1, 2.3.2, 2.3.2-r2, 2.3.2-r5, 2.3.2.1-r1, 2.3.2.2-r1 ] UnstableOnly: for arch x86, all versions are unstable: [ 2.3.0.1, 2.3.0.1-r1, 2.3.2, 2.3.2-r2, 2.3.2-r5, 2.3.2.1-r1, 2.3.2.2-r1 ] RedundantVersionWarning: version 2.3.0.1: slot(0) keywords are overshadowed by version '2.3.2.2-r1, 2.3.2.1-r1, 2.3.2-r5, 2.3.2-r2, 2.3.2, 2.3.0.1-r1' RedundantVersionWarning: version 2.3.0.1-r1: slot(0) keywords are overshadowed by version '2.3.2.2-r1, 2.3.2.1-r1, 2.3.2-r5, 2.3.2-r2, 2.3.2' RedundantVersionWarning: version 2.3.2: slot(0) keywords are overshadowed by version '2.3.2.2-r1, 2.3.2.1-r1, 2.3.2-r5, 2.3.2-r2' RedundantVersionWarning: version 2.3.2-r2: slot(0) keywords are overshadowed by version '2.3.2.2-r1, 2.3.2.1-r1, 2.3.2-r5' RedundantVersionWarning: version 2.3.2-r5: slot(0) keywords are overshadowed by version '2.3.2.2-r1, 2.3.2.1-r1' RedundantVersionWarning: version 2.3.2.1-r1: slot(0) keywords are overshadowed by version '2.3.2.2-r1'
This lists all sub-slot candidates without regard to their appropriateness. Please check with the appropriate maintainer before implementing them.
sci-mathematics/agda - 2.3.0.1 - dev-haskell/binary-0.5.1.1 - 0/0.5.1.1 sci-mathematics/agda - 2.3.0.1 - dev-haskell/binary-0.7.1.0 - 0/0.7.1.0 sci-mathematics/agda - 2.3.0.1 - dev-haskell/binary-0.5.1.1 - 0/0.5.1.1 sci-mathematics/agda - 2.3.0.1 - dev-haskell/hashable-1.1.2.5 - 0/1.1.2.5 sci-mathematics/agda - 2.3.0.1 - dev-haskell/haskeline-0.6.4.7-r1 - 0/0.6.4.7 sci-mathematics/agda - 2.3.0.1 - dev-haskell/haskeline-0.6.4.7-r1 - 0/0.6.4.7 sci-mathematics/agda - 2.3.0.1 - dev-haskell/mtl-2.1.2-r1 - 0/2.1.2 sci-mathematics/agda - 2.3.0.1 - dev-haskell/mtl-2.1.2-r1 - 0/2.1.2 sci-mathematics/agda - 2.3.0.1 - dev-haskell/syb-0.4.0 - 0/0.4.0 sci-mathematics/agda - 2.3.0.1 - dev-haskell/syb-0.4.1 - 0/0.4.1 sci-mathematics/agda - 2.3.0.1 - dev-haskell/xhtml-3000.2.1-r1 - 0/3000.2.1 sci-mathematics/agda - 2.3.0.1 - dev-haskell/zlib-0.5.4.0 - 0/0.5.4.0 sci-mathematics/agda - 2.3.0.1 - dev-haskell/zlib-0.5.4.1 - 0/0.5.4.1 sci-mathematics/agda - 2.3.0.1 - dev-haskell/zlib-0.5.4.0 - 0/0.5.4.0 sci-mathematics/agda - 2.3.0.1 - dev-haskell/zlib-0.5.4.1 - 0/0.5.4.1 sci-mathematics/agda - 2.3.0.1 - dev-lang/ghc-7.4.2 - 0/7.4.2 sci-mathematics/agda - 2.3.0.1 - dev-lang/ghc-7.6.3-r1 - 0/7.6.3