Overview
Request 970842 superseded
- update to 2.7.5:
* Import Project: Fix problem with define value with space
- Created by dirkmueller
- In state superseded
- Superseded by 971910
-
Open review for
opensuse-review-team
Request History
dirkmueller created request
- update to 2.7.5:
* Import Project: Fix problem with define value with space
dimstar_suse added openSUSE:Factory:Staging:adi:30 as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:30"
dimstar_suse accepted review
Picked "openSUSE:Factory:Staging:adi:30"
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
licensedigger accepted review
ok
dimstar declined review
FTBFS on i586:
[ 118s] /usr/include/z3++.h:2336:26: error: ambiguous overload for 'operator[]' (operand types are 'const expr_vector' {aka 'const z3::ast_vector_tpl'} and 'int')
[ 118s] 2336 | context& ctx = es[0].ctx();
dimstar declined request
FTBFS on i586:
[ 118s] /usr/include/z3++.h:2336:26: error: ambiguous overload for 'operator[]' (operand types are 'const expr_vector' {aka 'const z3::ast_vector_tpl'} and 'int')
[ 118s] 2336 | context& ctx = es[0].ctx();
dirkmueller superseded request
superseded by 971910
