minisat-devel-2.2.0+20130925-bp153.1.17 >  A `B!M@eeeaVpI@=~jͧ$;Ҙ9:DHKz>dC g;)p٦9|jyvzzA-MNA̺%s {Y2]ԞxMuw%V):܍ɉŞ=b*f;tYgn=_{^ aXn Ebc5t]!乔C>n60>ey o1y:7tXGLaS;I,3(;$gl1C>dKL չ (xr˾ILKJA^(VX|iBvq-#PgM]">p;?d * Btx  t   4  TDp  ( 8 9 : JF kG H I @X XY `\ ] ^ bZcdienfqlsuvz04:|Cminisat-devel2.2.0+20130925bp153.1.17Devel files for minisatHeaders and libraries for the minisat package.`B lamb21SUSE Linux Enterprise 15 SP3openSUSEMIThttps://bugs.opensuse.orgDevelopment/Libraries/C and C++http://minisat.se/MiniSat.htmllinuxx86_64 ]C #3x2 { *J/I AA큤A큤A큤A큤`B `B `B `B `B `B `B `B `B `B `B `B `B `B `B `B `B `B `B `B `B `B `B `B 90255d76a70a156c9d6013e9dc21dcf9f470cf0180edbd55c59e9cf0e9e8f4db47f0330cf08eea66852015be00c53c92b1454eee9d549e53f09feaa25c8f03b2322ae501b97e504393bc3a1cd33aa095be6b239da116024a9db6f09f560fde51c91b497f7e96b4892cc9ed4ab85e67b6c91123f15d57a3bf74c40a1e121985bbbced853d985d4e2740f9b8868987400dc2b225a741c4aea5b75a5f8126688e4225fab50c849e42da50b9d4b70e6e33519003e19c4731914c3350144cd6e32fa8333cffcfefc88ffc4f42c628b2bd59129d333de16f75c65b92e4b0ee1dec72a977d5cc50cbbaeccc85db25cf3e4a652158e1decbf79ebf92283371ddfb0152df98e035eb6fb0d6200a46e5de8662b0c62d2abb8800172af6888eea4cd3f6c2aef6eaf0beda57c79e805e5819f3c1f60f2a6bd9c0b765720e95e8204ce6de8c0f352fe4e6dc663d4854296727ee9bd71708a984ecb2774236fad3f24c4fe6ec8169677457dec510ca14bdff4f3a7c8a4e8271bab830bfc3bfa2e6ac8653bc4f34eb998a7171f76699da43ac9b4492783cf8ec344a07010c3773fc683b3f6746bc190209abdab80a3562125525890254048bb732cfeb5017603c52cc2b00ca62cfd893fff1c8c390a4f8b445aa7c01c2e955eabf9378f4eb4b2875df913847d7da87c7c9cf4570fac2841954157959b7f25948133377bbaaf880f1e1e74da4473729803190f79e47c31a444a90fcf2ec65349a70c1bc4ea2fb3713a4b2ce09f0b1ebb1c5c620a139aa9cb2abc2969e842baf8ab37e31b34ddef7ab07a221898a2clibminisat.so.2rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootminisat-2.2.0+20130925-bp153.1.17.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 packagelamb21 1614992139 2.2.0+20130925-bp153.1.172.2.0+20130925-bp153.1.17minisatcoreDimacs.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-protectionobs://build.opensuse.org/openSUSE:Backports:SLE-15-SP3/standard/d1b487e20734645fccad5353dadd8fc2-minisatcpioxz5x86_64-suse-linuxdirectoryC++ source, ASCII textC source, ASCII text~YUŏ2t^utf-85356fc2e9e3c0359665097fc4181ea1bef67d4f5c7c82d5e527eca56dde4f003?P7zXZ !t/Ur] crt:bLL*h>s~<*o=hS 祐OifU &sF[Y< b@Pn 4(98DŊQp8a ܭ"Bgu+c{}eI 01a|IM|}}_:|QIx04s)B|,?;+s-y5xqoV5U);_w!;,KM͂5lmtfQǻċ[z7#=(,mh2b 9?NZ!JIsՖ'qW cD3m#Pe_BY95Tą,%7٬ҪZAYO|H7qpgj" FH/G"6 2QTahF1w=8jRyx{V97|f[!BZ] $ yP:3:%dǤݼX>~4GLiŝYx3E_%c,$EQ?:A7y|'FO\-7x1% #30-0Q Oy<5 Q쵷p%VjAW۰.^İJsPѠ?ki^J~Qh}?H-Ll1v YW dc^i W2s\ۀxS~܃ ?ce7ro6ѨrfNߗa%|*UuսhX>k;ysdM,T.CZU9ڜq%]XˎR d~jLC)w,%8u4;xA %FwP(S;U_FmNRE:K;z`+ f[]&nJ#B=赹Zl{G:'O3Mcv$eGk>g5x䙵tLšoENN|G<]EzW fol96o>݌n"b}k逥ePj-dvJ?` WEXl;bVGt]JR4'Ӡ|]=`$L7$v~,; )q0 dUW6b EStwQzvb;&TGB!mޑBU d {qw) U 3<5Lpj]Vl29"Â̜P5X}؆TNb?DðsЬNj`sE> 'q%A6uv{OjT`!$Z%#lb:B] -LQrpg]f#9UفrqK117;^INEdi9NH͒^Lwf]ZjsA yVTMxW4$ U N]6FC:K  |؃J(\g If. ӣIDWQ|4vЭZM_e1:'m`7 b[.M0nY%_TrVD v2}Eֹw61;K8S`z;x$Zw9H$$ pi1 Dۘ,B>aÖ,ejuS}3 1 m]܄ 5z]V([/kU)3^cD$ ~ Gy/:,mnCͦ8(̂rJ) ( :H" iZӾ;-Ϻz帓u{r >\c2V!I =əW3Dz0%A>YJ^&,scK}h%@&o\X@/ T#nƛa6(vZ=-;XkR]_o,3o3n%J" ߴ~8rPFRc(F~CQx9SI B+1ZlLI俎B&$x AX]\zcyF6n Qޟ(%e#TB@\ag\ EP mԏ+uq&*QRq?HI "vl>u<&ݦ@tmܮ{A&/g*Ø,|˞ lSǻ)E!6˽y%$9IkqcX ]]udKKۭNS0#j0xXgRmtzuBx(쀙}L%((W`9Q95AT}y=|yѲXC$VD B@(%ֱ/`C}s{R8sۡ՛; 7Ju>/Al$.~Cr}h-#A)<g,[-k2±&y.g/lܩ8.jdJP7N1%N{D㸧0t*%}M|7s楴El%a"-k3)O2  ՞OqS႗V/ºlҗe>6S,jE<(H%5ME]ZqZ%*:l ;r [˱,HB~0_߷mCLϕk& $>YQg AIMݾ>˦v*bleXۡM#AFLYcM徴]34." EUg$_,=ou/`Oā@2@0I}=>?[SJ~K.JoLq~SWf%M'ByA(cK#(k\?Кwj=L833%Αiы(BмLG>oo?;K ]y_#X0LAxXOɝXM_lR" vu/Գ/`gfGn<hzuyi[2i HL/Om+_A.ƪ3<~4]cTV̍?7OmXku[CO`4q$[J, @u}uaEȮMcSJc[n#:cvJFE0K3%8}N_ o?wF7 B@zѺ$\mLDm"lL],Q((ų:h n;'{t v5ٴ[= <8#'$2[ES,)cv9UXr<9J +g(wIBjj%r:qc KK)FDw'ñ Fꚾ$f'O=TRƄ^38YLbo4KZ1ӘC]'|q}lӨACV!r\Y(%~Ѧ}-ṿxU#{Y./o]9>RߧN1?_:S= q ׎#=Z/婘i{l7g̮匕-t`ۿ ѷuH6qd5mN3t "nrdtR|e|J^iZ(k>Q(Lr2aƴjM F-""{*3L_MmQLvW,C.kj`΃qu;2mMr4`pCOu K*èL{QKtZcR}^Fs (zQDcs-{HsN"DvވRJ-:g3zM̝ mrlGDZU"a9۬\_ۻ /WpBjʶOtáu[*rP UnO-sHj?0ΣB񂔤d(E瓾DD;'qd׾] "{+AMux ^e9{0o7pր) v܅~P_f,g_\1Y=mJ|*J]?:Xb)ᩞKB]_7|}"EFGFTRC`(<-7~ndZfܢ9rgۭ+cqld$y*~'w8kRAж] bONAjQX%?Q](svg8\C A7&~V$փKqE;;t%w0hTH&/\MކQ_D, +dG2.o.?q/h]< ?4j;+.IXK߻> +X nҬ%M+p(~PrL2u}C&=q=ۆ/mAyT6~ >L 2"a>YUlz'X-aI9I;Ԅ0 eWoϥ&WOvŪz\ IJm9: !~Uqyn^ Vx+! 9 ;"6`rFb:^x Aj10cKog:k C$-w&@[ُk}Il+]:C'2Q=_uoW3wI|6~?dꙥJΎFCdQr;79%kf*anG=%u*bX'e,2N{թ#8ngN qL % ]o@%SwָfYw L;>'GֻQ%:0m"ԊGNt\a٣5(ma/OS$e[~"T 0|Ģ]Ѭ\p^hQ˂~_5XH+]/WAq{0߀@⺡*J$ G[!NaawҡYlU#I1AAgQN&Q(Lf_!a2 lp+q7Mљar$Ȁ(?wHU0dƮVBL(GS s *-^$^5 ɽiVC_"* _*?wZFVqKt!Fp.٬h>tdL܃Q;PIPM6Vܴr Hw(<`1U?-&|}'2.Xj|l G0ShoMw% *7;R̟l3m7J$7|hR z~%6LWNwuhP7Ֆ++k=?jO?5-Y.!&,?5: $n0UEv"nn@-."W}Yx}f֪F>|cmKT؋ $\l(Qx_╻K%TBӪ՟dTo#uf<(Ev* ]7F/!&$N/8)Sa<6,Ɏu`t=W}z'P q6$ oŻÙ<\W.ڠ)\ͮif:U IJJYք{*C?]eE mD/ފW9e[st~UDW5Y%lμ+4=$kx,kLtjk8c[ WW5Fu1ߛ;>'7 0d$i<6Ssh^T%HJҘ7rL:⮄ ih_ĻkQj H.O粡KHaf7 MtrAB!!*!!')bV^W%4-'fCPx-21KnˡiG|1Poj9b@uL5"X7b5t?$UM0 o+miCbu o-z7ѭJt -;zbj)jV2UIՆׯ Ywj?@{TZ<*;aYu "%O)]?[wݡ)P퍊9A;pjuFI|؂Ԯ ?)q۸K߀%w=K3.h+Ӽi=,Y}y~W?YD!{KhN'܇avD qv-!JZ}Od2?bB!޹MTY`pcr!V53_Y})_iZd&Rs!j~hv\:,[ nWBZL$ZYES& t}|eVL0 u50l$QmxjaO9檍Wm.Elwo<jNM%.r4,P9冎2iøZ_?RQWúR`-2-VJ!kd7A7ߵwQ^B;3q] D%LŹßfm=R⧓9/%w{\6$Yݴ1< fREMȣE( euE:f'S ,^fN|y5.q٪ԕAEBsL?~;`˨g<ʣJ*-;k/d>J<~܀!M8])"TBN/=imcfwzHL2< ZO G0(=FϷJX"b4Z{ho= @=*]ؤ}E)=GgsHcʦYAC{22kFc<`Cf}V`\YD۰I~jݪ@BIaäDF* J-Y P7FpX(-=z ,J|Ob= =0Pu:\*oGh haFv['\98cGBqj + G!cF||biT7:rKPʤC ` Z j.'VZnQszd1* QoO9t9^'&NccaQ4neP* U-mHD*fc:T>'-; PP!̔C-Kiɞ "pv%Niva}<)\(f0p׆)7UM$21O>ݦ>\?Ƒ]D1y˚cYaQ:B*aγNKgYW`D[@-RѥE"2x V^Y$^ުldK 0SÒDS`Z>ٵCQC֭PRaɓf= K=|b滢TR&H絿C%)HUE[8o' v5a;}7q!du#70J:ҕʽJ jpwtqpdP/ɛii(G3k@X̶}Mfd|.AMz(^r.G}<kq1I7eeۀ+Z6&p$u¨殨yEŌ`'JI\XPcFiց"_3@̟"aqL_ -jإv|XT:}Z,v=@<1B8R( -y>8 8vyo1UcjZtDIFkrNbzt&ᘭp^SVBCa\r+u~ "g׋f]TJJB yK#l ؾT謕 `ȸ[BթLv讽]I׼TrRB:oήB+s $K"sdu{S67e+fbvX3׮ )g +$J ѣ- DK`GGz@m q &Y#bT%5V2wa@V†S`(lmjW#yDG7,er=PC71?+,k MfAdJ bX1I1H .w6zBg ˙9, iz%jˣM}"wujp[կa',Hm8l䝸ʽa>Pjjr#/碡tH#0ϺRѝVeH <~@Cʞzhh~Hˮ&(&)Ų [0wS9A h.ɫ*s1?Oj;aD*ٶFZr|u)$=A?_Q?(ČV(Uxiwv ksvI:v$0K**f7[CѝOLCltyM@nt1s5̠n8|XiZ%9Fx:G8tRrSyM1A'S'J+G%q:/*ݠ^^N-%$"aޘ p^xIOkrmڅJ]RJu5Ţ]#L2t>UJTƬW˱8dh%ne4p5bYubd~G%WFALU&!0]Js3٣ ,}iDPT*0X"|ZF/{0)*^א;eř³DEt{\ ]1G6v8vTk1{{o¶k#c|iɈBZp \ K=-K"DÌ-FXDdpBeTlb/◶N+6Nw]CG B?3Eˀ{F)vÃq9 r9 oW}4\P A55D$ ZXv l~S:FTP$I"JՑm pkJβJ/>ۛ+n.VJₜZEXLe/Abڻi:_3OW 25);PMh_e:IR 2> OJ~YfKøUݰHY/I-=1v!vdϊu4kRFdXA,$閐T诰SD._'+[A#>v-K(o]?3oW8Q6w^i µg3>Uo)¹<ﻪ(BOY5z$򅲄R"#|ħS { .x hO|D,"$5mcdH߰w+EUSzD6kcjdWIx/rG093ޛMklTWI y0~|Gx; lيhpC$ ώO͞{69xL 0Bhv$!Ȼ,uLјKo154,.Q)8d4^B'\gӽ &S7n%6{DP6iqG޺K|aX"O (w`ySIxBUhYY3doH7/pYgh:N}kqJOC pZ4(+)dL"O*:)t>#⪾9Q5څCxI_123:,+hWJɼpyCsեU)`ǔ@T`Shi%/ǽ'L.ʁb!@y='=(s( G Eک>$&O?JK&hDve%ybLtX.Ӹ ^۝'Ѓx+3Dm \}U- O NL>|)@\Aj!89oߓ>%ѺALoXKDU|X-Mwkn㌟#5SD1RU*L .$.@ ӨWms{\{nKpmc'3, p>R$d 3noлS*nJ 7D]Yr3@w EN3!ϿlpDRWw8 {/4Bv:Uqb}d"fACq_E "VѾ;w`la;w#{V&tyd2lpjS:& uC&o0*BI象 X{ZYom .cksu%=ߌypl ΅Ӓ$H7zN?PRney~B蘰#cZJEǶ<]zҺH2) PG,S_M9bR9`(@`}|p>Cx?k k%AZ 7/G|t2܇¦򚉮.1˝$?`( u΄ Kx~XW2;?`m3y( x\Aħ ,/`T<( 6./AD}cٽIf]a ^h 23,5V,a/hqZ~57 GR_jŇX5f]W%6tPx~"J1 JU1ΠKYUvvC`Vߍ$2#VsyZ͗dvhXh`®&I6DE߫[㟛prpډ &43y:YH"PoL&@j5~.PtM<&jSJӰ~ ${»y |n[r:6݂_1?7jZDL;S.5g/W4LTP렲QKUerWn:-+|u6-KhU$yGMeJhmE=k:O 7C>ge}[k I"?_~%4[WuQLKU{>[Fj׬KP^YLNq߉VS-9b ]y!jBjUÌGs_XzjP޲쁵QЪ4 Q=Z%mCo,rGח SWA%R:09Omo|>u1&H%nô;[|GŲ'5<[[{/䇝NG{짛::ˌyw:@ct  ʧb nNg.yIx!1LRePvQVRR9%7)`Znxq縠ff* GrN nx){F #jͻ(.>TDUZ!_5b7 XiI/dJ4"fa!8 (m(H0ˀ!i]ҫvsSkRH**@#ZR2((( 'Wji.hx/ 0`MPR+GWy9RZU[hɹo<ВZ m56n 9Nd6a oVh1f>vBD7SuzdL0 . >3h!YOgb@Lyo9 >SBW.v4"Zf!;Xi @&C搌YV>utbz|so9ņjlǏKS8>ຖ ؾ{pΝ {ĮV|U"<*qmKF:>˻C#"eHzHy4u*e98>&n*¤` dd\'wJd!*`V75= 52\KbKvhuaԂ8'xLOl6?Bjf'Qo 0^SD_g`Ӭ <-k"}~-&f'7'H!AcZ=ϻb^q%}H%8K0$QBxEཱྀW11mc{3Ws͡D,d/)K{]hGe>i~҈`w[iLq8(,\-'X>F߮Vִow? :-bk;-|OP$m2Lz}*[pM!!Y 9~yW40^VnǢɒ,_P8di) ^ne? "V>ZۖQZV"Uʙp%ED`DTpBoC;p8 |ÏmˢL@goi!U4Y*:2O}J]L)3%%C$KcӚ.u/S@l!^&"[@/ANLOx.Q}kWK׎(;p@n]!8" Uyw6e"*k v naZ6@>i#g29hH4`=cY&8G4 jC˜Qu܁\s9E a%O#ϭ!T+BǒpJW),h "7c@ommeEO]g~s&ȷi 7MGd=&L[VfIOA%V# WM`ȇgϓPNBHݖf]aLeߡhXmb$@z6` `-tkPHuR9,yL(}l6EtNlCcE.jtTDc׫;2]nUq"Ӌçcq_r!iؗaCE&iY \TTR|?RA>GFӚFfn1Kgk$`Y\R8R8gk.U wwݴ*5YjWhOѰGʧ%o騷˅\tƒl+I 8eOP%H_cZGGi\Wi8,.t_m+^w;__!w{ :IumMϚ]%soY7 j F)X^#8OD#qN'!%>qNUqoVdB>c 8FE8 edY 8qHlZ [P*YÎXzS8$x|`Prd~ ;h [`XY Uu*\KvjC_I]a7 GPޒ9a7xrT=͕͘yg͙^x'3V^'=;10vRZuD&UY Kk/vVnaqDq]1ں@`#_#,ceum-ΨslnD]Gϡ8zFH3dlc<\A_;Ik֓Ӱ0D|ay_;qNFͿ 7%l,qv vėp{߾7SFEUҧ 8MH牀 Š)Cϭ0(~QK{"hWQSi&>? !drXw;ܬqR3.~o̢(tr)20vQNal*0yz o)ɖZ+J5_X&EA<V/& >=!?`9r2˥EѥxZi+2fPh} ]-?,ߧ]e 9|@9Y}䒂6L/v{kC <2!mRTeI]B [cg+cS-<:i(1 \્SxOOǼg_- bZkC7k1QK8+aP*O'ýZ 2%FJ)]Ikw払xJ)Eu\i-.0`W RWL"Ï.:pث ٰ8aZd?lrlY~ZяHD&WV*= >2|bJiΰѐH{ 2q@5=3lGLA*"֟^ٝism6'.8kQvkպ~<(/F͔*\F<5:W.S?>3> *magZ Sr\(}7@c3]4ft )tI99 Ug_LTݭŽQEN6_<Z&I5$Tp__)qk?pVܛHa;C} 2ah?~Z*P!6F$T@#[-0%ceEp)4~2}AlfL0WӚ+=QFw԰\rWl..WXћ: zF},;_qCӶ(凶H{JhP-xJM3"88eG4*u ZH 8˼Elvҩ)RғqAj5IBˈl/-9ooGlkLBm}ƎS\c j#}K-,7b%JA:fT.}_D&]S>oU= ߽}n,A0+nztu%1a㌯+q4R c'B,C{MyeMG>"PQOѿ!% WCPӜPfxTxQ( {Q#U!"4VҔ)XuX' %{&>RݪITg?J@+# 'W?liø #\x6V8 u_<g)­GZYΫO@>-`=/dR2ͫhEeHI3%L%QM $]ƸPbQ$S ; cb]zF,JdE2xRƙI:5ZLJAr1fiH@jvJm &YİGO~Sq'ƱvoZAwX{@l:Sq@*9pdNA,T)=#L{$g=TQ/oF\̟4B3%A,R"7h4= xFpIƮ(ှ5`Zxdg WԣXx TKCK|I2e8Os'^)t#>;&M{X2w^M=-c8iD g.)P{1,YA%MJPvKYcR ZNYWyI `WfؚC ֶ@Vr9/t i"8820cfPFR>EA*s4j~mFmX"#zm(7QazvG6"Ӿro @6*6֭qKU:e{"{NwOpgvϏ&{3,'0Liنr^wlVrw:Ym^Nm*HLnqu7p3~+}LwϷ1y'5D`vtPU6{`6Twb6^x8V6>oRV܃s_*v:goтsTPfSǯ RLd Qx0wzؗxѱ 9ׯCE%C:Yy͸0eS@6Z<,SO vkUv6yXӹO}^{`Y/!񍮔Gd4=Z'IuatdВ'e[_"inWrxڰ /гf:|mm:+:hoW}b]s-4+/=+pD0yw.G`FYsXO]qw$ h:nAMH &ٞff [A gx]\@ްg|7`0VFhBd B9p-U&MXwA5)8|)WSm0i9Ĕzes}BQ4~w,WuU sQh*AA}V4)W0|CcvܒS1vvb= ms•̓ YZ