sci-mathematics/isabelle

Package

Summary

Version	Builds	Tests	QA
isabelle-2013-r1
isabelle-2012-r1
isabelle-2011.1
isabelle-2011.1-r2

Static analysis

Repoman

Nothing to report

pkgcore-checks

  StaleUnstableKeyword: version 2011.1: no change in 858 days for unstable keywords [ ~amd64, ~x86 ]
  StaleUnstableKeyword: version 2011.1-r2: no change in 149 days for unstable keywords [ ~amd64, ~x86 ]
  StaleUnstableKeyword: version 2012-r1: no change in 149 days for unstable keywords [ ~amd64, ~x86 ]
  StaleUnstableKeyword: version 2013-r1: no change in 149 days for unstable keywords [ ~amd64, ~x86 ]
  UnstableOnly: for arch amd64, all versions are unstable: [ 2011.1, 2011.1-r2, 2012-r1, 2013-r1 ]
  UnstableOnly: for arch x86, all versions are unstable: [ 2011.1, 2011.1-r2, 2012-r1, 2013-r1 ]
  RedundantVersionWarning: version 2011.1: slot(0) keywords are overshadowed by version '2013-r1, 2012-r1, 2011.1-r2'
  RedundantVersionWarning: version 2011.1-r2: slot(0) keywords are overshadowed by version '2013-r1, 2012-r1'
  RedundantVersionWarning: version 2012-r1: slot(0) keywords are overshadowed by version '2013-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/isabelle - 2011.1 - dev-lang/perl-5.16.3 - 0/5.16
sci-mathematics/isabelle - 2011.1 - dev-lang/perl-5.16.3 - 0/5.16
sci-mathematics/isabelle - 2012 - dev-lang/perl-5.16.3 - 0/5.16
sci-mathematics/isabelle - 2013 - dev-lang/ghc-7.6.3-r1 - 0/7.6.3
sci-mathematics/isabelle - 2013 - dev-lang/perl-5.16.3 - 0/5.16