Revisions of klee

Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 39)
fix changes
buildservice-autocommit accepted request 564487 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 38)
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 37)
up to 1.4.0+20180108
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 36)
py3
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 35)
add python3-setuptools
buildservice-autocommit accepted request 545450 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 34)
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 33)
up to 1.4.0+20171026
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 32)
up to 1.4.0+20171026
buildservice-autocommit accepted request 534467 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 31)
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 30)
up to 1.4.0+20171009
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 29)
up to 1.4.0+20170811
buildservice-autocommit accepted request 508051 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 28)
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 27)
switch to py 3
buildservice-autocommit accepted request 502372 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 26)
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 25)
req proper klee-uclibc-devel-static
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 24)
llvm 4 & update
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 23)
up to 1.3.0+20170602
buildservice-autocommit accepted request 491222 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 22)
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 21)
up to 20170409
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 20)
fix deleted patches
Displaying revisions 101 - 120 of 139
openSUSE Build Service is sponsored by