texlive-lkproof-9:svn20021.3.1-3.oe24090>    f ;G|`u` + {[0p ed AuT y~"4~fTy,^"44na띚C8X,y[>;-?d( , C  ( 0 8 H  0@l(98@9L:FGHIXY(\L]\^bde flt,u<vLz|Ctexlive-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.f/dc-64g.compass-ciMGPL+http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch1XGA큤A큤fqQ2f6E-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 1726662959202120219: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 -fasynchronous-unwind-tables -fstack-clash-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text\Gu uutf-8598ff75aee5ec2cb56f5ada78e6048cdc9524cf223a2fe7e94d39f17486eb045a1dd7da12ef7e4bb8a7552e701024db4f53fd71408e0e9a5b679f6269d914a3c?P7zXZ !#,Pj] b2u jӫ`(y0$ wS qӯ_:p-~fc凴⃿MVzy{[2+|]<3 *V;ZO^Xaj= %[֒oN餔s}#kSXS;ĉFtp]Dd(Anp,E "ULlj@γFݻT;Io*`4Wu84̀NSn;rewkYW=(\ij1ShL!Tw/k\Y*؃\yP؂<+l捃DIzYK;vYwy!eKNCdoR?Mu¼Jmױ\Z2Qd!/ .~ feuJ Ƕ* ;Z9[v<.&PR;wN O.>qgZ"RU8ŦsH nAv6ŭ?kqIU'qZL4jL[?w/𪈬Qyʝ÷R8]l U/o TjwW{aX8,>y0D/^E _D6)YbVM{c_#q {scWci%^iP@Bҳ!v9J4G?e7O?1bќWGT9s)`&k:Ƴ,b.}{n]#80%ݾf9?I['o_zR _Q^+8Q x]{4Z=9`9DfEbFJЩt%є~ZnSӲ4D.m-~pX3p7hRُ}VfXw1ǟo1@B)$}K+Fe`XɍqMm{\VYϊh$h9iXL?SRږUir)R Тk:B RhjWʝ:m"V[=Μ=ؔ>Ev`6jF|fB ҿaB-Ϯ{?*Ue\ A`y9X}8u #GηGxpԭ/pL'$;V~v:(gcsN/@hĺ 78u7>NVj D:~6 ̣6Q<.x&&}6,*΂u^F:" :nuƅ|lG'Īך=R (B]m4jo$7RylK}nU!f;Weӝ_L;|^ JnGjkpp0V[$WjU׼U$_exJv [S.o #77YY@E@P_ g_=,]C!B1)PTY0Ďiԃ" {㸽fag=}GcTJOBx&-2J dJ_7N ovD?U-ߗ EfD G\B ]LhN`'fxC:$_ٹ)kc؀Ӓ6TdZGNX&kiN8ʕ;/dqĐ۷FGM>殞:߼9bq[N8$g^XE%#n?2ey??5LC_~\ t)Y0R ~4m]b˒@?\|*g50o >Ʊ ϖ4RQHo#^9in7Ts1lXI29sKLQ/c%Qq_?ZxY1B\$-FVy*;9lkwiR4}b/.F5 7Xt+=ut1kX3az v q1*$ +VHwz 'SX(묜E^|L;zvyG[j|@`e s4u@OFXۑ/+ߚ+/[KyMr @ٖ \wOǦq8}wKZJr EZQ8.nkm>Z0^nN[H/AiڱmKD'Xr_]: 3`vrmjg`,hmzV)3)HNt>{*,;Bj=>!`(R/.<}a3jȽ&h^kLTPW3fvZ`vDKZ,ز$Fw8:85c'nw*p7rE|lTKٶ8K0V]dtt l$UvS d]Y-a* hBeGc֟jo`E9`vDryUZN:9+XotA%^#=~JEʆ Rm.?L!f?ڏ ]"M>]rsAFR" |@{t,0!&s`&âȦf_ɻ%) ȭoHMe+=3i1`9s BueDwL}= fڶZ}<\u:Iw@0nylR?Jmu$<']ڹL} ^V3r{rjR'B= jIm /.}ܡ+34=$(glyd~89 5|YҨ2e܈YR=Q`Gv|R}gW%%5t$/ZS+DA7ͰgXx{*vl# Bkw[[C\E[7)'%kx`)N>`ȹX i'5¯43&avդREF܏ m N*88:ܺFyy]dg7x**SOŬV7b<]{L{UKc9yX7" < 󓞃kkGXQQ "9ٝq`w cQ=1Ü{ O8 N0 u؋"W-e8"Ě@ѶэgRtƲݣvb7#U%Sr! ̰$Ozdl+1x1@UހP,5*Rz{ׁn~Km둰_PJץcqʀOvrv]add`â V yj)M0_auh) +Y8SYf>ز  Ϫ${Q]So p>ApM{Xў^ekv')Ufںo vHR}d8 :"?'&RJS!tp$_׹2|dp/Y:WHm Hn;BYDMaHY99Yit>jE?:(zs<z⬯`x!,f>?iέ5SO2k)T o@m3!זKDgL:X31ɕԱLLSӧ'ԗ$r{*3U찆) tIl}&)6'􊝢od\2+Hd`L?u RYYeyFfcxMU2y_.I#r@hcG0ZpSa |Sr,.ݯSEf3{ΧJ.>)呝S1#> DS".aiB ؞%+cṃ?y#Țh,;|vWB!ʤ ^n7cӖBWVzxŞy}'ƕ^Bf GJ2\[BZju1#"dv*=E|S\2Ue.@QImQ?ZؙA3\.}W_JĄCs>P((")#5@`IIr3x^U+r ;541NςT e:9np}+MYHƕ8|5əh4!ĘhW]aThk&ѳ 8̨](GR$p&Gmo<܅ɡJngٜSR 4DU"`&T,:WXB Hq?>\׉b+`.G2nƦJ Ӊ`?Mgw~Bfv[bpTzt?P}j]ciP8F(/1CXbxʁM-H]eg2!e-'e5EFl\9'+L3|z|̂w f|.Ӟl1!O?[R@1绲?"n"yGKi+Ԕ;eK(m}@ C&r5g%p7h5_ċlpqGrڱ=mU,Nġ:3~ݽC lS@MI֍ D*ܚ(s"8X٤a7Nw!_mC*̛ /TycX+BD@>7(~~TQ˄95ڰi_pb`~V:Lun/E UAj(oAHr>l6K|τF{]'au JD'0>,ξPIwP`  Y >JawrblEBdL{0c-A1jo¯ۿ/H,!|] 1MϾstÁ =3f=b{5O8 G`%V˸UrQȸ6Ɂֲk;\Aa ;Q>ǚ}=͵A I IKH}.今uRM?饶y&J<7%mN YZ