texlive-mathpartir-8:svn39864-23.oe1 >  A apW^^f}ˣn\9) NPOWc2gP_At;za-> 4'd֞ &+r;nʴ);6{ Da^q9cBa I/^|#MRψ[z |Ea0tR]he +7Ҥֵh] {%G=ҫ#j3\,(>3Ѐy~&|3.GWN1KTDfF,M<ht5ae44dc0da0bca9c92f60aef0a44f37093fa260968e3475feea09b9edc27e911dee314b65e7ff7767c3cf7beb835960fa7049d578apW^^fs[NFOxVNEKz;Sb̌;eU'sI`ZR/1*dgJ FLOL}6.fCI y|VZ_Z~% EmW٭Xd{g'I>휐W n>];X[)"r`0[]v`%Q+J Ud?M{Ey%>^/f24 eG=4yd?z_D$>p= 8? (d( , n,3 HTlr|    0 4DXl~(89:BFGHIXY \(]8^nbcd Se Xf [l ]t xu 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`obs-worker-0020~openEuler:20.03:LTS:SP3 / standard_aarch64http://openeuler.orgGPLv2+http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchF8AA큤A큤ahQ3aaX88177f97513213526df2cf6184d8ff986c675afb514d4e68a404010521b88064396ad362f39a8462cd5a44f282d2ed7df6713b175be5bb4cb36e2ad0fba34b581rootrootrootrootrootrootrootroottexlive-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 initobs-worker-0020 1640980622201820188: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 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:20.03:LTS:SP3/standard_aarch64/abbc448fe7db60563655e2f379ce7a34-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textXq)cXE*+uutf-83164d416e5708f43c30ad1944b6399d0a610f4ee60bf419f4673e11d3893120d?07zXZ !#,)] b2u jӫ`(y-7g?:G|3rcl$*p{b!se x5 >KЍWYE@]( +ANFTn0LZ< bm^[Qˏ ʌj k 8萯h*D1sm[ݨe{:*H֔FKq{pgp)>=-[<.C.C wugvqCEc@E7q5)n(C}2zEH@DA9q[I $t} LU# aX0_J!}7]uӂ*~1T}bjBi4D@V'݋/ܦB)8Bh&Q nq|f8>*uAh#\9t=Z6%/&mY`4/ ) i8rtw N$]cFMp uZ/f8}:6prcgY;@A`Rxź>]%gAeysJeRf;T-<q !y,o;< B6 W: xb}7' )aJnŧcɻdn/:k(=C%gD9.h|e Mϯ0$x(Hp82Y HnvK࡟J?$P"X;:} !+rUAۅYnřjzbM[*{?p12!b/Q=]yȥDEGK]J 0NbFi] \:e!2KgoǺǵjڌ)nexƫffhv0sUDwN?~^&T"Fx 6M< O(bQAfftd5$%"ZMĦ I>RXʸ!Ҋjlb0fEg^~ړk~es%)`(9īJ1_lˡ3rQTDu u=S Fݍ+yQ QlئX 91qmS:'n?pyX8/㩅J" :UIKX$5D K"̠~Q FPd&v KHZ%ԅP0{`A&iO@ɟK}v&ni&w5e*P^7k!$hwUȂ1ᎷEpM=06q(Z1`$ȫO@5`'+xF}|'"~";+,61.;X` F('mҥ `uFdDL(~h;_%,V .MY*&V5^twSi9H>$ǭ۳js+Ii$d՞n@Ԧ!yV ɭ0˭r8:qf{%ro>fdlbR_)i9Ko4R*d^)ڳj 2"%efEw4øn3q)Û|YҦJwAqM%vJY^fQd?Xqcc}]p6{{˄!OF3%Yf n"w{>vz,'m'9FHrkiꄏ IiuSC SݮJn7twkn"?-Kkr\\eՍ >xb7& G5&q ֢tfo`{7HY[KܶUN6Q; 74 ݆K1Nj_1=H&sjLj'>1S$ѭ'`g{\`ͻ%+fEaf!۷# {mSc>/KI 31gDߞ$T^lkq)YBpY-'I .ߏfՐJ@|";J*|;A<=G#;\<8<6d> 75pKߵmϲ*zT0rO :'6))-7*}%)?̰JqeEu.Y+\s%8wm_v0$wE.+=fkskܟīgкH[8wIӶï0L N:{>z>$H3H"Mb.MJwA8IrΖ}K8y&GBdQєJ'oƃȢfOŹ(qЩ*(G&nNh ׿rlgBqƆ.+AZȕ爃]ZZ-0_۰Bb#KUi[Wf }ۂJmʹ\TFfG-IJ6EC=x3#Syokֳ#`HWC *>׿t&r|Rp:iggKJ[|9kT-* O#U5T*.?1qt &0 Z1TbVs gn<9OͰ6%0E_hwž@"vヤ `Ν\Dzv6L00s s7=5}"\Zwm"2M竼; ?XkCJt_\m3*1/7ud$&5h=zgfKMe 7lDmPL YWR4lL:RrkprƗ'(p^ vq?-como9JÒ(^?v¾!ѣ3~ų=WUGs ͥ^v".ɟ5_Py:-7=$vxhƶ6t!GQ.Cbp {K>CU"# X?ʐߘh<*{A/41{>ش"72q|) 맖2 c=봌ʣn*/ >a2en!#@Ń5kfm.&3',K1%Os^$cɟ, [$Hvnͽq/A. #}{82Q|F;N颉Io{ 7ǁ;\DzÞ}ٵ7qx+$,W 4\ɹQ"sٞ_k%Ҋ7RkI;7v a-9Gu-I\SvlRGƄhN6"Lc_;z>f/ʔ5}xPh8ZH΋tu(>)ob0 Lz_ZV LCtWe2SW=[D܍d(2 F_"eţ^c۹<8E2s bKE1LUB9^=V]Wս Ѵvz \8v܃t.}|6W< y#(a^GT;* dL\BgZP6f:vm3gD3DOx{J=#>X=/FQK!n;*{>@2 _9dQҒ1h*y&[y Qıf&a\v f6ůa0%7p-&F9c|]+v$ʹzE7lFoyq-xwkh-6X=QRag&t ̑H:`Lw{!MYD1cl /ޫC}Į 9%oeB@&'/5OL"KFKLdlZ&mhC9<}t$T{쉄vދ)O=ħCl5,ʜ0~W[6b|MON R_>boșUm!+?n5t 8c^z,M㥟2)\:N,l*P U` I &vx7ZX7a"x}g?*8;hZIhZjȸ/t"ӛyuⅥSi2h 򧷾TKN{N BjʀF^N !R\^j>_>ܵ/`^h _1]9j4x,myۗ0kg6([2Gu_ebHnVde.Vs6/HXB0Jb6Wť/K⩜`B19TV\ףR=`[ 94+ʴUx #W6BTdl[+v;Px lX+e zxQk*iIAp#"jakv6[@t qa`?[rK`A ǫÞDm Xjw:k:+d6z `c.̐|c'*y cǗ$!%B;XLC!̥JB@Ov(.aplbQLP8qAۻ4b`KkUNK-HJllYjZP`ਘsOkHLVyl<,L I/guH@JU-r?y `»M>6IJ \an1Y锻)+2BI.5g10F+'va|Q)qu}1=,کǩ5Â`%7@z @ 7OTՠIul^{=P`Qv8Y(6\ #oJ=dk~Q\ چ+M mw@LQLIF_yb1%X,ͶĻV!_)=!xrZvZ9eJ>x2Rc3E>|3Toji 4J=*(H aAYN{/I+$d뼃(j*}'_ŠښWw@&2uNyo?^h>i4/ z6S$tp' #PP::+>1'r_7(Ҧ9I+6Gix#:F  7e1F"윏{t咀z\%hCJښ;?%]99¨Ϩ&ћz`+$8ifYQmWۛB;&ԏLa<^}h8<ˋwKP^k(rJR\\@#k7)AߐZ{Ob)]gP,%ݼ*@_Č`͆ 9VL>)zґxa9wce CD% w8Sߌ~+ĞKpHrP&pA%+M S4_6 -Pgy;@$BB"Xvgz[PblBfˑeb@:F:ӳLmz_!j}ߟL P 9Xe t ,K%|^]ৌSsd6SjW3/^u_ri#ת MFh`ѡY_ϐø$8@ G5Áq M ~= ^^ݵ:_НcQyÞ@L(yN]Ԟn1AbW]~KE{i%5L_ItОmW^Djh|%AR*w E 9d"$_.jϐtk{X{/"0LROj3ە#y¨^mkII0Hr՚QRRבbq{p'u eQZ@gŨ oJpɪWr(:e+Q޾Gaۍ

|i̅>\˩KB|)? gQr$7$@''fŊ.r5ycuXJ;G,od O {]夏FA@|)N8^4Hn. :#Myޓb8t4)Uzpj*eGfO0y_}E]'/Olv+ ϑ\zfޖh=Pmq&ߦV*bzm@IӆlyK[->QMaا) POfI-<%pB]:~JSƼ™FS'q931Y5/P՞|O { /JVbWU{P6mO`D`6#/jCFזN=d14d a"#kkT}MY|~|.G"( m 4@i ΁q;"#$9M\=\Q d||CAz2"zd\"NMVp׉,U .&LoS(?:T^-aЛOdxh?&<xtr