Overview
Request History
jirislaby created request
stp is needed by klee
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto added factory-repo-checker as a reviewer
Please review build success
factory-auto accepted review
Check script succeeded
factory-repo-checker reopened review
Execution plan: devel:tools:statica/openSUSE_Tumbleweed
can't install libstp2_1-2.2+20161105-3.1.x86_64:
nothing provides libminisat.so.2()(64bit) needed by libstp2_1-2.2+20161105-3.1.x86_64
dimstar_suse added as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:49"
dimstar_suse accepted review
Picked openSUSE:Factory:Staging:adi:49
factory-repo-checker accepted review
Builds for repo devel:tools:statica/openSUSE_Tumbleweed
jengelh accepted review
licensedigger accepted review
ok
maxlin_factory accepted review
ready to accept
maxlin_factory approved review
ready to accept
dimstar_suse accepted request
Accept to openSUSE:Factory
