texlive-ebproof-9:svn57544-3.oe24090>    fJ ;G|`u`  i1]KϝEIMz <]~qe( M-FfE T*d3|L1z'+#3F͓j1s1]P 5"G1nk J12p|Nm3K`XMNj K )TpLB{^ذ3AEoz֑.ްterBE}D8q ]s! }|&"k ҽ#)E; ? d$ ( W       4T(8 9,:FGHIXY\]$^Tbdefltu v z 1 D H N  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.fdc-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`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 1726662643202120219: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 -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/generic-hardened-cc1 -fasynchronous-unwind-tables -fstack-clash-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII textlbE5IAutf-8728c3cec85a368372a954f495c721dd3e7e7f260d8261cdd118dc63940dd6a4139cd4614546cfedb40b9ff178f56ac34e10a5c75563a056df52dc58d4b39516f?P7zXZ !#,(+] b2u jӫ`(y0$ T$$1MlKo'tmU"8i-Úz?LpHw'cۓwOM|jys)]=Q,3> #ȥoP6*:=oYB B)h-{(XiI"GĿ~h3${C4f/eQ"aO hMʹV9^ch'$RL>_HwCPU$vٕǐB  XxA.AlRt@i!(k|W`n ;HHk+OiEΚ n "/^ e1u7YLD5s E)᠁t(($֓@MhYw/HI`1҄Y[:~0StXT2n5/Ql=t8-RPit} PiYlFi-$ƭs aٿW>JΪAT[{^R,燖0sWqm^.C}0 )cpn:oR5 g D(Xs\~Z& }+_OoaùY()ӉX֟]vB[UnPeD 18-,ja j?RyͧCXF0# A@k[, #*,E_3Fw҈Ejm0dz/VKYG%tb"iӤD}@V3%~XGATn=>.ʋv،E/k8MAªԊC鈮KNd}EU[ߒ3JjPe^6hF EC)FBԊ݅;ڇit^ E`q㤲>G*7FX@5hC>޾'fA yӛ[|ޑ)+*g(T2 dnTzDde;3ty/_ԚkaIz3QePϋtct!,iE4kƳ,R-STB|/qSjf7e_d+%= w^d-^j Y>L^)~"cf^S{3{ԧAJ{J_K$6#{ܭ/O }~;ھ<.  -U %0]t=eѝnf@i@58 j8 FnsX.R02 ӟvWxi"%@`x>Vp0K GMc`_H±~g_49c;QArͥU̔Go`9 h"~!hu$&j&ab9!.xZ]V+MLfp Aɛ5e8jʫUy|"[VX®{׋1"A3U_\^$uR<Ҡ6 =""!1>[f R4:YjN 0w)AsfCwg+Ւ]v|&/Eb֎4vvnYA@s#T B+:76,8 oFI P/O|Oh"Y5jj4Sp՚SR+wf+vqE+ccĚ Ib(eXTх9\5rt5Hsiŧhز}iZ> p "3 :ٸ drUM.wIQPoO>_C=V@ ]Q*9h Ig6 8}#8)2qCeک1u֏|OcJ+">Za 2Tb{gޙEr=>~/dF{r꿫2-8 حo.m/P!3O'Pڪ%b+{OaD2^ٿIˬyd^'G>y`dx2,?@} ,?߳u Tv"Fv0aT6,9CŊ+V'oanڤ@zk^;e./ DP DuUةQJ) Xuluؗ7T˶فRf&Qc6dS5>Se4^O1(%ask(cMu܄xzih>z8G]oX\H3D*TF hP1ɞc{,3iɵj ;%ra%r9 5c-Ek$kj˔^^W|@zH@q G:ʰV ۑa[}=/?/2` S1ps8uum}x *\݀gq)|`kɤn,@_/"lw_$fY[Ҭb#ˑA"NXciP7–L1I}ڲN >0&Р i ;߸4Vb_ՌFHc8ϝi^ضnL*mM-d=p>1ne3VQܴ @Qu,Z;T|)0 ہFLTv:4Vp&M(ǵL0H57MNoi ge!gM_'xW&B4i})f!}44?ҜDl8ѭQw>9O_ߎ=sxřĮ<DU/=YYcy L˖OW r*@sgu){'ÙQߩ=%:L>sx3\T0Jw/Vd|z_1)b'aUUdB1&{>ʸn!YS 6y*6{uҠɚ";(1e<ǹϙQ[-$Xj؁)mKU40I'(\OCS&ү߁iWVNS% ToHr.HGvX~AЊ/*n̒HU htQ#?cO51c|w,$[:fK啡qtΣ7"d:LG\t+(ByYPiM+%CwSmMll{Khs PX x8:bG%"tW8ZNB֫#ۜ S"b+ƈ]VbD\CCp׶Hdkg3Y Ic3KHrU=1.eCHr?20Ŷ$2SSRޯru'H!̽)d48avIMAoD}e3,emB}U_v0,iw7=}.SӸRnO`!#-{ >\d.%rM"ca\W=0< WL?7r wM"hdٽvc G &}҃Asߍ4g{5 N{HS6y@h0c'MM]#:V9 4x\'-12Bk&Z1.`$w>t;t&-"ԧtzIT A覿(A$`+bD)f*DWsg t?PEEHOiB`qZYYfNZr켯qQ dڧ+GW*%̏Scn&-86»Dwm2Lq=nG@{ס.ۡp):!y7%q55^降4l r;%[oK|;\! jIH׷ĸ'շ|"]aT6SH PDT9q*c5DޏRMV*ׁqx˾zhV%. ԟz,UɺCYy|zuj&;X@i R2(%?x| fOG,FF2R(XB3w?oYyBzaՎjob@SxTVbY<۳s7%$߹y[dvbڍu65ٱq |^UdNn4k0 }qk D4&DpNpZn<csU QG﹀9knY|UII;=j;Y8v#R.(ɇ%ԅtUuagrR^*ŭ<J|UY_d\)W"n`k72E/Kk{z"quуASޓNJD* QoѩQIKdw_wƙ73PF)bXn#2 CQYox =_*Ύmc nKzb'q€4z~4J6zq[(nAXǎqL2\~Bq(PǗ0=/3fl`:,aݏ_ 7iŸlq4H% ]=òȄ\4>C;::n J6@5-̼H&%"7{~ ӟ,'0Dy=+W©{+RF/~.uO gŠq5{٦귮f_͸8aMU2w"-AEyKoEJDؑ6'uM Ww#ٿΫnIhsqAyQRvJ<0`asFW$Q"Ity~͹B%IK[ΔzEמ].(P|[H_fr\Vw$f?0ڷd &5 HuJWF`DE(\cB隧Ϧb1̒woy!/PpI,O۽00"li3dg:4暕idތRW.]6+Ru|JJin1FH~D!xN"89gNH>T'NG1QR <khe&N8響Xr uOOmQAIH9}.L*H͵Y}E!͏nJ&s!aV"geU+wO>Ưn2+Om6.oOX"kOL4]o#Xe#J([glbxr~&ѭi7@/\ ׈hG?[VN;A#M@3Er$cC@FZ!_b܍q  sV :)c_4bfN#[(9QDkk=./^!dT- ?͗lXo_)N(]I!:R/*2n4Rqi~1záu]:>T+3zx>*t@%zJ^Ubmri9MY&7tɄ,J5*")DJ+S1 gq\ƝRҎ)bj6M@)`]0O+~?68q kr>KtEITt alpydD:ܔj\LŔ3Fqn"E ~d$9FTl@V4 \uV:m-ōK9QoP YZ