sci-mathematics/coq

Package

Summary

Version	Builds	Tests	QA
coq-8.4_p1
coq-8.4_p2
coq-8.4_p3
coq-8.3_p1

Static analysis

Repoman

upstream.workaround sci-mathematics/coq/coq-8.3_p1.ebuild: Upstream parallel compilation bug (ebuild calls emake -j1 on line: 73)
upstream.workaround sci-mathematics/coq/coq-8.4_p1.ebuild: Upstream parallel compilation bug (ebuild calls emake -j1 on line: 73)
upstream.workaround sci-mathematics/coq/coq-8.4_p2.ebuild: Upstream parallel compilation bug (ebuild calls emake -j1 on line: 70)
upstream.workaround sci-mathematics/coq/coq-8.4_p3.ebuild: Upstream parallel compilation bug (ebuild calls emake -j1 on line: 82)
repo.eapi.deprecated sci-mathematics/coq/coq-8.3_p1.ebuild: 2

pkgcore-checks

  StaleUnstableKeyword: version 8.4_p1: no change in 134 days for unstable keywords [ ~ppc ]
  StaleUnstableKeyword: version 8.4_p2: no change in 134 days for unstable keywords [ ~amd64, ~ppc, ~x86 ]
  StaleUnstableKeyword: version 8.4_p3: no change in 134 days for unstable keywords [ ~amd64, ~ppc, ~x86 ]
  LaggingStableInfo: version 8.4_p1: stabled arches [ amd64, x86 ], potentials [ ~ppc ]
  MissingChksum: version 8.3_p1: file coq-8.3pl1.tar.gz is missing required chksums: sha512, whirlpool; has chksums: sha256, size
  RedundantVersionWarning: version 8.4_p2: slot(0) keywords are overshadowed by version '8.4_p3'

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/coq - 8.3_p1 - dev-ml/camlp5-6.07_p1 - 0/6.07_p1
sci-mathematics/coq - 8.3_p1 - dev-ml/camlp5-6.11 - 0/6.11
sci-mathematics/coq - 8.3_p1 - dev-ml/lablgtk-2.16.0 - 2/2.16.0