This request is superseded by
request 481259
(Show diff)
Overview
Request 481252 superseded
This will be needed by a new version of klee.
- Created by jirislaby
- In state superseded
- Supersedes 480778
- Superseded by 481259
-
Open review for
legal-auto
-
Open review for
factory-staging
-
Open review for
opensuse-review-team
-
Open review for
factory-repo-checker
Loading...
reviewer
sorry for being pedantic - but now I fail to see why there is still a main package provided - there is literally nothing in there that would make any sense.
My recommendation would be to have
- source rpm called klee-uclibc (as-is)
- binary package klee-uclibc-devel-static = which is in fact the only thing of interest
If you think the split as is makes sense, well, you're the maintainer of it and will get questions by confused users
Login required, please
login
in order to comment
Request History
jirislaby created request
This will be needed by a new version of 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
superseded by 481259
I'm so sorry :( - and I feel bad:
+%package devel-static +Summary: Libc library for Klee +Group: Development/Languages/Other +Requires: %{name} = %{version}=> This requires is not satisfied
:( I assume post install checks use --nodeps?
[ 8s] ... installing all built rpms [ 8s] Preparing packages... [ 8s] klee-uclibc-devel-static-1.0.0-0.x86_64IIRC, yes, they do