texlive-ebproof-8:svn44392-24.oe2203sp2>  <@PT@7!.ܶujG7odqopeneuler@compass-ci.com G7o~ )|s:kUqHv Npy+Ơy/]l0cĀB2,~p4x |QD7(}AH?b)̀w+@,)4;c fveTvvEcA#<*7G[o I+Jq,V!hfjERmITK&w9.gKPv,`5E v N4i'7iM&\HV,+Pp'W~W|צ*+dnK,aM3>5ot넦NOGr*gpF(E %w"; m? ]d( , [ ) >Jbhp    $ (8L`(89:FG4HDITXXYd\]^b\d\eafdlftuvz  Ctexlive-ebproofsvn4439224.oe2203sp2Formal proofs in the style of sequent calculusThis package provides commands to typeset proof trees in the style of sequent calculus and related systems. The commands allow for writing inferences with any number of premises and alignment of successive formulas on an arbitrary point. Various options allow complete control over spacing, styles of inference rules, placement of labels, etc. The package requires pgfkeys (from the PGF/TikZ bundle) for the option system.dqdc-64g.compass-ciULPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ\A큤A큤dq Q3dqY5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb39675263e81a1a21f3bf25d92da2b48148b13ae7b9be30e2df474bfcf601c882rootrootrootrootrootrootrootroottexlive-split-h-2018-24.oe2203sp2.src.rpmtex(ebproof.sty)tex-ebprooftexlive-ebproof    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)tex(pgfkeys.sty)tex-kpathseatexlive-basetexlive-kpathsea-bin3.0.4-14.6.0-14.0-15.2-14.17.0`_[f^$D]maminjie - 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 initdc-64g.compass-ci 1685176562201820188:svn44392-24.oe2203sp2texlive-ebprooflppl1.3.txtebproofebproof.sty/usr/share/licenses//usr/share/licenses/texlive-ebproof//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/ebproof/-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 cpioxz2noarch-openEuler-linux-gnudirectoryASCII text{GGCGBOutf-8e8f4cad36c6add843925dc6c37a576889fc87c8f0e360dca2cd5a99349fcbb28ca7e86f55cc3f824a03ebfa3f4e3d400926979c20e279d11af8ba0599fd8fa85?P7zXZ !#,S/] b2u jӫ`(y/+[<`=_%Z.>J]+񖞌Hnl*|A hpb.":*?>Ѡ/5оɥRs~ħ2qvz݈70NT;>6kp.@k\^?'<S(A;`vMT]憾LfShZVX,H^:glG%5kjS5A>< 3yڸ4Fo%CvÆD JW.[}ן)8LWV &w؏\|~zE!>xw4u AJh4>{ЪLjA蔘xsyQ8AvN $9xU %P;Tp𹅥ue e9T{(ɉI>;*ҖB v JsB(De)~#$S M?xٚ\3B=Q?{Nrd*BVs{˫KnxL?=A{uP#* ՊS n0ffX ȭMl0sg?F=>rx$c lJr .b5zjV"=&u`* %pY. * =zkmP̆%}lwyyt9mءIKp+ .KbVn3+Ԇ>׭ʌK ͖F۫ǔ+bLߵ^_F<*>u)]qaRF x0t_nlESVz&@%5.qW-O(=erێp"TǗH=yiP8YVJ1ĐSGwqx rw߆bmrs+:w[rK(nW+`6zO^FxY'/D)^qFpukꙻ$_& s SWyVMC[HP>BGʉ=~_I6M!tWz#49evH^Ġf>] w?du~ߔK$*<>we>0 ' SYn nI$̦gGG^<r`dLYr>h\w_>.X6JU4 (B.t!h& t&WEp8çxX;Mz *0RDl2q_%EDGSpeq)[uV-򺒈=Uև V3fC!_7d4|iC,WvȱX an>{BU ݩb)7B/44LN硈Z#m洩޷b0$"6jcZUiF d;=@Ez+tݝՂ}ˆbe~hJ;NW, !v?6.HlJ@GXì Z['9C$ 0=~g%ůE~LMUsS>MDDv89qU.wa6D`PuNtP[GGְJ > Mj ڏZnR ){G;A4IjьۗRߎf-Lry[K0(ʇR L![\*U"z$c\g3X'Go5v[{avdEC)q}vC隔 B {{4Pg'i`u(q@2!ve 4􉗁>:THa! ˾zf8[qf%a ^U׏Q@qc_X`5@(jZ7t#4@ {|?SVe0Pp#\Q~;D| *FZ=%Э 1ēK4L0Tus=22q8o_䞏bn(S 3AU Hoyxw@<.+˱ x}WA JfLgx߬|^ *[!eV ۻIb<7g/Ɗy6g2cÿF'[;S*a0Wfܪ<; ۈD@#!i~K% J RjAAB&:Oc"W뉏#)+r-nb}tN$3V˿' yc&:${9Feh2BCKTH _Â=7Â,F #dqNa ?M3t i#τ^uTvAj-jv9]E@cօ+'QFV`̪%Ȣ 㪢;NNUf6u{S)4= ma%.o5GrNkTmlTJf fx?@MNCm%g>]@׀?K6 Q r#^c4Z!nH/ 3.jd+I3}yǕ\(S`,#R+e'T-tqD1&Ո0UR4AkfÆ  -&Vg\N*e 2Y,tn_v&;oI{լ al׻%'97ktuʆnJG$rMۗDn@@;9}XnTUO CV/'}Z@`ritaㇲՉ{-g˺A0Ʊ.vN$%h"1yp؊*RJ=x w&7?xKW91!jeA1:0Q[b#{)6p?!8)y\X1X1$g#eGIHDvL6a\Jd>k(j |D)K`BV@k;AIn]c4 y6(`2|*[(19NcTGԠy6~썦BFTCyoz1aǒKxI%R`D(OsFqx 3llgw}}C4\Sa`f@ ǢZU[;+2zTSX$kXGddBg=QG"ϺZ0(V0 8nk}CI֎7b2SVfmil!gyM+3䥄S3BCEښ{5p5"lzC_ Ȱ=P| Z#l(|w9 *>sG[9NS@ ԨцߥTH0hNIOHf~«A. ( [J`%sxx5VO9G:yרA6̓# ca!Kڰ"L) |j<A*b>E̎e@[b3Ej<96+): ,u :\[ d`zh+͸Nd=Iig<JM/ nQFmN)R,g}` kL)T 5_sSx<@K4fF?fdf|猔f(p,~zlHdY>ps  p.0 .FwTѓzH EeiO7 ]y|a猚 caȄZ I+QmOCHXOzXDQΝ0Bu=dEdun8],=yǭr.S=8 7Z>SIKFo  r-wGQnlj뭒cQQ5YfHً:mY^\+ XnMqKe:b evgɤf\pO6eݓSn } [$f=V6𝆠;r)I,δ'%l }=|WIja&3;)D5_yI7Wf#\aglqwoƇ osK*%fݶO>Iy 0Qi@ˬe=*IYڔ 9cA}0PIks]V4[̃Nry%#!!\.W(em 0,$.?K8+߆c{MZV }.ob+CC@h`!qܕmXo\b )h9*쁞Fb [@%4IcLжAnoBzOZ3EԿDSj h4b/"_ M DZꁺ=H ̻K6`V6Ȯ2ȬTdB3kL$ "+0o,W7p1sѥ^'|f?U L[hd{5W7 wuq 5V>v M7-Bݢ|eE)GK1]85ahjLDi G ~[}vhGX#/N26`Hn{6?Lɜۇ Y&$Vg339"k!G=>ec!@܂P7MᰆЬ|a)xܒD,߫4SnDl-6U>4zL06 0KUAuᖵVpÙ8p<@#pvvINj@M5oSӥ&aϿ4GT:VYnf53 L\G-<(2*~j ikYmO5BǍY{ _-E1 c۱ДyHx}z/v0kYDsq̳{c@KƖU}K[]g)i0.[A{]_&>ny0[cblfEqX-Ft.n1Ua  y)pԌ$&Γ+fQ CK !&LzX.j %LE{S֑#=ONacuY.g62nimv;Dt#h\wX%i$k]Wn&So (Ƀ#5Nz:& S>.B6L}>&KBQo0:?۰?@xCLZ| kmVNT ͊VZPPfLdAͫ}hW! -P1G+s1sE]i WA7el~hdT= 3gzTYe3*i:aUs c*܃g w^Lv Qdokwxg >QbX?e|QQ ieKCkZy}&LHNZ(!lD7vvh?6C$4<@]b :j ]A²2\2 l@󧖬uza,ԩBm(hԀ4G E=;w(v Z' By<ߡ3F 0OG<1f\u|h$-Yuk7Иa~o.{TџDrSF7S9P҈_<+"A,oY0;{_Ӎ=nY-tCdY 6s+^K:^kJ&*0[G"NJ$*)ߴP\ 2`Ds{WRpvwFjTQٱI:k1U\x)=;>3_w]1(퇎@ZҩhY~_ Dm+Xs/n|6sMt|_?Y@+MTx)d% L\:b݄>y@a-7֏T }I_XT嚝 ~BDRD+~ڽT- yquD]uJ LDGA)Ʊ^C;/z*YrSՏ#+X7gٌ-zw<8FnV S'zH/>ֆmJdr bfu$Etj)¤?#U?F"5+VL#B=U4CW Yr(F|R]pR kۉ>}=Uhh(&B .CY([ֲBjSHnǗ#uL"*^6΁w];k‡EeS9X*rM|*I $dͭe̹1 ) Pþڥ)IWbO!BmZz\c^bd`2OX1n -d Ǯ@2p"掷3/Uz1wmNv]ElՇ???vC'.#Yo Ojԋ7Р"?;bae>C?w(vR#>5Kq: 蹥IHkb!~)O%~Իi6zE@{Gy7 A.?Iԟ!0RDn4Fij·{JwI Q=hD) ZXOFhd% U^h)cH0&kh,6FCs;YABAVXQd4{NɃ,WyQ4ى#[0Saed&p1i.ev[p45QR}>?ִ ԟgwA]-/Pt FrfB4A8:fLW"@V}lz5$=mk箕aQ -#~ рLՖbt`TI&uH8B}bRBwFC lē}v[_Y8VDIo)@ YR_X+hQ% ;ٴ&r ;@,ܯ>sIJ}`yd*n.Sl؅4 `o+Cb2h1ޔ-&FO=*6р-G3QĹ:DxpF BIJI!/uK'᥇V%͗?8R@n6(/F{bd)P)aԳ*c.tBULB-aO58@&;6G }Ou;Z5v6R1q?k11nBJML͠PNhgfTUe, @bg:LWIӾ09}$O"պ#`&SH6w;h*-* "rku} Ў$̛e*W1|b=#=#C1و{jyVEҁ+FLgRqۿi7T1+t™F,mU󁔀(LV y1bhRVp}GٚaGi'R7;?`N'Ijo@[F ޗMgn}QĂ,ZbJڠYQV&{I2rOfj}CoC+ ~bm݀5T]4X;J^CZ;脯CDLz&3nQwH͈cN`0OFYb֣L10م0&+8De{4I oN5d^ YĞT/up:_WYfR'Am&TR[m \6[J\^$,T;׾i\y,BPBHݾc@}Qya 1c( sFvޞ~ B6\6(;|iAmL1cH2clɲG*P̸2RyRIsͦIc)&m]Ɲ5& QVӹp134tJ}O/08Q{J͓|JT.GAx!o}#Aѡp O~ҽC4/j))u5s;u=6[VJAk"|3^k'H2eDF ~ö>OSY]T]j|0#]4ӸD|PX{@Gsb;Ȯ͓Z;Hb萬0L @Kt;#- &2w>iٚ9aɡQO-[&xS. nŴw)OE=>h2:\pbOA#2Ub&[, `0;SOڻТZ!pDtJigy7q6䡢hPDlo_~\$>iy'Y`h YZ