app-emacs/proofgeneral

Package

Summary

Version	Builds	Tests	QA
proofgeneral-4.1
proofgeneral-4.2

Static analysis

Repoman

upstream.workaround app-emacs/proofgeneral/proofgeneral-4.1.ebuild: Upstream parallel compilation bug (ebuild calls emake -j1 on line: 36)
upstream.workaround app-emacs/proofgeneral/proofgeneral-4.1.ebuild: Upstream parallel compilation bug (ebuild calls emake -j1 on line: 40)
upstream.workaround app-emacs/proofgeneral/proofgeneral-4.2.ebuild: Upstream parallel compilation bug (ebuild calls emake -j1 on line: 35)
upstream.workaround app-emacs/proofgeneral/proofgeneral-4.2.ebuild: Upstream parallel compilation bug (ebuild calls emake -j1 on line: 39)

pkgcore-checks

  RedundantVersionWarning: version 4.1: slot(0) keywords are overshadowed by version '4.2'

Sub-slot candidates

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

Nothing to report