texlive-lkproof-8:svn20021.3.1-25.oe2203 >  A bI|K$fׅk94}>2;DhaɮV 3eN6AW0X1.x odGQ޷]2#@u3׺I f#\>w ϛSPo$s#b4decac04f059e8d7d66ac945eec84d41f468f3aa84ca03213ba1db91b6ef6968ec31dee4ef0ccc052a9a0f695ffacc4505b8c8d(bI|K$ff- `G7iGIJ谊DG*6 " F lM M' Ҕ#tmЖ.iN%SP#az7$m"O7h4Lx|=C@ [%3Sٯt蟈ia?&}bw 9;2b9[9 Qߵ؇<*]:JroyPŠe*Ϳw# {Xv=W֘'< 47]%o[m\P>p>?d, 0 G   ,DJTd l t    0Dl|V(u8|9:~FAG`HpIXY\]^bcmdefltuvz@PTZCtexlive-lkproofsvn20021.3.125.oe2203LK Proof figure macrosThe package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.b<)oerv-obs-worker-01MopenEuler:22.03 / openEuler_2203http://openeuler.orgGPL+http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch1XGA큤A큤bDQ2b - 8:2018-25maminjie - 8:2018-24Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Remove texlive-lexikon who requires texlive-wsuipa- split texlive- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initoerv-obs-worker-01 1654537257201820188:svn20021.3.1-25.oe2203texlive-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 -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 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:22.03/openEuler_2203/ade59236b5b39993e1ba040648eb289d-texlive-split-ncpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text9J_utf-8290e789179f80fba81921c74948637e78b550e7ef0d574cf4b4f3ae238b9f55e40751876fcb1a764ffc574327fe4afb1c8c6c093f2169c5fb797e2b50116c65f? 7zXZ !#,Pg] b2u jӫ`(y-6iƒ9 &d(~;KuU#b5\Qa8i=^rʦ"ɚo qe%R}/Ar4}!YRS /jD ZNAf.()Fgg ^F qlV_ͫv>>|* UCOfMx!KXUG-g"?%Pk$_/Ssn C d/IZwyG1l>?@6Layu4|%r^P7'Pc0/mhj>€:XZd"6jZL7IiVC=A r>BCʉ&eKJR3yf##.U[w1x3[|"tYӦӬJkl&~#5 rp%$6 .qJK Vo kntf^U -q}$-91==.5xCyk>>uc|B\`c+Ak**UWLHS;%tx e,m.!A;K3- .2b`\-J +k{] gPvpL%9NP; \<"r`snL&?j!u{|3 2sj8YZKȞ'( Dl*'+E@O H7yl8iZ|HyC"T#n,7dC.4"DK㴈Q:s~ePg꒑mYW0[SHiOBZ3$wA"rz!=抝Z++1ɞB\bZx3E<)Z?Zx$R [^%wV`(&h 3hCf%za {'qx-INB5gz 𑹵vkx44-\̦NtS X]zVI,OvT0f )kWcA.Ѐ~ *H1)y ܬt)TCHyj3-!Rw8CPxOaϥ ~(~51 H~=&D~P~_A'H9~BE~@M,!NI˞t&a6bjiQ9Hc@M-'ׯ[B=iYa|Sw>}Ȃ$HQ ^( V.JN0;^zS[THɲ+WKhw:>^b;HITV|tdSZ̼ƥ~Q_8 >qJTX?gwNc+Sk/3| `O/ Ӳ/Hxyq,l9]; @RwR ^qmΤtHdVQBNQjؙRW e]%+a-m7\$x{Ȇ'| w' [I )QQyG}1:ɮooJdqhU=]RxK ) H-)~6KA0@܂E=, ^:L>}[DOpO4$H}d=ò3&W)U+>wahڹI2 ^e&ޕsW|"գq8zJ?yTY`ljVj4lv͗#/ B-G dõ3Fys7v\SКz>V}Ga Z4 Mܿd?cS@pMIJ,eܔ@8<-8rn>{ֺ|.=Á9@w(rmv^! Y(r3×Ko =_Pې${ݻvzI:BZiH16Y Ķ=PɛXDQ*Ny#|SSwHm z>ߥ|g[rVh1R݌оM1Q8z T䜴뜆) jX@$ڌ0P ՚ *R' )~GHr1Q7wRMB<@?(~+po`*ZTv mc5">{6|owIpƇWPc"6Da%2C nq9޿ #9űPJBUU>ȏXOA42U}RcٰnY\qcBiJ[gI#eGky2PZ:DP3 _F.X)YLQ錺 h0[n2jd}Dh5I(e-F)@Oa?RH`lWH   ؈pP(N1HVXDr9T;`6^$,0'OHݭ]9=>p >84 Ó]nZnWU(>f[9MvS6Gu_#vrPLo苆CBЉj~~Ag>.[)VNSA6 lcrjӳ.mQ^4/$EZiHok+yw$QB-Bkm発:Lr(p%ɩm ~2]0e[J}*!YX{1 3xFҬt xqu(?๿vtS5+aIu|A9( PJ@;ҖەEEH  _[)'.wHn[Y!L/.jDRwp ]:ޚ@/6D D䤯t>-Qe6\݊Nf}!&h}ZTTAgf${qcLk264"gY:rp1N=dք!(<)t}?c<=hP ^j^H1RqL:ULK4lWN(]EmvאytY8ao ],4t$7y4D:*9>>w!ţFm(yI, I P1hgxމ4A~!c8qnAYq~HNhؐl5tVS%'2 c^Rf)r (f5/P*']S|4DZ3%e/-Jd-*@q-M i?8ɽKs/ps{RJAycLP6@XxuȱJ z=h Zu{X2ylL;og` H-2@?'L+"^|H6raI,;'Ї%UV/b4-2v^"7A'T1jC+){5ʕ 11WvXi?q".:T Yǔ;q /ZT*{)/INbM89/Vv (d++2vp 6h9-fjmDNGׂeڈt5_7Pq;4KX9D87ǀ7_-eZvp^uwDzzS&Zl?Lp=8@+(2 94&hufˌ+JVI'8}$`69rG mn"LwВatȱo+o<%iap 6 *_bzDРEkMe{*.ZܨPś UH#8,ipG5%UOm Hɂ Yd)o]~t=˃ D WH޸E}HK8U^  l !m), iU[M?\h}[ăAKU+WS*^ۢq@j\4`Qսr cNܝSyң@ hZR1 eްM j.Ne`IY!!,mao,?{Z*&qt~Ve% MOQyPV95ːr w5 %)dӃ? x eiֆlB,?Ne6I'ɭwB̎Xk60{R7Rl NJ5R_ˏ{jd`m}ڸ3lZ{!-#ud r- urNxjgjRR?=:ߩۨTJ&B ȆPYuYGQZkv5DU4cI g*c{YX?n3"qS/**ӱ;~D~LhQ4ƅyog/+ ][n>_#TBe'6oD]D.\a[6 1e5(-Ys">M B-q.*У 8BV {*c@2g *$҉1K瀉 mJ+u@[tM#40LRPN|01+Ry6ߟnKP~Chݾl 4ln2"VpKwo#^YQz :XwŲf䊒x~vQ:,T;p23 eJJ_ <6S%Kk) 7S7WX`S@ zR‘ĒNxj#4h/ߍGj8`%TxfTm9"Vzm͕py378+Ɖ` !52toRZz*tS~|g8je5fhX$lWY( [\A`]  ޺; o*/Oxs4XtBc 7ұD֌L6l)V-2t<5U>tHߟԆsi`'lIXLՆjrv/ G6@1LQcwŕ썶~$DN[P[YWt-ϼ=dEgs ,ؽF>inۑ㫮8_MM;4-Nk`R=|^'|$ M#/yN1aewJ)POE=RΥOZpA7m4q"!g [E0LP@4Ⱥ';- xiLV?ƙN$$>0]eݗPYJ:PB-s0,⤞(qȀMd) rH !nS1T$5d.4q4!s;.}! v4Q՜h*w%vy"¡ͶHҡ7|@2٣^X(_0A1#T0e&O?)cLNHeŵCm4h4 /Nd홡i$@uvdt2䯱__7 YZ