minisat-devel-2.2.0+20130925-lp151.2.3 >  A \/=„-p,(sL܍sڝ췚fޮf#t ϝoli$ :֎b8 SeC)|>O=Cϛ&&9S w^G*-R$%Ip8vDfM A' f72GΛUr/1XJg{NjNaQfEipA߫ݙ"ރv_"D,mV&X%&94~b3749a1203850f2cc1668d7f6323ad5058e73e80e92dc4bb7ebeee5f3325a0b0c0b775fdf03a9cd2ecccced0aad62151395c8af0j\/=„MD͕/-zKZҏu' Lmn d6~xgo ?6|j>^ +AmFUWv8'2@ s iîTư #+y,V{LD>")WD>zTCÚQ{ړ:'Y`6bcS䳗רi*,YGYýY Qqo!b$Ţtv5Im%xǽEc@i2^c9ĨTtEV2>p;?pd ) Apt  l   ,  L<h  ~( 8 9 : BF cG xH I 8X PY X\ ] ^ bRcdYe^falcuxvz $*lCminisat-devel2.2.0+20130925lp151.2.3Devel files for minisatHeaders and libraries for the minisat package.\cloud121openSUSE Leap 15.1openSUSEMIThttps://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-lp151.2.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 packagecloud121 1552804592 2.2.0+20130925-lp151.2.32.2.0+20130925-lp151.2.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.1/standard/b5de7bbe664f8a44e2cf1ba07d90e66f-minisatcpioxz5x86_64-suse-linuxdirectoryC++ source, ASCII textC source, ASCII text/$3ܴz-it7utf-8728f48c1c6455258dc8c384e554275e3bd3b28160f1d5e2e7d0761212c99e003?P7zXZ !t/U{] crt:bLL 7|4u%.8?&3 -t&b!}ՐɉӶSQEls,`nÌc [CuQ"k۝r-JWCS 1 ~q 2gsox#;N`anM0Vu/6Tb+s]tyL8F c$X\ND->qu.xxاŵKL9݌zzs)l' ƠjB0[ɜ i·"kE;J޸ӕ)"j&x&Ra| ^h!N;vX~Eۘ =HqqЏz@{pĒ9 גkQwYW C7ƹSS$NSet_ro\!VBaGB (9CKQL%`2MPn`4XY|@2FZYߔcYUV Ϋ8̌O fO cδlY-c^C[SF@; )࿇Mĝ(NAkWy^(碉Cq+nt::(]\:E7ԭ XDR]~r{`Ҕz7. ڸM[_#BOcxYk|w'\qO<Ń5U@\RNXDfiyJ4PJr|_6/AޤQv+$v 8Qtڦd]a(p&ޅҟBi \ ZVJ7d925rM xH2Y:3䊓 /J?s)WUʅ>`:c%6KƅUkͱ{5Q :>EJP!fm1MZM/z8%A]$[#KͱD<7vӳ%OD$ue|d_,h1'D!|GӄzT^^iGWpE|hSUW2藪6/+0ғÂd4GMҸ.)!͘$`fFQ5g<nDD[knY = rqmu\5Y!͙.[a->7\1<U``_Sn;J>4T870<|3\jD}ٶEiSn9*^.of˾+M=l5kTV`>MQv%գPFxMWV;;16zŮH)a/R8G\"䂬f} kPd 5$ǘIHKF&;ԡ4Plc1U3||e2FँhB^oXy}3x*"b^x~}\'dY)yؚ坐kQ~.gۏL47aƜֻbvs+%}QO\ /,BL?x7 mF5z'jazs̟d`:7< XL\:),& t_2cA@Z"yըQB-lZ(̖ޭ$}7Q'l^N2SdPPI=,i@f5B&knt47a*0J'1y}1Y/,%dqڲ5*Cf$KF8yED{]f`hM;Uޯ1vbdQ;sF˜Ť[v*!m3HذLlb])V#p?[\6L*itfF(g垝}#L# zSX,&|)5&,jjoDĸ!Z4wt2..}7!$@!Pґ;* &5nC;@;e0@<&SbPJ錅C:$~.J?Zkjnem:12 JokS}߳>N:t%Ѓ*CaE߈={&[.dZp=V[#4mva0.yoss"g[ 3- [)̄N؁W32&ncyF{Ua44hMCKf H jT#lޗ.Աjo@XOdEb= xj M&|w}Qʰ>TK%p0qt痰̫Mu/coQ'HM$JMO[4oN[`sȸXxOă{]Rwm|Jd׹;+֍n!M]Kصp[#kX{Ego8ahhZJ~jIXC! w<WG/a8fU?w>G5!ZUjR5gcH{2w h Hyh|Y=r>uJ̗,j:U=~OY"_/ް$ؤkr"z% ;䳂<;\;<]%Fj +Go&0\ctQ_v(xi4rն(`x.8lz6g?A-&*)D>A埢Ow`omMNd&:\j(JqLҍw`O+@2͏CZ7\= ʘݹ{8MF[;hVzӎ4À9h;LZETB_OQ=js&xvs9Y!-c<`܈~:`{0Dw؎m)ߴ]V)5gbXPejj%SV7=gWb,6ǡa8WL/=OiqDjE["4|9U qV;fnl4xsZ/uSޠHQ/=~KYUz{ͤ1<jw;-unW4wOx_vA! `g!SThhPp+}M,PJi@i7I)8/  sV*JtҴv`ٓ(qRf lz"X/+#LʴbvLRu[3"mWn=rlӱ|o?q/\+nT%'6?88~Ci5_|9OHD3Xp+v h_jf `b4qZ` F}'N  $'fa@ Yr^4?F/XC`{=}!_U՛=[bHھAR$V?Y:qHj$B=ïA~hQRnz@u 8{j>UpS(~q"7/ˢ-oH3UE1L [(S C!̦p7ϳ>5H%4Ҁ<7:׮'6J 6|2rB֌սpk|Y篎f0ұ'~-IT~$^U6oF6Q #X閶}3RSiN5|3~ I*~ .x^W>mޫHt2"ӛF&7C#ף~̷R:W˱\&ڄkFCVW/_H")ETLC5Vfa9A lzދ4ܪ \QBy"-jPSWGw .6qd=GhQ:K9sѓ+hQ {/D؃$' ^N3ᚖ`qתs^LȒ:i<ܓ^N^]wC5&<#K)ʔ/1 |%H؍>_R5{ɇF DՊbLXCM |,nДS&wsX|+Hޥ5@ yYs|1$zlh0: /4U襹,vyb.FOR<m<+HPF?ZK7ʺ wXP‘ ˢvQ1SL!5f ۺ $':>jQ;ȇ'>B2t6@R{ܪY|U'N҈hAą4,33=R ?b; 2J%~3vqڢI=S6fCCs=2E0ЯAjf-1)yϮ}xGжijaϞF;r#OTL'8<|O%}Vb*Fx+ eYs_ZߵUҵ^8/jP.!^vxr(*GN: >o`yaNlQgѣY! l'Ԥ᥅0ڊsBy1Ϗ xۙxD kQD,v.֖c]xմV(#s}m]&LfՔdܷ]R>6>k:ٯ7²*[cQZ8W2 w#KꂀN f]X{M(k+34}h:Ԫ!P b@șOLuTJcl6D3C֡Fv2-Wȼ:KQ"25Uѿ̢M ž8&6Fj'yKtăネ=o};SeG*/בMU¹-܇-Vs#Gd?f5ozCÖ*}D#o\Úʓ/H Lsϖ!t j2seOOhP!kgAd6LN:/IlUaҲ# t**j%} !A>}璑B=E^ƂB!PpfI˧CԾ>JZ-O79kzAArV6͐T1r?kS !,>`c%8 %^,-DI|rVc*n78`QjԿE%Szbpæ1uj -ŠLh6 qFDd"$LHk]L]Ewm6f BhMd]0?լadVY995=e3E`Úg@(I㪮w l/9D:iOc ZiSϏ,Ņ 3hXT&$|h Uays = F[-lšzA<- ju zZd6?Qeid#hΟצPvc *@j{?m54z7bP?K+%9}ҊAPr N awyWlmKPN46,㙝]J|JIo>{oӇ΃!`遼q ೩Dn7DحK)?(g(Ƈdd}GfyonTLˉ-.N v^;V `,L[p_5vhI+n ,2@ Q 65gxiHHxΦ;$k3h3j$|坢hO/3e աSu\p'}?Hx8k3Fb>~r\SG:Ad#˖s@_);ncޯ3YKx.㣻6kUNx?$UzHMSuY⃔P-J6$׫.Û@,17nڸC+/+ CP |ksY2܊|/!ysu}D}-Lf{Fmp]Yd:ۉSy1~ߖY%6%gzD?FoV ݁'7PyA8![R@-\aZjsMݧL)HCۥdu^+%ǸD t$a1xsP6a(;fI[FbbulyVPB˱E5(hV1+.!gZ^ɡ@n΃z4UクwFEQEa \WY \Na-54EQbڂVJ]ֺ#*_.*p(;i"q8 VW;2cx)/ek|_WL(<ƒftP+TE?yΥ D `1܄gٔRN7w i ~+]Z#H|5H@\”_t7NxjD43Q YIqSK*1ŧ{$iݮ)ӳr|VQ6pI4>CɗX- ydPڲ.NQbKq ҄kn⼾b*{ ?bC;x185UR5P C,k7Dj޻ ԛJKجaݏ4/[po ? expuϡG\iImSܻq1sX#O뿼.$1JB Ufd=n(JoFSRr6LG.d xRKLŮ7؎IE>>x`B~] ^\v}]ƌ1lYվXnmr i+|f"℘;Pq 0:[yQ0=a~yACIk,*zf5=J+GSyԈSV8~ uog@l?KeeUA(Яe>53\ +'!舶 P]`<V1Ho5˕x^8"9knm#6$z%LLCrmoa8'W\ӟ-/r*@DȩD2 ,)vX0ԖyOuj+|ׅϷ~8ƝgbSk te/QbhgHpQQBYw0RAf@"8~7浈PJZp|-vU]kxyC$ skfi70IpS f ЙvdUwJіo/է&%簸>;>4},.Bݞs$#X=K@JJ )UX,ɗ= N:kwĕ6D_Ju$^܀owJ>ۜtw/.9|F25ɋ@u`3( U#N_EX7wa֜)]ӃfNM8d$!` r_XFaD|w1 a.7 _lI;{A1ɠ.Npq& 4oʯe k };7Ļ#.j/fQ>jHwmPd؅ چnj"7nZ/(N&K8bl$Y;@ s^գP>?d?_aTcSAlzk`HO[(SS=U;`>m/4\ϩ[ 9-wUXQck )3c&Ŧe/4 c=t iXFXŞ4( e8l9.7Sg&9&DQ Ԝ".57&䫦Q߾t@ %zgYB )<4ab-r@xi8Ɯt56{NFX˵f6,' o8g"ue -MsT/E.6RggC`  SukXdYM;?_푶83 ][z |B2ۇo8?aZ±'@ і?8iDd4]MbUɊ+@kɋ#s13e6(R\d,E,/FJ䌇ebtVHzjGrro֝T쩆giE3_xUN/0 #q~]i0\^I[@[B&tDZ>:ՆR H8A8:X {՗ޥ]}֢M +G"xսM8N"a˻iAk^ς"('[P+2S.da8XB*DX x KC% F&$`fmrNa(=;z$"d;,xH[n24}ZLR]F'Nf >I :Rdf;s:{F:;]N *r6O&{2 ? 鲴5!OY.i1p@Lm5d:ǜA pf?!i]O,ojp^֧bm0M4%YnbU6x/Ej]^ '9Ǻ?3k<%#86`91 f/'Xn)O,+ۚtr7Խ;#?6@.>~+200o54@qpdIH>U/XMq}:Wj/Nޢlx~Ko]ie=Ԭ-إuV=XP)~ԿN<F{qS{ F\t݈k1(1ls-[Sf0 N; (gŠc\W=EF*÷9]0drnVujy?~LY6 +wor,\W@Jȉʃ1"TY&6TOw NPϲB5,cp{! Bw/3(MUvԨL8%wRhҡ B 1W\< ;`I#D,QN+"W[XQ噲X:az.M'Zo gA""CCR!-L!2g6I2y{wS ;#pxgQBF N<=JGjbq(yEVDɂDAde=G,0XORLg4?#DYIo%iu{Tհ߆Yq=TsK*>%P|nKlB)ݩtLFP'd EQ9vv+Ñ\HqEoyeuq텈|2.&om_< `hFeZ`ƊY8`F!&ݡkFH;HbMfQ;P ( B!;DRP; 7b24̵,h'L#1-`p7ˤG"~${'UQ 6ЪTrEݡ9yQaUƒ}jH DA>?UIL@;;,hKl>G3鱬RԾ]QR` vYLND;Zp P|be.#[Tu6@bR=h!g? uV oJC<ɍW$>2Cty.upg`xZCpL8RWBȖAޝI@Qq肢+T~ǥdP*xV#|3|d by[ <6ZfT}A$,@j h!lEǫexsq0zaޕ 3LRCTrٙ8H̐P/Neis()QS(D@klXD K.$n 'z[/W~-Kq϶`5e]U[2|pk' _&11ᳫKwl&1vTt&_ɃC:]Ocyh 7,@$hסGܜ%jP n#GjqhͿ'h`,?B=&e6E׈3u>d;~( f_=ѕz:Au~e)7؎tטp ڱT O tWC[䙪AڛIf5N`0Zz}Κo`= bMniPf8cm]TF tB0K+MGqGj'>ed ϡU 1LG,rjecJ 8Dd.Nwۮ@]h\HQkfC }{,O>F4߃iϜ6Y}"%]ZF`wڜ1pQ| 1,ֵ[OEN3lm̾EN<=͔bgjLkt l io<#.t%A:g@T\Ρ(Mr;i"4@SW zl['=3 ,?W#6!UI[9"#{(zUHv~ij# =*lWB"-&XSKA&Q7Q3x^CZ.gT_.\~ YkpcNj+v4>*qX~V!*os?3ĐˢZ0=k$\Y\?QQUpSj>NƤf=D#1:cw:<0r8)KNu{nonv*LI׷l<9 dȂc#bWQ'[OL 58aP1z7u5 Xe*[t#_;W(ڿh~(Zf+1/VN7օR|CiU9 FUGB2M$ OŸdtkO оKB',BⳊ(D\t,TgGO4K ֶUC?=U1}T?eŜW"A> Y[ H4+|oi&5^96i@30,1Z'.oS% ~DjT F)ùC!2~0GZ΃hWT~˄ Lz/ܰvn|67TĚWCrRRrMCX|y" =uU+"WT>8$xȹM1*2=3YSA YW*qy(Yh(K+A+.c.N"0!xN g$[W3ŁH!TqWiax7yg[ޒUՄΦSduʟbNW yL!qLiFѪfc n#EF2Kr7piNgǴ`?+w3(uȘbڄMb=Hvp'{R5DTHH-:V۶pxʐWlю"Lv;eJ@Jg4ݟ W$-NjjkЙWW:H8QKʱJ"Wފ @Y&b"ֆبO@Cʪ$Ueo sɇXc `ely% %$g ^_YJ$zRV+ 2.G%K9-,8q1~ .h}ڬ]%8v5r.bcEd7+).9dIR[OܱJyUS*$`o4+Y׌'DGS"K2d.,G+s`A: Wo/BNO נeBQTO AweDD餚iԁXΌ$N% /LcoQPxPH~v  HOlyD023df$HW,ߺ!kݳ.Bdp@;Qюl;`;w;k LRSu`lJ@cd3r{_mT6Cɱ:0qL} zL38 (&1T@SAFFw2yзpn\=+yۃh_;pun%Dc2ۍ5U悬9_(~y%m~ϵIܤoRyo|g"yG`_ue7{}(z7fNdvjE< r2bxF:>"Gaq{ƶ6lLd29<0,5=YuTIy<ipi*HC ;KJ׍@-hxx8 lR>-Y_ư!qg8<4tI=I\v8biz`rϩq j~RRJ&&ieĥL6yIxF \}*ށZ41۰%d󭉯us H^ҌQ4e\*civP݅2(Rq}()Jij|£[ʼ#όs 5np?p | yҙr ScPF(>M_ЯofR(RHdhK(QOm4_̬E+Vw`'F++:H6VY'~)Dk@g;/o:rrs/F/Tb7klNe;I7Vu* ` dac$|QĄ#~˞>'UۼhgltIp%nnjh=&?+gguI[C;qv&oQ{˹ʢC{vgcJ\#x4|sc]]2p.u_v‘j^ 4I ĵB_hQ[${{٢yjqDQ/Nz҉ s#=O~' k\bLgwu48 ]3QZ,2^س.Uv1Qي+#^!GobRrJm(Ǟhd{%=u mj)lh)Js=CgtpVsgbS$'++.^{sЅl;\i]wmG$ʅPz9/.Eu_w¸`QKRyLPH5Λ⠔,-te2̴:09Qo¤ YZ