minisat-devel-2.2.0+20130925-lp150.1.3 >  A ZƸ/=„U?S #laŨi7y/2UL]f%]غNwzL(hٚ9)IXO J.9pq+1W`:J`KHW]ީ_?YuoH}Dh8}D%vįI TkR j_0(tF/f}{4S\0p]z )^)RxߢԐBx4n<>5֛CǙ+ZZtIrՔ)ϛfzebec0ddb801d59c10c000d1c9965a28500b7955f27575fad2ea980be1a0c5e390274dd762e97a44a1d9440f81c229f52b1a07a15jZƸ/=„O|>m#d.4RãLB.d-h΅>8o}Ƙ2w=ZGsřV.ޑ h:Y Cٽ"xwls5Y;y4ƨ@Gl(ĉHE s 'D3se $졀 $]P{3_0j@+GK4e/_ ?+ƇU-ߍT.W:E ;ow%z<"f*y\7΅I۔e`K ж>p;|?ld ) Apt| h   (  H8d  z( 8 9 : >F _G tH I 4X LY T\ ] ^ bNcdUeZf]l_utvz  &hCminisat-devel2.2.0+20130925lp150.1.3Devel files for minisatHeaders and libraries for the minisat package.Xlamb16openSUSE Leap 15.0openSUSEMIThttps://bugs.opensuse.orgDevelopment/Libraries/C and C++http://minisat.se/MiniSat.htmllinuxx86_64 ]C #3x2 { *J/I AA큤A큤A큤A큤ZZZZZZZZZZZZZZZZZZZZZZZZ90255d76a70a156c9d6013e9dc21dcf9f470cf0180edbd55c59e9cf0e9e8f4db47f0330cf08eea66852015be00c53c92b1454eee9d549e53f09feaa25c8f03b2322ae501b97e504393bc3a1cd33aa095be6b239da116024a9db6f09f560fde51c91b497f7e96b4892cc9ed4ab85e67b6c91123f15d57a3bf74c40a1e121985bbbced853d985d4e2740f9b8868987400dc2b225a741c4aea5b75a5f8126688e4225fab50c849e42da50b9d4b70e6e33519003e19c4731914c3350144cd6e32fa8333cffcfefc88ffc4f42c628b2bd59129d333de16f75c65b92e4b0ee1dec72a977d5cc50cbbaeccc85db25cf3e4a652158e1decbf79ebf92283371ddfb0152df98e035eb6fb0d6200a46e5de8662b0c62d2abb8800172af6888eea4cd3f6c2aef6eaf0beda57c79e805e5819f3c1f60f2a6bd9c0b765720e95e8204ce6de8c0f352fe4e6dc663d4854296727ee9bd71708a984ecb2774236fad3f24c4fe6ec8169677457dec510ca14bdff4f3a7c8a4e8271bab830bfc3bfa2e6ac8653bc4f34eb998a7171f76699da43ac9b4492783cf8ec344a07010c3773fc683b3f6746bc190209abdab80a3562125525890254048bb732cfeb5017603c52cc2b00ca62cfd893fff1c8c390a4f8b445aa7c01c2e955eabf9378f4eb4b2875df913847d7da87c7c9cf4570fac2841954157959b7f25948133377bbaaf880f1e1e74da4473729803190f79e47c31a444a90fcf2ec65349a70c1bc4ea2fb3713a4b2ce09f0b1ebb1c5c620a139aa9cb2abc2969e842baf8ab37e31b34ddef7ab07a221898a2clibminisat.so.2rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootminisat-2.2.0+20130925-lp150.1.3.src.rpmminisat-develminisat-devel(x86-64)    libminisat2rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)zlib-devel2.2.0+201309253.0.4-14.6.0-14.0-15.2-14.14.1XX@X@V@V@U-@U @jslaby@suse.commpluskal@suse.comjengelh@inai.dejslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.com- make the version the same as for stp, klee and others- Adjust _service- Trim description - Use version numbers based on those used by upstream- add LICENSE and README- add Makefile_lib_rule.patch: fix parallel build- switch to the git version - update to 20130925- initial packagelamb16 1487332800 2.2.0+20130925-lp150.1.32.2.0+20130925-lp150.1.3minisatcoreDimacs.hSolver.hSolverTypes.hmtlAlg.hAlloc.hHeap.hIntMap.hIntTypes.hMap.hQueue.hRnd.hSort.hVec.hXAlloc.hsimpSimpSolver.hutilsOptions.hParseUtils.hSystem.hlibminisat.so/usr/include//usr/include/minisat//usr/include/minisat/core//usr/include/minisat/mtl//usr/include/minisat/simp//usr/include/minisat/utils//usr/lib64/-fmessage-length=0 -grecord-gcc-switches -O2 -Wall -D_FORTIFY_SOURCE=2 -fstack-protector-strong -funwind-tables -fasynchronous-unwind-tables -fstack-clash-protection -gobs://build.opensuse.org/openSUSE:Leap:15.0/standard/2641adec4f55906f63e78a8d91c3f2ef-minisatcpioxz5x86_64-suse-linuxdirectoryC++ source, ASCII textC source, ASCII text%;}fHutf-87a25eede03e17ce40c8a438b942b90071a489cafe6cbde48d949893a8d64a8d6?P7zXZ !t/Uy] crt:bLL ~50l;W8:?2n副_깠9uc~ [aj$_UB8?S,躴:_ˡA1C8ߥ;/uxs.YM,Dkn*a@z>P,z>ʱI,.h"{ɸ09{8ilmV G0*)O%,s5*ak++9xD4!MՉ'&A%=ے\8ס)q=~O6/k,o N60lrB)zz);-yRWϺ]ʺ$Й;M1RJp&|p81Pf&E*h0kPxa55kj!gE¤5SxW:&@1wz5VG sLQO[ɻ}ivDg„rOhTPJũy߃ ZW1|Qkѐ;Ͱ:uz &@۠>зX VDe skiq2^*cʆq2ݶJ#Gqw+Fɓ)H%`봀gղD&\czZK!f aqoumY1J[!d"zW_2{lSOqFJV37+},;ij#@O /7ʉu y0&#Kf$:h_뉂◵c5/4m޾sz(ۯaGh42q'*[y-s$^21yDe>1mվG PMz^Ezن?ܖ'aU/\Ȟr_${a-Wt+=ͮղ%k'MCآ:cHهUc"+F}S(H q: @@&m,|/[ɬx#JM5/˃L#NI *0=cU=xD⹟GM4'~+=]oV&v7مyb.ν!J$"ѓ9nAYPFf;4Z+[ޭ5t,8cj6j @| _8<-.9ˠұ>~Gg;M9./>qQ0[|ҹ:-+A1m/O!C ;R^!m(5λo,GUcm.|3@2?y.*w.~`1\#~7j :bBʮ_zeh0Ou$vMhn# {5r4m-rۄ_ZIfowx`& RzLpka ,&[aͿ{ڜ?>Hf>=fAeغAGm$dJ(D&5=3ˑԽJbYsWYuӆl,tG >!£ +֫Vd@ Sp*?LG)pcoB1AU JƁ.Wל&'R͂s]~!r̋Slm$\4,ɫ, / +\>:[%GlFn@.)KC{81.Tr{Z\gzLBBՎ%M9u)9MVr\վy.Gƛq[S.9=A CցBNY7F\t{kNS\𔪇:^&#f'W^F*=N/Y吨2hTFaQ_.[x*ގrGla;]}]W*Lk|4GR.HĹ8Qh2H duRσBY vɖ?<:LvaUo-uo i{9(OUVO|^RPWᐽ!uW4qYcõcͺ!X"rMA!0`,G)dr:l_0b>?st 1 oJƯ,m:pt®qfkhz!%^~+ ӻiF~b"/Y$nځAί NNzf1G.uY-km͜`>:/FP}t.{_羝+aF1'pX'`ғXOEKhc%{I3+In{x]~b;fbG`D7ĸB*U樴Qc["+|H ;U5b)''ÔR 譒VoF2LV~r}>t")jI?^D/#-:GV Vl0Y}iCr%|)2V7[q>w ^HԼOm8']'t)߰tlO0m/(h3(f||Bk@4 tH5NUADe=Ջ7tF KO}xRJc[41-EŹ<0 SjFKWbe}J]ghaŠ_^ `>̶' ʈcx>EV8&+8 S-6^:Łׄp6?Y}FM{I)Am+Ml$>57h1gFj !9{8cXY|Y;tt/Ѣu ]k _rK-ї+e΄ W ŘQ,Df$Aw1sn+f+W]f\xxq]7:ӛ !Og3qx:8)-$TFT6r}<i+ɽ8թ:sp̞~ ك;)ptP&U7Ҳ{N B[J9$[QqqgQ@W3OurWDx`5K /ׇ:*pD V}ɮv!Bkz՜JR!8IȺp>d!LRHTz^Z]0 BDLmۯT˷PW~8 e3$!Ϋ$J$滌Rn~p=Tg/^hV/EcTz݄*."H,ISc=0jJ\~3Ƃs÷J V<:ȇwCΌZSK^HEVK?0j6ǖ $0 _Jo_,} n&Wc%[W0'xç&s\/3eyȋ*!摛lvW9޽;>ăF)"NkϿSb] XH20XT㿃aLو?=8y$4=ݴNOlYj\me7[=En︇- %umVPoi*!6@)ɨ _:y#y.!p[KR7yJ眢ja 3sP23B8q! #Cѥ,l:IpDV jL:s&xbױiiºAK[EՎ -4Ѫ[uk̒tKt/P"\\` =ҥQ"hd2]ʝKQmqh尜O* #\q彉wy[ק2?BC$J-e{3}y{tcB|i"(ZͧILaʹ꥘D_ౣ8L˖qYyE"Jn&KQʎqۡR ;w*ݻ-J"a[-iVGNyۑ8j3ӋEH`oUDt!đ_>5ϊ7$JIX_ ol2ex?i@nt΢s!JP]#gza!ak}y]-4q/@1x ]oUDEt\I?wXgvxQJ鴃&r0ߣVZ|&)Y~`z˖X67zy]@%CCs4$&O2tP)c^ҕ\e$)~9+}70#!z\Wu_!GLAr ŵy_.YܴL;QRsl!`)")hsaz ZS08? /3Me9r$wfPQrN3f P5'"}VleY3^<9g(!xk݆D"|ya"̎?Ӻ>qtoe yn{T/tg"VQp? CBryM o*pf WSަ|fTb%놁s6r&uט;ӳY_u1+, [hv@b& *LuԮ<G$"9O=VHK6f\E[jr(3Rof{M X#v?pҒqN o[L>6?8s)HqYJl.`}9\˱4Y\+|ynغ/n/49QQ{<WYl x,^6zY$id Nޒpyh4C5 mL'Ph ^5{ 5e^Llgδa. G~x#qHD )hexRLM> ΄k\L>xv_cJ>8UH/HuX7}uIOh$}4q?Sz֧fu0v~͋uE81C!/j9VhB[@== )k52 YCŶxbi]ApdJk Fc@Az~x$5xF:5Dc`W9 Њ\2**9tTR YIeE`{U`'] T&(rTW<`̢\(/ӄpk,T(=*$zL:3;aFnIϙx#8<,OAշi('?_"{oa| W駲݃F)Lh©Ta-cgXYN]f!̳sg$2W WBe,Dݗ @xw{ID*Y\kj>@L?C_!+S=P~6v-(ATY\`?L9oH{*  !5#k藈'9:\M;c3qyV%f'`ZPN&8VW㣉e[;"H8`_3mIR[ǷqDIFR-鑧OO sc0sҕ:LQIe J4Bޅ&azGW5樬=g C=lr*a͹4޶F![Ea ۇq- ךlW̧¥d [TOQP*湎"jqw1N׷gdo, \Z~"\ZWygd|D@ ͞`Hi21|ђss%vNcH@ i4dfP]96!8H3d)س50ؚ:r -P 0?/?2~*FB,cC72j`3(Ҧ\nYn~7y#*JItf2GtyjH*6UuZג:ۊol5l{r *Ħ*Fߒ7ln"bhB e"_i[7+N)*o}d U_wyfe+ֱٝik$$sZm9YgI;jٹf2Q4_lSo.\J._*MX&dd.xdj)觿ўrzZrm(7+(JRq5߀Gt? jH&Ssr ݤMڂTt,pEZLXI4{..x%* / kiO(yJ@e~6 q)B=] Ud"-^.; B.{MD䚜cg4~ //eO>z&d>Ox[1zZ.YqEo9ݝw,|/V) S'DJEj׎ >EZ9TFڠx/HBvSQVesU5Aѵ30]썌wv^"_): .z(gڊe8-Kz]mFߚQkKeAaa'H Nhe^L ?fWg8Uq:}|]L*B al,&i.~sŻ\}*o P<{(h(Dļ&5{A 5VYh Wmz]VuA/%2>='. ! o"ҷRx9BxNZئ5ВLɢo[]&V{^ɅtGK\9E/뷱PS`7+,!?R2FWg@4WE΍im'R}WY#frk6$uV.6lD)Έ=$VvA 4K'M7ba@FO놀rY= #Ehz!F$=yU:'fC67'UqNGG\J/;6:jqc-NU((JEH^ FΦp _0-l?TҬ2G G?i!%=*CqPl)DnwP8-à S o$B_]OC6 5oG@Q['<:lèa{VGfTA!ę. 0Jc(E؏X>)o<|Fq΋zSǕ)2_\iu\*ZͽX,0?T}iOe^CqAL# ,NWgsWʜ0˯9oٌf hdwe N Nsj& -i 7 a2ZX7Č E5?PU 7 h\dxgY}ؚ"F&œCJ8f]/9݀,W~ܿshpL9x޷Fd=o OG6=~;{F" űr*'˄HHopL8%GWca.ZR#7",aˁ3gbL1Oԟvuwv*ln f \ 2 LiN!c͉6*/@=;ӞlaVB}їȫf#|yU+UW09zn7+DP4͈JF-6J-fjA~'w\_(򷜓+zJW]!ISc6q$6]5H9! G![g(BM{肂,}^8Y`|oo!ԝubAvVwZ ʂt}dƪlQ cӞ# ~f U 9儒%dwQJp5=ir/=+D ;()3dsَ|5L b+c 'G~2PSQ:5\t8cDҚh;xM!m] ;6Cl;3g!۳)%  "XAɗk'a0+-'8ԴwRF?zwN?IׯhVٱ֓FWz=HӀwR.-x>ly0'+`fLwexbsl'& kz"u3uqPϸP?v`d2%ML6o2A `_k:^NJZ \20b=O 0 L%W7R0[o^~4U0,hDž>aoy= X@1wzgpN@R+4WVyg}%N@*Ρ>l<վ>Fa^mM Y‘(nr$ oW:n%8ya\-wӨFn.Ȅ D9 l>m{at)zVo+/tJU4}? a!+R4%)]T kX4*{$lufQ&]iJNݧKp>W`VxS@DoRxn>/bYkV3.s-B-3W؈;yҮOđNr 2x3 x+ w ,[d-,Q@7+DwS/Gd$Q.v|U-㏽BP׉ޡkIFR,!#h}ַ+{hK%#%J18({zi@ĝFXWN_8ׂUw9? gtS9 Σ0vmr.'oClm`vD>ݫo;1 aH j|,z!~3WjO$'[!6>-QC : _l$Lp`#tw~,r0\I1hFz1H<̯4Գ2@0(\#T25WЌ><!ףafk~ia4@ri[Eb*(iG "Ғ?WwEU:5֚Ư3HǼס\T_!;9:E1ć,*S)8v}}ImW6dErGwVw\W^*egt8+?ܑR_!N6( !J۩m`\+`Q:VVfFZ7i ݅Zf?"_s*<Ӧ&(Y!isUbm~H0\p{rP˱T~I&5 /(&MɨX?2sNV\wcPscd>-]=r 2KUar:7:oXLMKn6%]xg(|g[Jxkۍ.zZOM@'Tz: Zm/{6<+mJ }uH[!lvW7ښP!&f;C*k)E028r3v$eH)O6[.$bOCT% lýA.dPE;@ 3QV B[ Y Ж?Տ0evb<+%Nq,팄Eg9+G iY.xӧ .Y+GY Ҡ\Di.זayF;<~46;w9S'N׋P&ϙww)W}GYfԤ 5t$]3:yq+#9^ɒ"Xv/AW4=Y3**60׮|ApS鄀s.ʗl%vd=|{YU7ī t$t ^Y!п)P.iٰ_aoȼBU%YgS~>oc`qpfR|2e,c Y =WCq} ky\>02p*X$u2 rQ7"՜?.@gN&o՚鵨֖'K#7?Rd%ݐó}(/EƍXrj p[嫎!" ij(me!Z8.~*$\-_&5:yUd ٥tA<L~ 9) Oچ 1_ȻN3, .z<|Rǂe|{A.d~>mی+^6c߱˻y/[r wku@LZmP;(֩O"\Ǎm ~(yZ9PC\V}wosWj,2]$Yַ.P39v>=%PʼZ+,f8j^f(]Q Կ [<4X8?v'h{Hic*Xݡo{Aox@c3*clC6yHQIJoiAF`MNu#{xuʔlWklQ {@˨ MNv+RzmӅvg@Ck)##@!u|vФgț2jSΐ*YyNQN~?Zyb,n (p5IO.lEz1z\:k&,$hc&IB58] oG`ןϸ,a6 `[ٳc#Х2uYcGg)H=x\v]ΨłwRjUk3֤LnY ![Ϩ`"Wn4&Wa/hV ~ R! W53 ՙEtt-NO sѲg UUO(9ܡ ^=IYa#Zh:r}-8 +a0ܡ7\ixHS4P}U ,^{E>DcEb`ܞdfz[xO giQq?%=sI(eF^NV~9ӟĝd ;$+VJl5P<pYЯ8?r2;iy@$TFPΉqk2x;HC[YןEx@ R[aG9A!JL Jm eӫ?Ne.ϵ,?5vH_'h  (uk4%뢤VWڌ|EAkc!XwaĠ9]> TěfygPZD>t‹cTՀ.KFE[QkfGjBf'l쀘Z7rnj>5}_RE>-M@sp5ԨvFb1gb_ft3ƛd"bU~́Uя3G IĘGVji !ӖVi)N]Y_#iB_V=54QL(8 ӊ'JYcDwL geȄ/3@X+ O(8.#بj$qx4osf4b~0L9s7Gtjq`kp,I>v8Ѯ*ؿ9 ǴP-~Шq8;`i<+w uQsbW@es51Ⱥ' ">,6 0>G%Jy-;bܥ&i/r<$T[cEX2'wCL=UdFK*wls}Kׂ l<)31bUw'#OYbZN+rA w4y2 Fآr-.4Ey@XmOVfQD.8qV`'"c 9 ySچDfb+Y?̶RJ">thȊowh Y}xweܩ G[jq 8<גE)u!ۼ<.UyoO;G \\ n@vZ6oik./<; {jp}^mq e&x9eqFAU:!Y1#мRoX^(űc?Ĕ:}%:Y@uV"Uy6aC󀬚FhͰ É38$Lמ~,P їbF'|qQ3mCx|nJ a5n[U; *[V9IZTV~iLJ+{~]eWq'7 8 aJym( (,8B'Tഛ hX;9uQ(DB%.eڜ{bN\; ! >Sy.7rK+V6Yib :K_;#pa9H-fMZg-v ^pqb Q a:PwN3-!YYfՌ,}AԋZ(o졞JIg%N"q|:t|KZOּo5eS<]Mj;%д:fUejVV 0LNo Ȉ_NXxbAWD7M26jC~65zdKC8$\^9f^ ^zu>}bFμz7LC*}o9Fl[^ڥ1F?hw8Haar\Sh.2SOlr3^rP_X9p#VYf 85XYȏ#a:W1[OtKcp#cuHQυEcU_P+.*|?+S8e} ?AVc7Qj(!(;ߕ2u7_Ff [-,kQd1BZJt dAqV8}}^&s您l)Ϝ#{Dl"|+U>$!7X\k_\d_ϕs~% < 6~=^ ت[ Kל(R4~ i#wQ);w\t^􀿄Bf[jH::cE /bdcވ h5g- *XL.HРE-=ޖ\%DZY#el2eh~,o8R0r=JأQhNT"?B\Ya^˗N hsn9 f23[W؇#˙VWsjŹKwjM."`a#? >"޼udBQdU~P<C˦6$|n7IJHBV`yiV 94aIѤjLAU!i? p'JP@x.tM:Zٞ7 Qh(FܲdOy6Magh$ ŎV"ӿWֳ .rMt .F"H:Qil },P&<ţm(q4o*~{h"oUÃcy뎐I܁:CS^ L14WݛG 2ݠT!LM\%SxI=r tZujA*^ί4oը[ }c9F cĠKG_ߪ#FBvWA 0>Q>'V5IyfVlHϯ, _MZEߐ2gZaIf] peRA^'aa0A~p?y0x{8b^=V,ipy:o}yYh1])q$KbW JP1TD G OEm8G-=z M6xP\#쉶2*?U"ӝ @2/{3ĮPH}:=㥬4{$AD+^j&YJ :@lHv!f X *BUӢCj #:{N)u;㺆R/_gٌ#9KB% 7;DJVg 4FSdQrl1x/!ݖ]zP2AƀW3?\-%~orKB_/05󨃖8=%;PIްv`u-\0B[¦%`ؿ א΋ (Adx1klMfX^cF!h%L_PKz3"L j(kSzF1w4ķ$}H^'; 8mc,#ٲv[*|oNKb/&F~lt *?UJfݤD`gW2쐼+pdֈE7Ȫ 9F")!1nlpcLJMک7Vga{ly " &m>| wIOCp#zORΜE+ƈ,sC<aK6~cQ_7f܃ tyKE>.7&grWAF,;)= *[w1tp: ~;Jk t;mbuNsy4*8^ŠV% V=5ѰSs5^O>ROQ2" | AAs: v3*ʭםI7GGo)8ieo)8!a)m'Y(L `Pfj o)t6P=z?,m6w~ j#;g)  pw)gL3Kwggchʘ"C!E.\!y`[cw4e&5uMeZNQjpϦpX6Bvٚ$iͪ!F"’gW f^?0lfrS!GWoeݤ\ |,mGw s, 8{{u, W!"'/Hu[hMI)j'ClXDrz ]6oY=؎]S5 JٞeׄTf#&pFS@]ZHnM6ͫM(C