minisat-devel-2.2.0+20130925-bp153.1.17 >  A `B!M@eee^'ؤcQ+Ay.b!1Xw'CTGKp;?d * Btx  t   4  TDp  ( 8 9 : NF oG H I DX \Y d\ ] ^ b^cdmerfulwuvz04:|Cminisat-devel2.2.0+20130925bp153.1.17Devel files for minisatHeaders and libraries for the minisat package.`Bٵs390p22SUSE Linux Enterprise 15 SP3openSUSEMIThttps://bugs.opensuse.orgDevelopment/Libraries/C and C++http://minisat.se/MiniSat.htmllinuxs390x ]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(s390-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 packages390p22 1614993845 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-minisatcpioxz5s390x-suse-linuxdirectoryC++ source, ASCII textC source, ASCII textҧ~ )؂>utf-8600d61cb999a7e6e147d3ed4d15c43530f7819ac48b2dc3ac0076fda79b35a64?P7zXZ !t/Ur] crt:bLL*h֖%lQ,"֣9;exJl2x>UHI5&w'd.}ާVӠyLXFo|D] jF:} \\ԂV+SѠ 9x¸ѹLy&i")_Bu1aI씮Q6+0SM}#@; #%otͧElY?v_qaҩo;xtIn T,}bgR;t!d\k麧QYpIi "!&6`y&zh^_ƣv5vXh\24,|.GM[+Q>%\IwUHJ%%g`>!s5^&ϝޛ}_u/a1לxKz?x8>~~fW a,z-Q2`U0܋Wv9lB{/2AUem&j* %bK~Ɇ{#(VOX)Vh'qh ʉե]Ɲep64d1λZiA"p䞠;F ˉij۶,A ~U^MP.JhN|B>kJ3s˫v䠃 B:TmVΪN=?5e'Y['E5;pOIlqxAK lH8Xw8û"!zdY NTVi,9F7wV]~ uk[M[R;>p>`@K_|nx)_d{0;zE\BP9FD˔X9E6749z@d(Q￴YKS(&a[Imsp 8?!CȺ*U\LV}ИM# ԌBܑ.ѪyIw>YL馌ٚhN:^a|O-"6|ziGnwz9T*W:S;U#G;OBDN-&F-`q q͚ bwi_}d+Y%?C+y#}:W }:$zr\$6Ma K.G\Gui_Dߡ&f)j3 XXsN#d­P3 peQj8f Gq;k,YϞѸ}JJr83 t cb<)k F'O!{m/7 {$oV7 0EF5*aHr Å[$Z9OR DAq&뿗ksζko[K'"ˇN Lڥ' ὜3¶(m-&5hhYr7V6w#t{P[=c 8bjǴdѧ^Bjjb['GɘD9SwZG&@PY h25lmA9pWlɜil^[`*Cl9unƥo> h[%,<UX(9_1OJ\m9wj{Fi]#ʆ%*J2E#0V}r`vm$d|mG^U2앂,?{v17h f<(9нɽ]Jt`'{G"IV"fZ-Ml C pb (hPobòU C3*)ǦQ h[:|ϬdN鲋fr̠T;e"?vpYW Ds+OX??MP{9w8|<N zXB" vI#e-Z俽1B਀^+H)]i$X/VEMw?v5!o,-W0~KeCЮE%/2Dq-}@a'#%YX6 xq=귙Zx^W8&iN`h7t4xzw{k" '$(c9o}k|UfO?9c0yŶCw4Xh6OJd=ƿ_N V j(H~s-mn  2de4c%-+Cf49a7z+c@G0-SPKU8_mf:l&pc,#k4jq"8;rm.|Dpl2Zxfu'2rvࠛoMI& 0fl1ZS3bp.BI4:o+7dׁUo=dL΍qU"gwZka3=yq. gC{_J:!=CkTlM.%e%U` ?QCȡF` bw z H w<>fV Z?o+L1* 6%0wRY|;ty.9SQbEjZDUohAy!Xd Gé)]#;•BF!,B2iЁ| p5?|#x-Lg+ _xBtfٌ7$w.۠cD ;Y~ s'~;4H=e)~Q+\L$L 4(0⡈wh֠q=kú5yR2cGQZblO0N_lx9t;) bUމ97a>kʼn!p9+Ec_to ?'b*}gRbge7N}LD2`~KQ)׊+TKe}n@TxxAXPTZ^>x c( wNQ kSe0 MΡZfj_?e(D2t1saFXt7U1F']4ZJׯ A-GNAf,Mj"Brg^bmz69׼<5qOOCOQ#r]|6-mcvo}pU(yM{,YiyK }w,1k/FýqThw(b;B>b4|¤?\ T TBMڛ|ؐPK*~& @V1a7"7޴ .zbYCtu=؍Gn?: (IӏOܖԪ27vT @X+R?$p#2?\Pta5 ;\)ln>ݙ& w}6_KDGGx7/[znQ/-ew#@ 4g {V.Rghر~gãKsvsxtY@#h\ !62Us>趴GdmY`Oz4۬X9Ӌv reͷ]؛ΔuפEr0/f)EQ7W3߹MUxp{.J<[D#nOT0*RK#.;o:'%6iF,ikH!߿AAbxn8OٸU,'0-c Wu\6vqY":.blA#ԆG$wU)E`7j'k{7Oc-S mFO⸍pP׊Z<A ڍLO)ZX_jY:SzWUk 0.iݖs\3vיڱdXHb-!Jo.J!U4-?JATETI= > jrԻ$8 ̥k)"MMF~;S-=?2|~B5f'Dp)ɧܜz3QK%ۦY{KR.+Q ynUdr~oBLrD9V+)?c2;-yH /۱-sOFo! {)ZAw#_v|k%?U>7PbLe !jqI\T ,>5q/}2}BXΫĪ|29}Yo{(8E*kK iL2>>Bއ^}W6j&KWnL($:>Sub Anj5,JF9 \xM䊎FN?D&fhٴk @4{1+{$>h3ln3a̅C-HTIܭNM=ߨXXJ}7(^leV,]RUV^3z3r8N~8 QX[Q~UjlM{+ |@_guHσ~Jn]=Vƌ$,hfB4e6 w2rioCQ~P` E]82/p:sh/972-ŽVɠws/y䯀B&|^^VɭC7t9J . /J]Q+Xo\ZDS5p@ r"(]&><-D k$ H˟Q(Q˻R Ԗ~O5Ӗ3*TX![q"jo= ?"e/88L`:G!D+㾦o$Hkq]FyW#j7ſWa=~F8Q{)i SP8*{M)7I&a!o"ߢH?R בjHM`8fؖЕf&8zg'y$$`XI|]TNw2syB*Jh_Q(YW:5]>zFN.">.9p`0O7Ho$ =q>>{YvF#,"~zW/kD񠂂fRhWpzf`+羱=d71k8q%BVnn Ξ,4t "wI| N,1@8CJ5h#|ubk䛙qh!IKѾԾ7zS ꨷ذl |&v63\zvߛ^Ow2b<mk 3m_p3TVh39@d>Yl^̓a1ws(=2uebE"0f5J}mWqO*[#{_ Znp})Orfrи9"1,HǾ Wdf#kǵZҸtrЙKaOAƼάAaj|>A| c%.G_PZ飷/db<܌հ8cNJ{qi7Kh(= ,qmg{$ϳo 4K.F97&TGV > I|0˵|s8!E Jṯ} ަӘ՜Eg1TB#(mIIu9g~ l=HOث #WߎG l3>[S\&_44!%y$@ciNWdC |ng?8w>4 UG lԼ`^[ ÷Ojlx o9 ͮӠdUV`zZ;ZݳU:sjQ'$e@p< <7c+[x%szd߁laC٣F94ZSTԔ%XT" 7pVh>v+)s-K7I0ہV:4r:a]bT|af#+|#U{|Bk28A&u\|pJ,$B4I()mRii=$殖n=.]ϣ0,ѺȤdzG/?Kr%7߀ rH]7" Wzj D ʤrW(b#Y#4C D$Qq5i U)MY;h7PeSai; jHl 󠞧1O2X5t1 %9 ҐIᮾ28.Ʒ;Qτ(lK:ߣا8^#.6[bQ}(7D,uY.bP qK%(v_OCM$!C<StCg `< [7Cvxmې R`O}Rq~tCvć{'I\Uc|kefܭg8m(,6cl~l$%wbWJt 1Ӥ|Z)(6 UMj#%^t*[*CৱV*Ke pꙔQT[SC $}c]hǹ*!Gw=6-:ٞSNQ:S? &lRWlӡl% 5N4m\W]\|?IG{rDSELíǤ-C:׈X̘Sg0ƈD A1Zwb_N%aצ LkmfVsZq{A5v[bH[n#=bRےT|iO֌jĝN}? j-2UQ9檯yȾ\&,Cx$nš7D#/ ˟[590|ϢcWxRi.TAc`Ōkzh hZ`2T̀GƢ7`dPR#z猭%18JC Nj`z⊻e I1d$ 0~1 C%) y_%Tv xYo7@d$,YNya GL=zv.8$g2Ɏ3|"f 3#e-;ϷJ6]xdw0@v9!py`N+g[Ovϥ )rPg>eϤ0aL9>|.e[;phln6; Q 4Ŧ~F3OCrwRԩ'5Vƌ)}0wyBh|TyLe;%6JV)2`qI+]Rt n>`YBODby׏t}5^É,9'g4 1=gN 4Q;>1!&T:[?K!cO|m.bWtOA.Ug'>1&>L̉dm &Ǚ `SPn 3J%ծwޚq.hݒ]B֮;P\n_H{;Zb[L*E{ Gz(hNv'"Pc"M7Z.|ؾĉ x@Y]7 ؅Z9I=Jy~ǙӸཚi\':jl+{q׏h(ާA[%wga3W?yO22N%l}lҁcRw{uXvhqƱ T8V:4oZp.ogc2-ӗG. ՙeT݃u81ߨ[c~6@gD+tG7I#ƿrw{uXТP=|#eG닚FR!Z][y װ ksqV4\A#1~>ٻ4p]Wo-!rGυ.n{$$=jB;.D3kH5c>`kPz(&JK*Cw&]r1m91>`tEAe'-IIy$O_?&%N;I_?iyz #LTGm? ctՄm.j(!S1d'#"fo펤" QL G;?BAa."r@B9y +02cGφ tҌJocxoq>Ύ$TgRFy ;dBY6k[X'"07D=v;W)0e˟k,Hs0dzUp-^dty6WpBiQ9?=-@If#pf&7To4E2| WSn] {\&0Sf< 7 pKλh0O#=u7.VQln?826_" ?d o㫡&d~GFbʜp ل9'ĽBWtKA8&<;=ގV0$IreU;è{ UN82.&ıȁkJ7c Ƥ)[Lo:n v]Uuzqխv_:iJhkV9 ~>DWJwc] ˄6)I~gNeh4dlRZN]٬"釐Du-Ӝໝl߫ϛ1^%f!ބДF@jh+W2M,ziL 7: L Y.SDSg<:SgpAHKnASedUJ6+{Ay]Etz[deƳ9'^؀(Tu8Fq?*j7t/rySK$R;QOMӖ飱qéTK&4DqVaOh _ۤI%RBE@]'@t ܜY0 {ZOu ƻ9o-ʁ- !"ſk0mGم'J1jIM #ͼ>/zÍmbY$ʱ2\7E", "@rSϡRj0Z3 ?Ğӿ!dh,ME߃ݗpꮟ͘W`dl$UAd/]Z/l%gI(anS:Kq ˚q̟`OH{ @ 5U"}r}d>(Ze&@~}Q ІIG72~T6B0WHj ໂPr]bP%/}9Bc-81\Q+ʗ5[h f9 &ԇbk(UWr|Rf~3aXyĔvӹ@Rj &lAmMF[VÄI_~ýDeĸzi U rAFwT5,wRbr襤 ц 2_J}h> B.C({}ƀjUDž V&`M5ݗl%'[tǢyW`UVs9g ՘f{ZZ檗 At B= B dm~q6k&MxVN)-yaCwđ5i9C0ǰy l< # ; $~&ВdL}eJ[4걱zB\21mZn[rx4FnmDUSp+d}i%1=d\phd auj\e DvM= DQG-uk0EK_% /|60 *"n-Ib|uN7 sjY(MK|5ço vMA;"9}ŧ:؟2dc*i;B=0/fi=> U+bKr{bFש 0 vHGDBf,:UE-\_Q>.t"n~q|aulx=ݲmWk`|zb;puf=Qg@u"!b`Vh2[g0͐df)PB"2tI]:2Tʓ#)gqE5oӭBk=ԝΐ~|Q^ꥣyS>͇r泱V0Aq1¢ IxX惜 x+5L6: 92 $Pc|/ *T)V7g.Du2@so9-vv$qӡ-^Njq=P"HX50/DG.@`j)}}[0,iOW3;86oQh~Ei砖=O~i?Q>mt2|Vt?  "VR|Ê 䠔8U񝉭Y _HRra!]Ǔ8%0Yy pdY'7;4>0Kᯎ,INfg.ago^ dS_E~շFQ`]eۧ'FjIڦl]C<>u *NeMb, 4]s}êUnBON8x15b=40{3|4|;i*EV5:tsYIZZBoo n~ ar H&MqH2B6Wo?0[G[ZKu(s#N%p7mYxu/ϘA@0>hUKk(\^ȚT7r 7+B#h+7`[@<(u%?K3uVPtpA<8r.U&V>rE Ee3Ƙ鱔NI,oPu޲ŸWWWkXw,8TH:OL/ 6LV7?0N^z 4՜И}M-dJ#DΜvM\L]zi%wvZjhUJczV{[gx~=L\|ocX'@-rn~ aI8Al|\;ZYhd_ä긟8j!Qqɬ:)yN=gM͆3AAUޞ1-/Dgr ) eEw(TLA kBz\e0fZTKrb7ۗULʗ4{U>ב*'wN!0 ٭y±GUTvBhGBx Kt^MƮMpKb 8Ya~]w~&U*]knɚk3ZQY)m9HYp;d(l];PcaRVp~.o ?NlV5(L*ХXb_ї͟tmMfW tf WH-ŗa%{E"p8(Ro(?jtAv찭PՓ\P A\01|SgKlpF%DڨYFe/a5R #r,w(1OvtBn (dF;{5r[ zDҋM0H"O d{L 5)l-1[NKuLr8v[:'^{`dh7o V8Bm9#.*D+Zd\ 9@@Km!/C&+`2%](Bh0w!!2+aII]|ៗμs4+DW/ib/BK̠^\J02j-WnܗI[PCH1gi|CU!};# P,LuǿaHn~ڼzClh]pT?QZԕSAN|lÛ!dt[m!oL%@i:`Dn>y{u** vb7O7Y/ލrl=+q#$ȯ@='+ 9jMƆxbK:qc^WqO8Uq/]NTV=oUDDE,4:eq$SvlD\ `v`tu^X}q4}E'oznnA*>y}m&heW-sH6Ynb'E[,l++_]݉GzfXpO#[( Zn:$fl-IݲPJOR/u'$!ji 5|VLɛETq# 6jz jk AJ6u-B7zZkVFuzKj nYPCYM-2H=|7Z;͉W, imGWa=@_V}]"v9N{^JrL1:+W#ᐠgpJEvׯjiѮK6Of'2[} Ȯ%MirSOĥgt{pZk,S9CUJLEXOMnkXOSQ^71Q;oN~̔ô,'[[4tdբHA)iUTP߷:FC(C|TvG-j= <).(|xJ*(@,d>,e_(L)"6v'PYrٖ Mh76 syqѲL>>2KˀLNAa5C3McD0&]DsY &()(ϚV۫^da2x~)zoc~ 4y7ZZcCG7 :=ʇlA\݅{n9΂3hVzJ;!F1.C!o!4w!$QgJ8$fk`~M'ѯPxq!4쬉~<;wV0UcfYW.y&e5CA>xK+?];zq$*xBCc6釲pb ȕނo.IKKXSt0*Ə_&K9>|OO .#A@ JQvy2aF5Im @{v=p"S* 1p97Ž)~T)҂3XE"֮L%!'Uʜ@;«ln8eYGCezJ,3eά W3(}*,| YȵB;/W]sK)?.ⷁʗ2Em&0hBwT`ć=uhiuv3>Pli7#Mϵ [U‹$*|¿X0OP=Bo-&Ƿ]J2`Ȓvq1/Hg!+N.]qA.PUb *l#߃iN]H)Z}^剚tT.ַ dПQ%X# &7gP$JnqRlDE*h. x@F~RUN QOƓE1zqӻ?\ױ &-!ξM:cPNd&)&M,;g8}uh2dOc!e3ɕ J';:d2(@r݌Dq8%(_ v?fU4kvֺ7pM%|y '=[->`__ Z+0'֮tܽH' #!3[gXWBޮ_šLso S&Q4GW)?PTnl¾H<2F~Rh}.3*1o#)cF 㑙-2?'6YM\ޫJ̷U<+\'8J~#Sϱo-B#ׅBs>7[7**{>NT)YMrڂH l?~F$q桢a:G5U G@T7q.f]`L gŻAg5xt?߿VD CNNuy.䋒Q{je&e n#w2bd;ф3k d{dC6ZCi{zCŚM1$gl{) ]B0bbnbݍ%Z_$ElKr/EI3($]^A$" >̓ YZ