texlive-lkproof-9:svn20021.3.1-3.oe24090>    fk ;G|`u` uw XAn``,e3-Ц4bh<u*Sǔ.$\3>װN->X6R_nM2MT:E|- DtM_ ;4S0{r ]j[LkʗR|$2s?=-?QsW|:4>$͖̱$K_&OJD64"i E/͙Y:aWK yTlԙ `5DG1鮺nno=y+o-u;<=6|XS2 2IT4c$N\=JGe%5 I.yv-NE|9a0b4e885a6eb8b07c5fff4bbd925307a6c0003e021f1fa23a12606e5401f60a733d1240168a4985305610c69478ec51092a3955'4UcSr3{! ym3R>;E?5d( , C  ( 0 8 H  0@l(98@9L:FGHIXY(\L]\^bde!f$l&tDuTvdzCtexlive-lkproofsvn20021.3.13.oe2409 LK Proof figure macrosThe package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.fdc-64g.compass-ciMGPL+http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch1XGA큤A큤f(Q2fE-2d77d235e41d54594865151f4751e835c5a82322b0e87ace266567c3391a4b912adef3991c936612960c35e86f23897c458a7940ed09783ab71153338ac05971drootrootrootrootrootrootrootroottexlive-split-n-2021-3.oe2409.src.rpmtex(proof.sty)tex-lkprooftexlive-lkproof    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)tex-kpathseatexlive-basetexlive-kpathsea-bin3.0.4-14.6.0-14.0-15.2-14.18.2f@cdcY!@yaoxin - 9:2021-3misaka00251 - 9:2021-2misaka00251 - 9:2021-1- License compliance rectification- texlive-luatodonotes doesn't require tex(luatex.sty) anymore- Upgrade texlive version to 2021 - The following packages no longer exist: latex-bib-ex-doc, latex-bib2-ex.doc, - latex-referenz, latex-tabellen, latex-tds, ltxindexdc-64g.compass-ci 1726655463202120219:svn20021.3.1-3.oe2409texlive-lkproofgpl.txtlkproofproof.sty/usr/share/licenses//usr/share/licenses/texlive-lkproof//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/lkproof/-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection cpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text7{Jutf-838c35e1c592389348cf2230edd90fc757d77c96421800be33fab16d53ec9dad6b09e501b620d858c74ec6153567fc3d3c41724c452f6f3c4d05ba6b325c7d108?P7zXZ !#,Ph] b2u jӫ`(y0$/ Ƚ{)9.CNe4gI yA=qƞ@S!vb-FD cL=+׀[%JosOdd WtU P,˖xq,z{ a}"*(/f(T_?@3aOWY& @F3 s 9AȾoRLA N;זa2)\- I嘾!׾!o>4 H19S|I'cU}]uI6z%Ҷ6jUed|/Y>͠eW\\^Ϟ÷,FJǛIGİj7r1bP"-L)ѽ.#smrjS[e+K#c_T tFGZw3T0洄ATD_hO-K.Mna:î26q!Gu y PԐ7V(SF&"?w\ jy͂{]wU\4b^a M CnR@5 78.!.4pLg:*;~|7@OG"܎}2 ڍЙW,)C,pYZ;w~{5/q 9vd7s o4.@sָH*}59 _./S)fvT@FӪ)jO!J~. K!.ɼQIb*0, w z-v_ĥ[O3(CRt˶ f]YnDJr ]r۲|NJ)k|h<עÍ;,( 7`?rKH,gj7rnD~5vSyrS* /kA'=`$B֋}f6j! n7ZJ߀rF}w4%qE\BW/;U1T9qU2 VYp1#Iws8]Q|j,؇u'%t0`f m[bjD oTN F&o>qa |92ٚnKE\H?1P(u6((NbJ7U8K qgBN.-MR fvhBQ&}lNsVQ s%R)GsȠ ^/L2)ή ZH|`K`-5u,i:d坠ў$Jz{q"3K@g!8nTQؠ֎p:/3Z+W]Pr/x/R!J7XO43U s{dp`[ٌaʉ1p}&X pFџ@ƀ'fQ J0LZEUH<\/ԅ"~.5fjlIdMQaߐ'؟+NyGpۺPMfPLqCσtdn9WEq~ W֒?޵;ŶSۺ^˿Zn*fI]hƋ .' ,3ԼK' Y6ҟ2ԡ?>z.iBIUY,4KA lQvʫeIibe ;@zUOPG 0տϗ a%7fʢ9x`'qYsەc&pfoUjc\p$=:*CIĔIn#/-?$ CV9 [6U(<a>,|d3"5+{2׀C~F8).*}) 67QM.ZB|Z8r:ؔ,Wބ/| C3< u'GBH\2ya^ݝM4Nx xd+HZ*PCW!Yg{(l v;.7,oSRq9ӝ;`PhN[y`Mߓ]8ʗ;-zU9:1} `! ʓ%3t F6*?}2o_9L~Ma=hCA.V>fJ? &OG?:JQ$- gӎ/0YdV&@w&0D@PȰ`^{OS!7.Q%WlT3f4j?E0Z9teUtuЪxQF$}Uŏ8~.Lq!TݬSMlדmܱ(e!.9u }0I|pmiL$[;!\< t0 :(+R q?!L&/ Bf2{ӏd3 k1~ D95"[JJxX#l:6iW8t]k9g~t,կhKuĴ1]H/ϩ@8ElB[4v\}}T6*Ot3[dCfϠ8Cq Mh!G{Raxx.ItK%,?_TsVuVG q usrem`neϝaPcbBbw/mMH f*Yτ+\ejlSwQ:&9C6rϒYAFG?EJ=LN+*(hdll?aJ@"DRwˁVoDَ-̏b80ɦHc/HgP:eμZqD# koܿ.;u'[4@g6$.'BHgj.rtr%,^z qA@`ҀBLr$~aڥAڥU4 w;_;ಳ)@{Lb%z$ro^@cl<7sC$3уey`65_ Mb8xY:Tx&$L[o>qwmm}myrlhX~,)P͚bn{bfY*HQ E*16q1tv|YeUI,ha&|QT '!$Ϝ4([F!M#X`loOyWuKhA*Mj/T3 vW| AbBW+hXY;`+U>\fثU?qo:bqQ.*<:d '2in)\$  N_0OiW@]^Y`nu' mSxU f:v]Ÿh6u*uAwm6;C/X{%rCMImNeNX3IL/fTXXc0kԙOgaOoV@ V!d|d(uW3Br84,r*Z>5Γzp+(/XYH0wZ~D#} 5//R.OOY3q=q0ye^X_&k奣+' qDvL?#2<E'c\:_aU_hXp3aWa"7hV*]:?ݯF87;"[bCa9C5A *HZ\BĦ?L?gR |-Χ8a8hǁ@iYlm=G