texlive-ebproof-9:svn57544-3.oe24090>    f$7 ;G|`u` w MD' ; ? d$ ( W       4T(8 9,:FGHIXY\]$^Tbdeflt u $v 4z I \ ` f  Ctexlive-ebproofsvn575443.oe2409 Formal 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.f ]dc-64g.compass-ciArtistic 2.0 and GPLv2 and GPLv2+ and LGPLv2+ and LPPL-1.3a and LPPL-1.3c and MIT and Public Domain and UCD and Utopiahttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJL{A큤A큤f"Q3f p`55f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb66e0c05b63f6003ad4119489a1df220ee8a9c29fcc44b9887996a855d921fc75rootrootrootrootrootrootrootroottexlive-split-h-2021-3.oe2409.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.18.2f@cdcY!@xu_ping <707078654@qq.com> - 9:2021-3misaka00251 - 9:2021-2misaka00251 - 9:2021-1- License compliance rectification. - Remove texlive-europecv and texlive-europecv-doc- texlive-exsheets no longer require tex(l3sort.sty)- Upgrade texlive version to 2021 - The following packages no longer exist: einfuehrung-doc, einfuehrung2-docdc-64g.compass-ci 1727275101202120219:svn57544-3.oe2409texlive-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 -grecord-gcc-switches -pipe -fstack-protector-strong -fgcc-compatible -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS --config /usr/lib/rpm/generic-hardened-clang.cfg -fasynchronous-unwind-tables -fstack-clash-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII textZEAPdJ?sutf-8f53abcbea7d5e979c9b5e88a1ac61ad3d426c4875c2227ec2687ac9a9b2dda8072023297273ad139356966fcc052e893e0df112eeb227caab11d6fdb64b92657?P7zXZ !#,()] b2u jӫ`(y0\,(&'-7NWkץ]4sAנsMu͚!ײ'l{u>a#3Z ?] * )u]ڌHNK Vv [A)653 o41V[rDZ0B BА৶;n1lEL⅝?N>c]F  w W'̕$wB9ښէ,(+{ Eӧm,!]s0$%R/tj@"^ߖ,& @f S 1n{|<Y"yEdto;)G:Y\h8!MYFP>y{ iwp|(( c\E>w@kKF<΂V^Ɣ%jȵNX.UQ22bQtEEtw[,^{Up5̄2|zQDL"poTWj(WDMaCmBEkɯI&'p܎xBK)~L -6I} giof٬ئ|NNX޽ QMė3w (>j˿Z˖>Hg }# &Q KɣV X nl\[8#r =I&W_Qh _n?͖Q2Iȶ ΫzsȮX&v{k,8#j) J3ļ6:\jc!w E&z%Ms'(D1ۇ<3UI}sDhNAV?gMxʼn+K=)V>p&AJZs&e)ZO@ɌΛh޹f8+^i7qj6ND!|( yEe`[0du/TOrQI'%_7[b 6ߊ1mI^5/DSK ?3 KXn#:_t 30"7΍*d(ߧ` ^Z# c׎R}r{;V^Pv 6y?,*Cc'譑S=b7gM9 g43 s9{e/7,+62`*[M8L&R#e$jl2_C,CWrxĩHPˀl=EuLc >\I(iEGH9NÎ>߬9R#+PQ`o^Y>ʄMO,^4,c'Yt՛gLOHep.|O#bg?\X0Ao麳)>(8YM|huM5G72K'Oe#@(zw{Z'r'j =Udz'k`T][C_ds|OCRt-/CFqrS"g#DE˨߆Gf90-wI5%[N|":*|L/ rVe1*OoM@ucӡgVUeHCC\WEV_@\)>oYx_ >9ӈnT ~mJe,ǶQڽ!'2Q ? kXh%wלlܽ;|XFlqW9 BKeTEwKbx DK2$9(r.r:'s<2K yZg.+ϸqq+29(7zLJ`FrE.pi?Fz[ lU1zAHT׶،ufPe))|!#6 m'Ă6.\ˎ6UYWIHT,r k:k̚;.GL<}MuS-$VUӒx Sn@FQ$:ɴÕFM{W69tXxĚȒdt+c MDrtԟoSU:ZK-5y݇$o.P%K-H<D}خ8xbأƩK g,q[~3X0> ˪ B:˖/8D&z4E#‚f(7ȩ2hw !5Ar )[p7MA3"H.-FZٷ*~4)5΍I#@Rlde{f z?>(_'e#/d1/F DsK+ܤƻ8~ne%,uJ>^^~"(Ӹ%݉"9N[7GD|󇠻 rH ?d.Oxr4'~.' ]ypAjGV27,jUKDneTwge&9 BnHi*0ןrir7P(1Y&Myg;!Y#YOHcm(l e[^)&?&֔!Н XH'PKSHl?\0ܷ'MK90Tfi$<-2>iH.9U؈h{fn<Q:n%C)l;VjREjǃG/?ڜo.uQQVj/G؄y$v"Dwׁpː&P>Zp-X?jEC#OiPaqR螜 ¼5Z!U0,r# A$wĸ$tkI$&-)<9CceSM@eEt/v`ݨhhYuE^MQozYsw0/k`H9~%%׏WVA-nR}8|&Zj`ưs1QHFU~y͗nטsfvF*VSG{41 w7 -̽:Q*!Niރ`aW.!U[ib)6؀g}?Ϸ(JI[ۉDVD? +^TRbU逢! sO(Mqedi~O(G @M̩WҬ/{T'q+?.y߽0<3k?+RѼlW&4lNL7fU-U7$vxu vrҒO.A):-;1ҾQt9a fnwO~iq$?RtˢgTQ#|Cn%g[Մ; 'f["..L1rz& 38;h&183p< -tφ2_fD H= Nҋ&w۵病/4QF-1O$v^'י"\mytif57bl q$9_V6m3LݤL +jǛ1N5q27񳧰5??L5_ħzq7EV6ߓ-`ślӯ +%Vz4U}"x1z?>s>g/lٖh)AprmD$rSe>ƫ992 >ݏ a"(&/è=^4k41 L~r C-S8 8gGgM>X<ЙD]iȉȮ)ǑS-_K4V3!ıb{9JOSN#vX |sG 2Bq xLyq^?uf[4L9~g1T5ִQsD-.6EZlZͿBGM?sQ ,z$8$-h$tg1!5uC /fB,1!j/E[; H$ÆXp^ C]<*Pe53qg6o#spȕ2Brі!cE;&ӱ P׵I=oW,t떩%T,@eQ +nl6A1҈1(_E]8j 7ݶކc>/Cojs 3x- -tZG:Ts]O:Lw ш'iJ1yW0(=nT,4B9DGb%GU AP#hoդRa`m xL8VXmKxB4KQoYpһRE# }[JU%4̆)(t}<[~e>ÜױK&.36L؅ ]#8mBφ |Lv.%?cR ע9bxG:N8n[$ x}TV b:pQjALj2j\PA#ͷ'74.N+c{V(4{8 }2]ϊ6 1ϳng$ݷ@B vVR'q7B)`oqA0|,>5Е`]I 9L\3u3/+@U)O.b9)\m,!|liy\}v%?S8+[$E XLԧ[}/ܬ[hg>rg~%x!(;XEOO\ƕ( WT*+]eC5,TVOHF;>iNHۃ P4r̙گO , ˱j6Glr? $N:tP+&lV %Un9Wy붬LwR?(IG)ӰDXRt\?|K:I{iJf]0cNDdKɐkb>evyɀ tLJ*{?`ru[zfK;ĥ$(| FTl@37SnZa.nE{3%=љ(b@+/qðio.9=P,:h9HGC.CNMV,#JW?(.G$%M` Nw%6D.z8{Qs at֫'UpbJ{P<\w 4gM8O(uu+p8``Y`>CDo-$aKSgdt,p ?Z^(8]J&Iz.KIQ>.J_ǚW\}+kg4^%Jd)eHA\*GC辭G9jF־b$ߴnN6Kr7-eKSUj*܋'1Tǒe/Pt`v{"Fa@˸I.\a|9P<89Ww$=qbU3ጣ軔/ t]~2*jkpz3:g耿ri Ki]~i8kУK_N,C!ӂz18QO+bO#[8PXp}hixA/C84l|G'` Q ;8W.,F] hÉx+n8(r繭' ZW%>&)u8Ԅ_j߀ qFF+:0PBPoݏ>9 &wS1wGhXHm~I;J!=?a+3MV 1o*+!`wLNw)aLTe˟=/%~W8T,N>_JC (P2Aglzc$ezWvHAbըEJ%d&giv5ZiRrΌtҶ K3W<_[#e743pSGxy f߼'DBGo%lƴD%tx7I:P)6V[Q[M2&O Y'ʤ0j&s*ZK qCŻyr`%c[]?UƐ; x"7Zʔ=YcgE3l(73{okMCo788OWJGA0B|ΐB^W 3J@RhI̊-_筷fnHP&)yLIRT?QVas&/s ^cã@Ll؋X-4@v +Xĵ<-4M5`K;n<f:e#fn7 $;6[YW[ms]IoU[<^ cX0^,u\53La59+ZudvELIa_f+]Bv| ?--r>W5&AQC9ϙR#Ga Tl8LrI|c,3 U^YL d=^tPllbD ẟS~r vb8d@Dn9K_&zb·>"6slV<ՖVKy70&[__!~EY8:̱T[cxnwtHDӡq'dg14Q;~I(qϹq[~rMZ> ]LѴZtCիr#ӁJ|I? MY!ZE "#h2$nqz:O:iݓ]p7<_w ]s_Tp@|ZsXsЮcTe;,+tJ RjvP=U-{t{o &t+f7,Khzf*x3ʜP[;V+nsvvm)8^Jfw6'U(]Y?ˆv;\ >RuW%5s1;}}w3E|ؒf|!} ;X'o7?5 y˳JH}ة4%f{7|B *)y $.řHɾ)z]HWg{x735JCY~^g*N {]Txf1]YXXl܌V0;+_cA[+W |0C#f+U(wJx, OLQ!k@k\2a5+ <5r}[r/1"3O\m_ R#Mrn#R!PM8xحyQ(DLܻ_+U