minisat-devel-2.2.0+20130925-lp152.3.6 >  A ^/=„Qў-) 9|cI 7}րĆM}Ľu4,Esm]1m4c:䮚QXxVb꠲D,a\Rku6-&Pb Z\yWE+ LL8O?oeT@;;)ch>CqG7Rc%lZ] bԒ5Ҝh{g>7;SZ0.\jJ(k#[vT*x>p;|?ld ) Apt| h   (  H8d  z( 8 9 : >F _G tH I 4X LY T\ ] ^ bNcdUeZf]l_utvz  &hCminisat-devel2.2.0+20130925lp152.3.6Devel files for minisatHeaders and libraries for the minisat package.^lamb11openSUSE Leap 15.2openSUSEMIThttps://bugs.opensuse.orgDevelopment/Libraries/C and C++http://minisat.se/MiniSat.htmllinuxx86_64 ]C #3x2 { *J/I AA큤A큤A큤A큤^^^^^^^^^^^^^^^^^^^^^^^^90255d76a70a156c9d6013e9dc21dcf9f470cf0180edbd55c59e9cf0e9e8f4db47f0330cf08eea66852015be00c53c92b1454eee9d549e53f09feaa25c8f03b2322ae501b97e504393bc3a1cd33aa095be6b239da116024a9db6f09f560fde51c91b497f7e96b4892cc9ed4ab85e67b6c91123f15d57a3bf74c40a1e121985bbbced853d985d4e2740f9b8868987400dc2b225a741c4aea5b75a5f8126688e4225fab50c849e42da50b9d4b70e6e33519003e19c4731914c3350144cd6e32fa8333cffcfefc88ffc4f42c628b2bd59129d333de16f75c65b92e4b0ee1dec72a977d5cc50cbbaeccc85db25cf3e4a652158e1decbf79ebf92283371ddfb0152df98e035eb6fb0d6200a46e5de8662b0c62d2abb8800172af6888eea4cd3f6c2aef6eaf0beda57c79e805e5819f3c1f60f2a6bd9c0b765720e95e8204ce6de8c0f352fe4e6dc663d4854296727ee9bd71708a984ecb2774236fad3f24c4fe6ec8169677457dec510ca14bdff4f3a7c8a4e8271bab830bfc3bfa2e6ac8653bc4f34eb998a7171f76699da43ac9b4492783cf8ec344a07010c3773fc683b3f6746bc190209abdab80a3562125525890254048bb732cfeb5017603c52cc2b00ca62cfd893fff1c8c390a4f8b445aa7c01c2e955eabf9378f4eb4b2875df913847d7da87c7c9cf4570fac2841954157959b7f25948133377bbaaf880f1e1e74da4473729803190f79e47c31a444a90fcf2ec65349a70c1bc4ea2fb3713a4b2ce09f0b1ebb1c5c620a139aa9cb2abc2969e842baf8ab37e31b34ddef7ab07a221898a2clibminisat.so.2rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootminisat-2.2.0+20130925-lp152.3.6.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 packagelamb11 1589629681 2.2.0+20130925-lp152.3.62.2.0+20130925-lp152.3.6minisatcoreDimacs.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.2/standard/540e27b2f414c6dc3590368f07e06d3a-minisatcpioxz5x86_64-suse-linuxdirectoryC++ source, ASCII textC source, ASCII text9ʍ^(ƽ)utf-8ff9e3dbbd3f5b62cf50f30680667c1fad8807d974ef80f064480511ea635a269?P7zXZ !t/Um] crt:bLL 4iOlJ5+~BG/,34˨d:h :Q=aCrJb(DL3CQW%E*^E0QcVd nEd:go(s",ITZ-|6jig'[zo¨H } .}iCc4KAJT0jk W.d2!k=՟S) Cj>Фu0 Ă&ģ5th#16-9Kߚԟg>^|\3c_BDG'JBKe}\.s%բ W @uf6:WዕWoԘt_nhlYF}rn #XYF5UƆBJZc3i#mԌޮG~U벷@4XR06lds=&6!b!{Lnui%*hpRR"1^\7< Z/75:xJsqC:2rf\~axzZN6z?)ҬlQpg+&"M߳NzU*\AH.y1u5e⍊Uo< 2f@>( gbd]IUm}Α=&B|r^xD4qQH;T׽7q;KosA;64Om 1g9N4jP)W0{Sda|U5*sY#[gz ފ;34F]32/MzD5d*֓09iC3Q/5l٪t7oL=ɉ(-¥jbm9ٞ`#E>],s=s"ȺhM]"o g#|Z:6"xo=O}Fv[ܿ sfaaCV1mbqf$!+9@j$7lg?uEQޠ` B#g+?b0O':D&{kHJ.}fPbNqe;gE3n <{bF628)W*tW(x )+D(RM%l`|sV2}O4 7_!R]=myx\ζK@#SX.*^L!á'IH BXgDh1&f;`lsT=^HQ}fSZ"|w,+M|>99)'Aи8"Iןq #L4n&3óW(fkFınGTU q2v,Jg bv4  5G"D}DA܀ieH S$ șhghk-PǗvY~A.lsJ2fm^u\$di8@WgbXMQDCVJ@kG.-5 8*r㼖wPgݫ9~N/r_Qy*0| V&i5uG| ޴gzѶ#&EtvqogzK=_V#`+^$ [173_iMdWTɠ$+˫llc) 'S\tT}>.N:pIγoa*/SԟaľnO>O~\tT&3.=4Ui7oWtrLxj6T lNsأ/7՗rgVܪٿH}p :!' pݙy}scDxf;mzC`ݨ oĕ ,d١IZ6,C|g)yr|!h:KGD:sɃC09|wXMbwْwVֆhh (dp MZ;}Wԏ }/+(haBxjöpﶀ硔tIrq$-)J6Ԟpfyomx}~l}R?_W|Pg؈ywZ5]{ULh+x# ,%/Є~ sD=H)庫]͛CW絶ugeڽ|o_!gUnTy|g+ZBd-Sd$jibxEU;{uT _SI/.'k{x6D]H0ecl`6LF"/ s*(>_o/vrA70P Q4;+ @j*ߊG{S O#Ro3O0Th>A&oYh)UuF5D"C>ۃu4VhFwׅ65X*[Ş~oH$zsK~Y+lxD98Ky<ُZXw;x˰#Qk\o|<sU{bP*#T3eqPMS-Z>| D>rFs۳ 0wa+p>br Aen9V,E\NvBk5hZ`||g}ooűs]rQxZ6:9v?~1)8>Odzh 'tOgjT6غ$#ކ9>y[Fvk=G +̀b1@,5xԍ|i\=< "XCTKlVU.F᷹rR >FSkp7yvJw8 ZĐCʋ_ %@ 3=*-)!f.FXI&:dK/8GB>Zޟ6 _Gw?;[^4|96׈ W=n>,K!0НLﮉAi6oh&:-'oĕ'aX"(*QAy5rJ&a>?u5OL.?2c4Dњц F 3^r@dh*c9t%@Wzֹ08Mnĥ73gܥx2\:HV<3IaOdGe}X ˓.aEم4r4v3y|kG#-d Ī/-׳ KGIb)6pÝ׏JoZ1otPLx71}M'h #؈RymHıKCY쎅ܧ^ jF/<.L4)Y浳‘vm;M@*✑e}Щ1b{ (#r,UsxR}z6ŔTTp!$dce^DzJ "iVW%ʊI=$bʺkd1~a2?L vW$sbI ljeӨJ9nSXGHf9XT-0\옴kG㶄,QPj;V1w`q]dNyfx ^RXC×fnjh6ݸ  ? o~Ы(iϪ>+P},~4:FkN>$ d$=,}یG7FmMf27JU^D4S/@j?#5CI#`#[ Fenx"شdwt{X~]**q=ن{Hq MēS2%#JХnI1Zl|~m3yI7VĸB@8=7S8~MWZ~dvsGAʄ=W 7Տx7h#Od)|N3S0NF۫FcbσALRgFVb CЍHԌ2zYPorD%qJو@ܘ\;`ܞǐ|ݚ?P|G`O̶wņ2*ȜrU +ڐSyò]8Q$@BWvbTSH*+{Ŀ:_OBCYr]{! +rsc;˩-BgxKDe !*Y>8ε:2ɍێyoy3:f-+c5,H@WlN.^YrP] 1ma܇?tb\l`pze wd2T[6#֣j?/=ߪq3=HvxdZ=DN-#0;$:GbHF8)QpLNah+3_5Ÿ#S@&3iْȵ!b8*5e6@}!a򍥝=_D׾MwV {p۵fGVkNW3X@Z^SZRϢrF?qc?2\.0&r% ^ϧ^2K?xw%4. wMo,zKq~wCed5a UUt-<{FJáp췥!&<A)٣,VIxpf9EMvor(l&Ɖve19d&$QMq\#z3'`>늈~ٸ޵%"J^~_o#90Z< :}3QLtdj7A >~T!]'a0GYP z/wKnSJ*v&5؎Zu OH ^q0IxS{BgW.}-}pkV[Q49{k._ ̫ibGF guEBԄ8ká1r[J$ h%yJim)eH<oW&H.1CD%L:M×Wګn{(^Ibce\en7 V,+Mpq(OLXߥ5' #0ad + !6TU>`U8Yګk" O-G~˕剘]\يy)w+ YM7[I?o'cqݏr'1)6DA2+= ji5{  w6 t ЕD^pL:F4Bʣ႟^)5ݟ /ݏR ^N^,l]14&"V~b!]!"s&.TR'/=B*^ )&~RP%zіH!ί!7[e 5Uy6Fgܠ3Ҵ2s"qMF`:SID4j_'#R4b[S\4|=W t6򺬋c?6ap:Qzc" <MF[~s F$ &{AΡZ[m[5z:H5#']KW-fj~ɖD۠z8UVJBhK\T7 -J,X Kb "os}O\OWn_W4bؚL㥱iaJȈ@FI+pD;O,wE Vs!GCNaetēs R툄j[k֜Vʆzᙯ;/b`[.B&XkDKV;{P*فjRyhV"Bfc da :#[ỳyx)CK^M8cm3BB,hDQǒIzpŰ8)y/,%8k N `YSutB ~>zŵߣс[Vl*\AMl#\Δ6a[(`;^_,1B?`;$ ^p*6 t9;[`E%oFP=ch׋"TA1626^u3ʉj{NM7y6A=.r !y"\r]Gߐ~a}+Z3uB7(~tyoН>r}J] 9_ZmV?:P/Y˶H6ʸ>]ccHYF蜄Oo֒0,04\{,Zr6)*TzoR#$gKj.2]<{`֘p31H5h.cEy9}6U^bʼlqJœ>pK9UY`ySz2G Z:ns7.U;BYWyQdt[ ~lHvRnF>{)'YcOa/ k]k[㣕ж26Wu0tq)" (+̂smtMۦ>,cWsĔH:P`. 3Ă7{R?:/(ųV{mIi%}|ڲ MF> vVuُ?Sxwu-(8Q,z{isِ.*^&OhP;͈=\=,Z?#l )DA*ܧ{RD"!yf&Ћbg' /ɻT=:f JUÃ]w$5}U) 8,F ]lF)Q(us6nˣQ_~@ 3|~Q>ڱ4 D8j8L`W̓;=׊]Jy)*mnFy7"po9:圯Q8Udݽ۰1-پtDTȅt X|a"3@Yi u0x+aVpG2ʯgTa4%Ԏ4 x_X/EE9OR8V +J0ҝ?LB`OY# yniHE9`4¸vɰ<7!}RJ񛟦~<])C\j !Zl"Có%QjԽټ۝Fc(8l"_YRnASkV40bں&cLMk\mLv]η{YiL*?΁zH qj$z Lj"k j Da)vTx93:Eُ _k9:.ffPٰN6 a2l]7 нDx3B}x64`4 (uv}i|WQ`׺o]v҈21WgǤMtmźaU|^|0#/CިƩ kZ!m}vɶzEp/qŇZEWڑHDqZY1)yo0Rԍ.bc{O E+r߉NlXԙ*ǜS|Qp 6VZ">.(}> A5GmᦙqebeEWpJEצ(0y 7gk.gL2L{TI-LދF-ȃ9+יnM= liu|of(X0T𼋵sow@% o]ap(VӠH ?3.Ex$ sKwmSQ;އG[mj9Umy=r5䱹܇Mn%gηˌح#1;0s-0;]<;aj3f\8%zS5c6jŬ)"4M83EUh՗i Mc,># VY.g /4z{ Mc l#|2;/rPyi$7\e[< ?/5 'Yzl@m϶`0=u T!؃}-ъB^߀a=gTi_mO@@dה }G) _"U zYl6N3}{R3oʹG\t=i,>L3'4P)+Ƨ%,p,s?5lLޢvh,mWht2Kpr_0IſZ,)vUw$'ńtUTDVUɨ(xQ=?Ou$gLl4)86k6RJv'gPDu&VOmT%k 囊IʍM_%huvuGU>Mu1trM7v%?>u[qhVO=r2oXJJA \uH1dO[ߣ܄+fo-wJ-^OGD ƻ1o~3g=~WcT%@kkΥɢgN'WrpМX0 i$d1O4^-nfDwt="բ5ϻ$Dmh5e S;gV!M9MܷsWڣ#SȞ ^CFXƇRj+'2 kɃmQz9 qIdɖM(FˆҴp b%Pdt%.kwUDdLGO?xWd鹭bOHzJ@4/BoTm{PiKHySe,-:M;]?HA"w܍tQ_"|<{X\ ¨']g*]p1̼>}'oT*6/^nRU xX$SM^Y^nG3u v =1uW#`ruhH`0 %^|ph`^Xں<ԋ|磹iWQf OwB ɾre] йGYlڐ@c)͢"eFqy?:{.hFJjdq tu GՑd|22R@#.ϟ S<^K.zoP Z2V3_-*R<5~Zr䢸hhi@vln V S兩UXy ᫺oP?u X,MR Бd S=wVYHH2xLc(ȿQ3MO/i5 A,B8t}j A㞶&Jq#3P`&De_~P5_w`~7oH"}j&>8(yzJἆP*AĪ.~(&S͘= |aݩlY>yFzaVlt$*)/[[Ȍo~a6Y|/ >HkG0<0 n)"OtxE"ߚ9$tGvnz~V7i rAmCnDLМ479)f[5a&ʇCUwt`CYΒP8Y}|[)&{Eh܏M+16eBڀN/4vHsB 5k^NMspy0'r¬T?=.SW̥aPsnT¹z^"3,U8ڛKpѲtri;/ɜ5 20ƙj=;Qe *,63'lX~Oef{žM\H*膒 GO%ZT8ue>Jx-gKZ,c~DQM((%m9G*UQ1&p>=|8bF:湛pxѽD4,k=yފ$"/}RiIv=bT;ڧ# ƾ9" { )#)$Ԯ qE' xG>ۭv[QG7ߢ KYy}{6ȵjuFBÜX@TƼ_]E`>y>4l[l*G!WdgE8SIm]e3zx]NF>Ti=2 N{|@B\wxu`|U su{Vei>Pa,PW<쮱H[q]h+i;%w̻B{ s6D!Jťή k, gD]&!AbX0vgb>ƫn'g"gCs$GCmo>N;'5iz&{^Bc1ɬ2E N}ܣu 6{΢v)Y I j݌B ӡTB&Q=i7'̟fp|G^)&S?o^jfY|*IҚ>(D+bBG6UA@oR踜hb6џv,N,^6DFù?q;#ХSEc=S΢}~[Qw= +E-{F[%RmRq/6N||MtK6$:=5?py6K0i05'ߒ/Uo*Zz_0 ,'c3e^xBI 4P>'V.;6xoJ o8sL`}2\sozXI-s=쒵ڧ҃f㕖Q>SuE8do-xM_ՄkwW= vjz;E:Q:IW'~:NХzܽ߀uq˾w{9~"Q\RȔ}%LN[KHb{c8$wLq.Z-ߒcYFBcrfĪ)$O-bOTXaTCI3k̿Fy #z%ΣZ3:btg^˄^FȓG9E卩Lkf ě?]a A*Rw%Gx'Zh4뮎Iqw(OՆ&SGŖ̴M=#kCN=K\ޔE|230Dfi>F8R)#DLI/'j Y׋Q-8Tzԭ߲AU!#h37dJv.,xYuH8>saMw v,5kz #+z2AXU)b4ܲ\0I!(|ibh+H_u`OYc-_/*oO$P5k2Xq ۗ=G4r$1^;)E5Ҳ\g!mCݭ.DM֪/YwҌT8vr%egE6%Q R+-p&&0si | :ldA#hJYi-o_0W&nH:|ˆeG mI'VQ"GQM]mu쩭,Z&T94B#R7NhOM/so.v. .Cұ;GV Fn.,BXy@uCݽecM߂EגJ!b9%GR!՜ "MG觜  3AđF)D"Gc|qDg ziDuA6m³ͤb"~je-5CP[̆8u&M-lJ-PMKtpȂ\M\e3Y[J3ϾQ]snf}Fe}F\B Lw5=+]W~Iy:H_08((O*ז[pegT Hpt] koB-F;,6YFlS#&Z8Bn8Cu|qX\;QTS`y8=rRL [v~+b(z4bSwPNn k\q)&43[םAz@ gH% ~hU*2s{~JTzKX<Uitv2&?ۼ70mhm)SVȜS;N% IHnŹg4y9&Q ~# ʱ3F>dOb9I,'& V I)8VAdkO#џ:%fc* ҧxe)Y<{Od-X|;[ w+pMPcd濥Ty'/knCn[XqP}![. ¡Ll)OCfu[pb\P[g\&'q5$/Xu4P*|zjX,.H&,y\!f.#cDbex~,u)Ce3UOH\)En NkF%HIp7Ka\}!v=kEIrn[żԫC?P;~iDP"L@/Fϑ[~nCU7T >{K}ѢddoyX:i~"zH>e-R8sXA?B&ePU-͏d=#Ϩ(ݹ盾`q` f2B\G('v [&fC*u9TB;zY$@a@ rVYfFR\qJ ,E`V)I$%ͤX99P`֗iZiOHbXw.״4֧c|W`Bu3b˲a6ϲ+bCM|]gN ag!H}qWJ8֫xyK,Q7PZʸlCyѝq}#bΪEo-(򨀤EM=!2˗e+3.ʊcԤkrxIOvM>oM'Ҍ>]ΙEҼ~kf!1UrȨ%;)\9G SZ [p+0p=hSe>%[oHLXnmJ"$ڷuw>9*Z'zV i<m.^dk81hPHͮa#1(ؙIw B9V+>j[]Yz[ML"ɡIQ6PE"N ӛ@7?`630*b.5~k//,&ðk7Sn19JyKÖqO[mPiYOIK[B˛p4 CҊ7!?]C hwf`JdMYPmN,WMYn%BN*JC~3IQ1']#9`Jyv[4hBF[ζ3 Hz$mq{<$ګ@#ߙ5/6 =fn|m$([t`^A[ȹhn29~R.I{b5Cg|CecFa0> <v'pGXB(ķjuE6l|FVORk=;N`ّiMPvu?"ƣcs<]җd)fEC}ʾ~CȚƽlIJ%aQD!qɀ&LGw+MS{-+':q*)nܶ|·@R!E6\&!|AJc8{I̿fq]2Gf ƗC{p/2Y v*T̂ȃR@ #X[4ŽY,i 6ᴨ+lLbz76|x4g20PON_oP lZKOvQ_[ʃBЩe) o#}n}Qp9BetdFU h?ɕ y+UvZݱ+ cTJ7%#`l;b]J (0,S7 FfLq{;=!_洐胡`V]vl>W `SqcV4̉שmQ(o鮃灆L<ɧIC*ǻR3Y߯Q4~u XO/slU}Cי%nz*%%T6T.*6)vVN_?59lR;ejՁƌs̈́|@x}VӪ {" \4)HOT$3QA%| @0;b\ޜۘ.w3xp洗?1?:)l_1z71^/C|u o?ÞV{ ?yk_SR^@Αcj=´> ^{(:؀9[KIrR\3N]/ee/Q<NDe@~vP,x0}zGXm]n}ʌ#L H)ϵͧµ_\)tkг.:M\T4F:flewI>+544oYL+s$d0I!Khᕛv%TOȚ ԟ_װ!d4 0 $6 *ZY;Ţ\-7'NJ`1S (&yh_"gY /i*_ҧZr׏ᓣ=į2: 5`|Md1GH?]nyqj):9.?E*4 ][bB?%*%F72X! 8XRATW>Ty a[TRhfo3Q˯.XF9g{cˡ6s 5_!4&)`j][ l@&2Wp'!Hyie/kX (#j.eWN(?:.AE*&qJ'Y6Z"ckDj%R~ {+G&ibYٗXQn xFԽpȞ YZ