texlive-mathpartir-8:svn39864-24.oe2203 >  A bBBK$fW/+_ □Ub[p0KklV ށ@iyǑTO)>p> ? d( , n&- BNflt    ( ,<Pd(89:wFG$H4IDXHYT\t]^bTc ?d e f l t u v z  $ ( . p tCtexlive-mathpartirsvn3986424.oe2203Typesetting 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.b<oerv-obs-worker-02~openEuler:22.03 / openEuler_2203http://openeuler.orgGPLv2+http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchF8AA큤A큤b@9Q3b - 8:2018-24Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- split texlive- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initoerv-obs-worker-02 1654537217201820188:svn39864-24.oe2203texlive-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:22.03/openEuler_2203/afe908cd0d939f6b7ef12f10d0df0bbc-texlive-split-ocpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII texthny'(Rq% utf-862b16485d7963221ff147c9fda267d1c5647a814093ccb955940f2ad4e6354f12d7a5c976667b8929d889889790d3cb15e0c6532ecbc9ef7b2352bd272955938? 7zXZ !#,)] b2u jӫ`(y-6i(>".%w24#|_[\ƍY1H{\"xKXM}V }|Q&O18Eoil4;9}52qH9w/'ñbu5@S!!YuTf>֖+o+ϖnQP2e28I#uŝVyG)w!G$}@MY)c7TŞ+^§U^ml |:E3)4/ąϿg ˨ֈM.\I 7y#Q`);ZL 2e<yUKS4c=;b9np30wFAZkOQ'Z=|-P2LCd5}Gk*WJrSŜPAm;L|#,V PWGQyȠb^ۢP{>| ~2Aؿ=]4ݡOgA 0rvU~P/hs{;A0Ѡ'$%NS_hm&#5:JId9KAn.򡟴6x'W],hsB ʼ*N>yVIj[t?`cpK<8ztz/iE߂Xj#FQ`ʇ# l>T~#\zY+HGe0.5\Z(v 7I Е K~o?Fm-P}Xf6Nj5~rHY_鍇טV*zE?78_5R1+,(1tt0\*C #@}}u)^81< TZRpѱFk*%ǂfok6Lw-noe6c #S(KcKg ăkP:L B[ -6&M}Z;^q c 7)?ֽevUgצVo@ĴjXP &/ھJVnAhU]*RzS{mϐpy*Ie5UofndF(ӰU\Ϙ-aɂԜ9+{f>Xux2BZD2ڙ&N{};8nc!! Ek?GRnP۵^ I(ГD'LQ\xUsӈ /٘i).R+QF&nѽ >I2Va qq#<xO1ܠ`bp$7M*Cq1K$XதUh7LZR֯8޾$!~"jP]LNݰ ܙJ`;=,WfJXgR>1sʉ":l*(~2iSE*`*|ED,W5@5u*])JǮ%0l>cmY n4̩)&DJ?-N0B ca{"r}{ %"ѸŗMV4=aڽ3:Ưs%4{%lWZ0ǣe̊:6%hL1GUmvR;o>,OxUK١]+g=k%Lݜ4v(\Aˇaq嬾cCjҧ,9XU;伵.:̈́嬌$jE ךLth~M1Ac) *9$M(?P%<wIdߖkhx"#wakauj #7Kֲ^ڄá=v!c2Q,ttX|>(ew e!_79G%,?碤#\O)=L#rCJ`QaFoly=yeڅ!^̰dei,&Y:;=a4]cYeZG1H[?t!WsS,?a1h~w&b! zs|t3ϽY?sc;LaÂ$_AG 9^kjW D4B`xx`Xۛw%yB*zZu+)1;}'D=ٓC[?ymEQ]go6ueŇ:E nP r#v-nZ̢&b+W7QvUcؘ3<)B%C֍ 8ZɼHw,"EU]nfÎ:{9Ơȣ~`J_t#;H ډ2fQ9;󐺍(ǯ)WJ6A=Gv1 nJ \Zxo~ !bҪZ,6;OߒZ;N@t "7<*iUq Xgrl(yîRއY4 Stlg~z0`є"P:-(l)4ػuАOC?`%G$H{x9UbuQUrwnL(BdbW]TItdX%rwݔ%#z@㙸uhřw[g3P)/?7~ ȶH~˱ZiO,|t !W5|7ݗ@~l} Lc~DŽ~Q}Èʫωݞ6Vid\H!Z$I71 lvqmMQ1 v=['[TQF6b91OPʖ{6RN? j5W_r iy+2f;D/l8g$`U2+Ɗ]zL}d)m? wsn5 ˏKqgk%ν)<(:}Cw?9c((}N=nvK'(JrRPn`bƁjva yl?{S C@*9\Tq+IHA\YZeh/o80c4̴XLkyJ0pF. ]/Ei}]q /H  Qtr"rq'fgX  /=aVz3< ZQ FPzdO7193$&%̫UqKX9\{6>lT0݊LQ(Dex{:}}9KVNT3Q3>bJ'4`$?ø."oC!tF7g3V xan'!%@Fu +N?$C/lp#QYD ZDCs f 08 .>ૹ͗!IY0PZn<؍vvЋ^ʴMr.E5o^1K#D.ՠ,P2vO !|-Qy0YQvu ; ʣg 30nA 것p\d~5ҿL/n1" ƿm#e>oURNTyhzjEXDJ)c.$[Qf8A} YTۯo+-tJ1UKnSM)ޭJ\=0#}C^W}ag8d5?Sz'fDžc)Ť+_QBuDI} @udiJ0F|YyOˠgOtO\]ĶC.ҫܽ-שt=kS.p ,׊ZXVKL63"\~⯇ eāE>䄓P{|G4ԯkoi`S+"׳uҪƛ,b@]Vϳ] 4?Z҄VnK)6XIEN "׫-p˙eٕSSz6suJWل)fUN.CPdVZ㺂 .s -CA6ٚe7ApzA"Z_H2`:q`(FLNDQg4B5Ad2\aE3cʟmy8DGj9TVT~{!ԛ`*|H %|OG"_7vsqQSϹgz]nIBLqf8#g߂<  HN* 39T4Iĩs2Fn!XdT)Xw|U􆱙!(RY|_rs@}YLI_kڼMrM709#Nu\K!|sabLjLׂW ɩ*p U]Hh_W_&un;.k@(;,pr$ QXDH¨* ٫ MyS\=I/j9"D(4"(_lԝ-"56DeKÖE7fi-v"Cp]j >}L~ƦTTV4 z`z@A,/D ="hbS+MviR#8,;4e A9] NnW[O2i7#H̓WW^H"2I wk`$V [q $Ϫ 'Hzނ0l6r?3 vVPI>RF3w:V"%f*hl 7^r=8Q= fxʢT`0.q:zB?Ϛˆd>|-#gxr}2Y0k/Om(DyHe6 LjFrkgY:F?Eҁ 2ߗlpe2}26 =pDF,+0&:' d1a5S06C޷ZI!ߜY A42Fo੖8eEjЀ퐆#'.7hoPrjZPCv͟G4AЉ;HFyaJj&@sY|oIHF? M@Z /닄0QGǴ%Ӻ"BPvl,mɩe5_jS|-u]-@.ssX!~㠚C_WM[iK͔Z'NL:Ũ!;2c]?~"CCI_)Y9K2O{׋K5TO6&)L}Y¾;eD3Co[_YH܆SZ07'jq ynz% F$ܧ;&"'{@o{{=iVIH+9j=c_:xͫ1OHeao"vZz5+pX3NvAYyqHȂ >9oqQ  w隘:Nse> ev3Ԯ0kZx%V{_Hp |T[|qČhsVf 'G NNl|br3qu{u;Hv+ʆзs5 X P) @OaϒQ( (,S-(4G(8]Z`+/_D׵®cK<3(y9X N#'`Zif0r^zGJSJGF8FSLu#iȫ6pՂ \W2N~g=kY{!̝EDS=Û=9 z>GzS/ b~mLg 54'^`G<4;2Z*#ޗ[FjC83p7u6M۲n&*&%OD/T/9-@fQ3!${8īᴌ D-La}*q)edA68/ >=L|~]/2HXNeCRS`>8m-h@M1ƿSȼHnh[$B3 G(ZN\"h6_ Ц)̡g&At 0@.Dߖ L^۾ּVsg~Fſzܹ0Vr9aC^Atp"ݮa32I*Y#I`i!v. !,w,]f }nYzHYő ⰂDX$8z4[*`\E"^Ž.mtl>,'e3r~r%.1_n&6q |?aY$"&BYAkiJ }}  =7EU JS3UNvT>!Ӭ+VPzqhU