Revisions of klee-uclibc
Dominique Leuenberger (dimstar_suse)
accepted
request 508052
from
Factory Maintainer (factory-maintainer)
(revision 4)
Automatic submission by obs-autosubmit
Dominique Leuenberger (dimstar_suse)
accepted
request 502371
from
Jiri Slaby (jirislaby)
(revision 3)
- switch to LLVM 4 - BuildRequire: python as it is needed for configure - add proper-compiler-flags-check.patch to kill the message flood
Dominique Leuenberger (dimstar_suse)
accepted
request 492739
from
Factory Maintainer (factory-maintainer)
(revision 2)
Automatic submission by obs-autosubmit
Dominique Leuenberger (dimstar_suse)
accepted
request 483740
from
Jiri Slaby (jirislaby)
(revision 1)
This will be needed by a new version of klee.
Displaying revisions 21 - 24 of 24