klee-uclibc
No description set
- Developed at devel:tools:statica
- Sources inherited from project openSUSE:Factory
-
1
derived packages
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Leap:15.1:Staging:FactoryCandidates/klee-uclibc && cd $_ - Create Badge
Refresh
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| _service | 0000000528 528 Bytes | |
| _servicedata | 0000000235 235 Bytes | |
| klee-uclibc-1.0.0+git.20171011.tar.xz | 0001714196 1.63 MB | |
| klee-uclibc-rpmlintrc | 0000000084 84 Bytes | |
| klee-uclibc.changes | 0000003926 3.83 KB | |
| klee-uclibc.spec | 0000002456 2.4 KB | |
| proper-compiler-flags-check.patch | 0000000765 765 Bytes |
Revision 8 (latest revision is 24)
Dominique Leuenberger (dimstar_suse)
accepted
request 632734
from
Jiri Slaby (jirislaby)
(revision 8)
- Update to version 1.0.0+git.20171011: * Updated Travis-CI to compile KLEE with CMake only * Sort list of ar input files * Removed support for LLVM 2.9 * configure: read kernel header location from environment variable * features: support glibc 2.25 - remove 0001-features-support-glibc-2.25.patch (in upstream)
Comments 0