Request 456784 (superseded)

This request is superseded by request 458477 (Show diff)

minisat is needed for stp

minisat is needed for stp

factory-auto added opensuse-review-team as a reviewer about 7 years ago

Please review sources

factory-auto added factory-repo-checker as a reviewer about 7 years ago

Please review build success

Check script succeeded

Builds for repo devel:tools:statica/openSUSE_Tumbleweed

Being evaluated by staging project "openSUSE:Factory:Staging:adi:49"

Picked openSUSE:Factory:Staging:adi:49

The package should do SLPP. (Cf. SR 457626 for a fix.)

The package should do SLPP. (Cf. SR 457626 for a fix.)

superseded by 458477