Overview Repositories Revisions Requests Users Attributes Meta

Revisions of klee-uclibc

Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 508052 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 4) 
Automatic submission by obs-autosubmit
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 502371 from Jiri Slaby's avatar 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's avatar Dominique Leuenberger (dimstar_suse) accepted request 492739 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 2) 
Automatic submission by obs-autosubmit
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 483740 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 1) 
This will be needed by a new version of klee.
Displaying revisions 21 - 24 of 24
openSUSE Build Service is sponsored by
Places