Overview
Request 481259 superseded
This will be needed by a new version of klee.
- Created by jirislaby
- In state superseded
- Supersedes 481252
- Superseded by 483740
- Open review for openSUSE:Factory:Staging:adi:295
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_64
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
maxlin_factory added as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:295"
maxlin_factory accepted review
Picked openSUSE:Factory:Staging:adi:295
dimstar accepted review
factory-repo-checker accepted review
Builds for repo devel:tools:statica/openSUSE_Tumbleweed
licensedigger declined review
@ciaran.farrell@suse.com declined the legal report with the following comment: Multiple GPL-2.0+ matches not accounted for in spec file license. Also GPL-2.0+ incompatible licenses found (BSD-4-Clause, Innernet-2).
klee-uclibc-1.0.0/extra/config/lxdialog/checklist.c
klee-uclibc-1.0.0/extra/config/lxdialog/dialog.h
klee-uclibc-1.0.0/extra/config/lxdialog/inputbox.c
klee-uclibc-1.0.0/extra/config/lxdialog/menubox.c
klee-uclibc-1.0.0/extra/config/lxdialog/textbox.c
klee-uclibc-1.0.0/extra/config/lxdialog/util.c
klee-uclibc-1.0.0/extra/config/lxdialog/yesno.c
klee-uclibc-1.0.0/ldso/man/dlopen.3
klee-uclibc-1.0.0/ldso/man/ld.so.texi
klee-uclibc-1.0.0/libc/inet/resolv.c
klee-uclibc-1.0.0/libc/misc/dirent/dirstream.h
klee-uclibc-1.0.0/libc/stdlib/malloc/calloc.c
klee-uclibc-1.0.0/libc/stdlib/posix_memalign.c
klee-uclibc-1.0.0/libc/sysdeps/linux/bfin/crti.S
klee-uclibc-1.0.0/libc/sysdeps/linux/bfin/crtn.S
klee-uclibc-1.0.0/libc/sysdeps/linux/bfin/syscall.c
klee-uclibc-1.0.0/libc/sysdeps/linux/e1/crt1.c
klee-uclibc-1.0.0/libc/sysdeps/linux/frv/syscall.c
klee-uclibc-1.0.0/libc/sysdeps/linux/i386/sigaction.c
klee-uclibc-1.0.0/libc/sysdeps/linux/i960/clone.S
klee-uclibc-1.0.0/libc/sysdeps/linux/i960/crt0.S
klee-uclibc-1.0.0/libc/sysdeps/linux/i960/mmap.S
klee-uclibc-1.0.0/libc/sysdeps/linux/m68k/syscall.c
klee-uclibc-1.0.0/libc/sysdeps/linux/mips/sigaction.c
klee-uclibc-1.0.0/libc/sysdeps/linux/nios2/syscall.c
klee-uclibc-1.0.0/libc/sysdeps/linux/powerpc/crt1.S
klee-uclibc-1.0.0/libc/sysdeps/linux/sh/___fpscr_values.S
klee-uclibc-1.0.0/libc/sysdeps/linux/sh/crt1.S
klee-uclibc-1.0.0/libc/sysdeps/linux/sh/mmap.c
klee-uclibc-1.0.0/libc/sysdeps/linux/sh/vfork.S
klee-uclibc-1.0.0/utils/ldd.c
klee-uclibc-1.0.0/utils/readelf.c
licensedigger declined request
@ciaran.farrell@suse.com declined the legal report with the following comment: Multiple GPL-2.0+ matches not accounted for in spec file license. Also GPL-2.0+ incompatible licenses found (BSD-4-Clause, Innernet-2).
klee-uclibc-1.0.0/extra/config/lxdialog/checklist.c
klee-uclibc-1.0.0/extra/config/lxdialog/dialog.h
klee-uclibc-1.0.0/extra/config/lxdialog/inputbox.c
klee-uclibc-1.0.0/extra/config/lxdialog/menubox.c
klee-uclibc-1.0.0/extra/config/lxdialog/textbox.c
klee-uclibc-1.0.0/extra/config/lxdialog/util.c
klee-uclibc-1.0.0/extra/config/lxdialog/yesno.c
klee-uclibc-1.0.0/ldso/man/dlopen.3
klee-uclibc-1.0.0/ldso/man/ld.so.texi
klee-uclibc-1.0.0/libc/inet/resolv.c
klee-uclibc-1.0.0/libc/misc/dirent/dirstream.h
klee-uclibc-1.0.0/libc/stdlib/malloc/calloc.c
klee-uclibc-1.0.0/libc/stdlib/posix_memalign.c
klee-uclibc-1.0.0/libc/sysdeps/linux/bfin/crti.S
klee-uclibc-1.0.0/libc/sysdeps/linux/bfin/crtn.S
klee-uclibc-1.0.0/libc/sysdeps/linux/bfin/syscall.c
klee-uclibc-1.0.0/libc/sysdeps/linux/e1/crt1.c
klee-uclibc-1.0.0/libc/sysdeps/linux/frv/syscall.c
klee-uclibc-1.0.0/libc/sysdeps/linux/i386/sigaction.c
klee-uclibc-1.0.0/libc/sysdeps/linux/i960/clone.S
klee-uclibc-1.0.0/libc/sysdeps/linux/i960/crt0.S
klee-uclibc-1.0.0/libc/sysdeps/linux/i960/mmap.S
klee-uclibc-1.0.0/libc/sysdeps/linux/m68k/syscall.c
klee-uclibc-1.0.0/libc/sysdeps/linux/mips/sigaction.c
klee-uclibc-1.0.0/libc/sysdeps/linux/nios2/syscall.c
klee-uclibc-1.0.0/libc/sysdeps/linux/powerpc/crt1.S
klee-uclibc-1.0.0/libc/sysdeps/linux/sh/___fpscr_values.S
klee-uclibc-1.0.0/libc/sysdeps/linux/sh/crt1.S
klee-uclibc-1.0.0/libc/sysdeps/linux/sh/mmap.c
klee-uclibc-1.0.0/libc/sysdeps/linux/sh/vfork.S
klee-uclibc-1.0.0/utils/ldd.c
klee-uclibc-1.0.0/utils/readelf.c
superseded by 483740
