texlive-mathpartir-8:svn39864-23.oe1 >  A ahW^^f:RàZ8ͤtߛo9%[F-@a5kpM |8lnC$-%m~kw5Q|]y#J_IsU^y d2rQ|y:n%KZ\wO]Ym\kFqTi\kwi~Kɭ)ۅ({(3eZ+>蓼7fڷ:{)y-Gd|Yh| d{.;SKPG"ʫRFMG2af38754d2f20c4e303dcc3eea05da070fe19ba30a460ec3b16ba5dc5cc2f3b959c43269fb2d1e84117a147e7be0f9a7099d3e1b8,ahW^^f3Vti d`u*ZLzB/+ ޓ(pE`?[s_/14sGQʳGM aܝysIHH!%\:[d(p1[?--CX 1;.a?h0P'|pI"Uf.!6 ^d % (1Ϣzn_d^점s9Ϳ5(5;f nqJ¥D\.\.& PGCw3xZgSp¹n\b/vR (>p= P? @d( , n/6 KWou|    0 4DXl~(89:BFGHIXY\,]<^rb c d ke pf sl ut u v z     <Ctexlive-mathpartirsvn3986423.oe1Typesetting sequences of math formulas, e.g. type inference rulesThe package provides macros for typesetting math formulas in mixed horizontal and vertical mode, automatically as best fit. It provides an environment mathpar that behaves much as a loose centered paragraph where words are math formulas, and spaces between them are larger and adjustable. It also provides a macro \inferrule for typeseting fractions where both the numerator and denominator may be sequences of formulas that will be also typeset in a similar way. It can typically be used for typeseting sets of type inference rules or typing derivations. A macro inferrule for typesetting type inference rules.a`pecs-obsworker-0002~openEuler:20.03:LTS:SP3 / standard_x86_64http://openeuler.orgGPLv2+http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchF8AA큤A큤adQ3a`X88177f97513213526df2cf6184d8ff986c675afb514d4e68a404010521b88064396ad362f39a8462cd5a44f282d2ed7df6713b175be5bb4cb36e2ad0fba34b581rootrootrootrootrootrootrootroottexlive-2018-23.oe1.src.rpmtex(mathpartir.sty)tex-mathpartirtexlive-mathpartir    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)tex-kpathseatexlive-basetexlive-kpathsea-bin3.0.4-14.6.0-14.0-15.2-14.15.1_^$D]Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initecs-obsworker-0002 1640980592201820188:svn39864-23.oe1texlive-mathpartirgpl2.txtmathpartirmathpartir.sty/usr/share/licenses//usr/share/licenses/texlive-mathpartir//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/mathpartir/-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/generic-hardened-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:20.03:LTS:SP3/standard_x86_64/abbc448fe7db60563655e2f379ce7a34-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text\?ZK6=#LCutf-8083af89642844e89b1d7ef5e6b70bf46077970718b24aa477478f0f28ffa0094?07zXZ !#,)] b2u jӫ`(y-7g? p \# †Va%yŠQM0a:n!oߑ]]w,b@>-j W[nVA7%͠`I!)/iME'FrEƹV oړ,ƐxeOœܔJ㈺Q.2![Iq ƀHj+i .jђ'zqRԸN131m2/5֥Esͦ))ʪTNu4{a;*jbk7N^.`stu6.Dqk>HZA*%MHXO{{@4[i68 Ҍka8G+-]k9[7" 2@{3QQ{xr($^U;iuuZXU4~k7E+ʍS_ T' @LMFO5>WgcA )ӳr1ǂ򭙾&6^ǯb|-K+^(Q9~ >_5]g 5ύ3E8]I_Tjz῭>zQϰ]-Y7{㙇F|pW,,ǘqRLkBdY-~4qaFnv7"|6f->569N p؞U\BK\|>*4V`0Ws榧g-ԏ"x7z812|-Wog'E }y(|irS!ƒ50d&EN+@ bM^LL.;~՘18*B^v,ӊ]yJTA$V!;Nh]ZD/`PRjC%p%蕾΍+HL ;ϟamJ/T#p($`ྱ'?$hICQm0|*trYhI naP:%.wyB,4AjE?0`-;46 }?>MqE6Xd:yWkB"t-d鳇#P0q.@~s@+R$SvYqX1Vʲ a̘eXDWF\YJNk b)gjzO_S^GVJ|c SWX<\6ys`/OZFV)o7@Ss (C}ϸ]\H./@wz=:FWwiQW=0@n)Me}2tKV Q^PAx`Ǩr%| pJb~e!;oY0M6մ J8aX EҪ@/$T-ϝNi>r]J>0-I'VM#T<{dPi(-g槑r!mwp7B- yf'z{& 73h`XnFϊӸG6$=&HV^yh#HiQ~p,`!ƛ_0|#;t5mNUV Α<q>I6h.rߢł 76 a#,zߥQpH""fE[_ d+{i)>)J`vZ{ϖ'R-Uz-6# VmkޯΙ~R3:9r਋+-`h64 )+dj4AkpLj.? MO~ o\VSMFfW@7F~?m+ºX @; }phċ# Ǝ|6j6f뿐`jHzM>0AvcEz_HqdYeZrs2F_E ޔa\f~X~UlCVS0r*ZKB#3 k~O0xu| V/G[qmEʮcH- r Ec&#vl/^/`Iwذa5l&xQH~'^KX)HEW8x(>rBOf3PGKP} :ˢ)mdzhf?]Z[*oY Oa^ɗ|_'Y#6!tM `87 1"K¼VgK.5ikx!!E񪵗-T`;5A&=d/DZe)%xljKz /3vOJJ~tq9KiOKG1p_Zkzo2@*|Yб"C j5I[m*z IA֗`pӪ]PYŚоH+I+s 6_|)z<ͤ> ^AGVA7XҬs})`ɩyo1UYh"E/;[w3NijM6*,0@D"2*5\TjۊgRSZyIZ90a1UNe?M|J @7p MazA XX}T=J;V:t_QXK<`2o@_ e9.MA vU2VMKl8O81W«mQbSm"D|ЧL?Ќ F wt:3"XkO t&-jhbB|Xjot{ -0m+%Dp1>lx|pU%rg$e%~av2ChP(%\`HvzA@HGFP9rDXEo êhzA%ӫN5wPsVrd*0qbŖIs[MLnf@➩Dbfc~,TA̛3t ͲENT8kOE0d\1/4+K'628=o_XaRJHs*E5+'eۙ^,Zzklj6o- O{Iox:\Eҗ,G!}Yt`= !O`Mfׇ&Is~_s˯:^@ e8 T'nV<ߙ8SR(y`K_a17;:$Bt]Ǩԫ,RHi{pvXtNO[8G#mBiE,[e3|XA|5X3SV=k X `H=[C܅Ӵpŀ)YTAxHuRG;̤HQ'_B85~Mjw:/ԷKz=v*&> Bh_)m34jۅ\xYLcRt:.. "Ю\#"10]"{ZHr+3@sd9 !^J_ b޳G*!zDġXLb|nďV8~A5/*9q]*$:6tXPuI',",]@GB7^( }8}Bg,ZU&+:圯 2j a:`0529P${ֹPy%FkDEY >-:MI n.Tګ;6K9><㉝ P#B:]THN=4_@ːqa}3N2W3So^*Xdَn*C a"H^^0lw{ыmIum.$H}P?bSqŸ5X;ĉǽ\٭` AIY2 E]XߵQCmY&5%!4}=fM\Uϝr#KN0Zj{{\fz29ćCۙus&{); vSUaϱ3$r҄ṿ#Z%ɫp| .w&Pl!@i&28h.Lķf M!;bfn=ԃZ^c˳bTrz(ـ>x.߯ꉺ|J\|iIseIҷZG^R=5rJ_QD?7P$N'15TF Em@O['SUQ]޷nɰ.¹|n#RÔᜎ ΐnm3Ҿg.Obj³NǍ{K̠P^:1ҥXamitG ,#@8m$Ρ %D/uk̍a\پkS/`x0.}{6^z+c/w:m'E&eFDQ|:Bbr!XƉBdN^HeKmO-rٻ4`dom޵S8/>b?}`bIIZ(D:(S-y;P'7kMwIr%Ϊί~୥/{3zoO#) njlۇz,p()6(*%z2چ*8BLA0"I83(b+X#&nokݕ$guEN+I)V#z˙Db Է.vuXùZEv>oB+r1DkC a0,m/qwAʓULրRT=:Gtsw>bk6\BhtqݻGuw=a {<չ,~[%2"KC1\e3~q5P?5Z,r4gs،h0;G|5$Ҟ\`Eg_ qAB)#pR &!S𽄫d.F*&6T}ōv^3lrH`9 hu۷ޮ~bɡN d?"k}-LzdRd?H?)bIpIϘuN^Y1}: Ο2[oQά[ ~;X_/=E.h[yeG2-q7\%Ȁ.91,%QX 2|6#p$/{H׼âL؞3t JZ^o)j]-bPLp̹VPKkg;Mk TO+9Ci0D+~/a=0ߐyRJ$B,&)x~+JOóڑ%li'sO*(P-ͤ__~U\ nt`/%,@-y2-;47ӐNr@Tm5ceƧ}p'ɛ;̝zݵ0q؃CDn\ eٞ9zphHؘv.Xm8ܜxj4`Yɀ5#f&co6+܎sbF@=eE(Ӥgb&#|j3lY' ʋb1ǞL l &NGNBH2G~47s:Zyk 4`lԒR'*"l ^;<f!3Xq۵ڪݪ0Υm{E}Ww'ύH|btH!+ooyOFsS.[zW&tqvu%8[QQE0<Yab@C Tg!7c$縶VbmCuh,^.PW R&pǞmn 73#&;8+8Ȧp=sHj3dXG v11b#PнgVv2##,0RV|Ѡ@-s"CMnWKEYнv/mhFJ¹Ml.BgՋ{E~:FlW5iWCnXH@Vb%;pl]ъdQExR=70pas О\s>h7x |ӟ{LbWGsh`l1&Egs xK19ZO] w~~A(HY>ᱏUa3+': I^GvuжPBluGbC+ >Y$֘UЖLWOlQAe8S$+%0S:YjhO)(J修sD-lR,a/NV>bZ [cl7Rax8'jHxhF"vj&]$4焣_ؗ%*Q"Vܻ692'Xճm8{c_0kBԯGk1M!:}hu2nfz(B\?2@>jsԎ(e;^S> >צ}Ooo1`s&~d+Z)ÛZ FLI_6ڳ./? ]Ed}H7D + zG-/:>+vzڞ*ScZ ս9٩7m<]=gD*NO \[UGgq/LnCRȴ? ˥r7^=7X|m0W}7Zf2n7>н8o@Ɩ*'t]t@re5Gxe񩚓bL#*YO"H枿Iqn6kݽz=m̚Ng8zšk_p SpHNB9r䛤%Vk5Bm%6RtF3L}E:<ϔA?0iݸK~t¿I6=JAո$&׉F?L9V΅ʯxf{.v/H몶l 82g;*2eV"Ӊ[< _ >hёJ6y&#`Ӽ`qm$ i|I<:Xq w|ifբjZ03cŦv L&*~|gsK՝.ε?r}=]]k9qW/ra!]d D+ A L(&W^@'I=.{VߴqysƶTi | O?2z|tGA]})acȇq]