texlive-lkproof-8:svn20021.3.1-24.oe1 >  A `dW^^f)1ky t(܉_U, {'iIH}CԒGA+c<6:E4-'O^ 4Ő6&kU`n'DY~$sKkikҙSCzf.Z > ^GJT.? yQ"M>zeySD 1|Ȩ2 ǿJa#_pynQA#iM2yP9pD04294dcffa3d533ec343ea81864e1e290160b7c04df395ee3abb5561225ec2b0141e9abe6cf1120773c96e6a5b5b6cd7bcdacdce(L`dW^^fS{D 8;!c[9wF>j>XL˩4`z->9`4.I+em3 :#F0H9e_>HBe/z??rmF*$mXUBH6bk--,x(٤s6=0,}\Ta6inC6ReN&H_>N'߹jPX(br ,%S~>T"", jw։t)P>p=?d( , C  ".FLTd l t    0D`pJ(i8p9:CFAG\HlI|XY\]^bzcedefltuv z<LPVCtexlive-lkproofsvn20021.3.124.oe1LK Proof figure macrosThe package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.`obs-worker-0010MopenEuler:20.03:LTS:SP2 / standard_aarch64http://openeuler.orgGPL+http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch1XGA큤A큤`Q2`X8d77d235e41d54594865151f4751e835c5a82322b0e87ace266567c3391a4b912adef3991c936612960c35e86f23897c458a7940ed09783ab71153338ac05971drootrootrootrootrootrootrootroottexlive-2018-24.oe1.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.15.1_k_^$D]Guoshuai Sun - 8:2018-24Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Drop texlive-venturisadf texlive-wsuipa texlive-vntex, because those packages use utopia license may not be free for anyone- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initobs-worker-0010 1621924531201820188:svn20021.3.1-24.oe1texlive-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:20.03:LTS:SP2/standard_aarch64/51980bddaf3c8722ee4b9b2e86156ee3-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textO"DM3$Ji utf-8846f02726fa4d663c629f51054b4d5c0534f6eeff2e50e9a4d25550428fb8e20?07zXZ !#,Ph] b2u jӫ`(y,wm(H ]ex{sUn,R>Q#B,fQʼ]GQv&{V.u-i#;R El8h4Pg1*7}OʦʁW:|} f *dr.!k]_ 5/ Y咛d +" )@nHY9Ynv2Dӵ>Ȟ/UYˬt%P]u-A^ֺbhԣ{0/ek+FDd3NjD8՞}4&/Mpa2g-'㏨'U<؟mʎw,-:=(I{c>|\?]?G]z *E61F:AW?~UvkodQ=Ԫp(Idtդ01m%z$&&X >%FC7Кt54Pd /!|%HKP9uӭ'2`lsVx%D$$_;4{GdkW7i(/d. d Pz'm}X7O'$\/]swh qubz6O42Gm4@sKA6 ;emʳDJc- d}V>H#)giP6G bћ=H{4qqI*-IW},Z">g1M ._5dv`܉B72k٬©b'5a>CrjxW׋)q^:= D >ř3g%m#}(ȅn|{zXGޮY1^x^(:xcSpDI|ݕf/=t)x1Y0{yW,ƴ6Ϸ˽4> u4f3wݙlxCiLW j'h `ކ'@ g>34uUtۈ,tdb3*쥜K_e5+!~bԶQ87 B[ -2(,pD9 |}%^(d L6' yPf(s`rAעq:n]8r9~q%u0m1N= Qa;/h`Fb f4ă/JIaZ4{l6 W}t([ޢEWA6w1IQ+d>ʥ*?UQKnsq7@tI)8kpo.쟟5P)2RU#3Ie_nm%,/P#3(,zr&mΏs93_/VyTSCc)3qXԇ%]cmV%hJJ!(>D# ȥ~xY&f WSGWDlgar~xu2fs ̩`Ê#l[Lo3 R65\qߍEc|*֔g74󎪮e$X e]WtP|mz1T ]迴M6LxpoLGydj܁R%~>UA,[㲚TxOCP2iߝOz>(eh ]G[0]uF =jW>$8b4tm \ R8 گ#׌̺c XoyH,aKDxeY`3 c>v~]1y|( B'!MC@Geߥ>e6,ΫӌIxiV`~-[4'|]0/ U6EK:MBeaMLӝQD@c]W4숞j`u*ubَr~xә-S3tl>\.$S|GQ7:ƙ+3n1Gu~E E|^]nhLe-v6?UDyڛ)ȱJpjK tl9;+Ы)~t"8b;Qr cK/SqUљGί^R4{VOJKQ޷Otq#GqJM5`v*ga2ڇ-b>Y~[^U &.!p̕{JY P8L㵘rV1)Z3/ֈqWe'ϓ'8!?QuN +hg/ sI#+j2=Y5:dGnN@o: P$x,vYUIDUT@zjeъMn̴M&vH*fkP?G>!.q#B1-q.&bGu\Χj6=d ;\zmClpSIȉsNt(,9'A ' 7Q+ l4IIƊ_lj@͵wr׳nb\<~c$9ک*ጌ9'P!'U^v: uzҮMS-{bIw-]k.4v.aF7!|rtE /N 6cKa :hrF4(>-YX"؋Ŋ@־atdyΈ%8WɐIɛ|M >꒺霵JA IzאТWD\2itߒ *1M "ƍQ5 QmRTSAr _*3t7ԅE3 vcK2 Po>)QVo(HK9C=1i}иٜw7#Uʞxoo$?|Ӱ%&q'&+P\p3g/ذ5_P jAKtB.ՌtY7 oꀷJhUtUa3 skl1“Tr͸xYU,!i7\{ `B0é;t5IOQtBN07#F7ܩN_0I 5^X`Oo5ImO} xr4 e\lK=+a29te6T%PfjfuEogD,.dGPx ˅VLaD'ӭIr"YI6Q( ) LUs[Zvcy涎,Jg=m>l{H^4#yC+t`m빊;g.~N^Q;  ZYBތ/udG|S mwP ջg :~I2]")@ȔA-[[#cTVֳ぀_FJS>4̣L0p()o>Ӱ3IҌEJ@'m}M,\ϟH|V&Dɓ&B[xiF9z5ywT=B0H$ V.LX`&8Kb < RR8?D9rVGBt{v=֭ߐ)Q9IW)3ҭ^{[cVg(Y079h8<l$^.]<;: O,9ZBB$( %y[IuהX#οOБ} v Si 6P-c-/8E:{Ѣfˠa9C $6vz&.W ïG+3RU^jƥqܲt-ղ*&߅ x/iv3זkͷ 9bD,wzQIu=3"WܹIb~Hɤ7oik F51R 柌ӖInWma[B`;m=xko0~8e)M.[/B~~u,w[55bq$>]`oߋ}G;TKFbfAJdG2 8>YӮҋf x$Ժ6L0lW9f#.v+mfalqN: L,I !43;}nV쎄b\񚉰wGȹ?ÿ{1%`g6-?׺= 3GJ32IuY7y!h"qYSUm1z,3io=KN3$'2ًSږaEF7,&9LOgO#^Zh3&.n 'i vw+x37z=͙hWmr8<vbֵ+sp^"^{eqbBfiè3M3[? 5N>L(<.XL8g ۙ >=O,B8Ѣ&Q}Uh`ˢKmy;|О@On L% YRUNjr3>Yq[F|r0Ւt&y%vKfx$}b?8*}InmD)]<+.g{JlLOѰ㵬i+i2椙7QՕv+׌ ;>ulOAu~?fcf4OvaG ٹԚu䝵jAXR}#]&OcIp+u4.N-,h$yI>SHTe%Nqg> [I\dR$zh&q+%z;KQNlۣJ$V{P5'v~+$}*C)M(=RX.`[bg@qMX&%D^jȜIc")J'mh:fw,SU_ vWS#ҍN1noƲ*t>ܡwFAQ1EN.f|DDyUTj<u1*8VIl搩e\ ai"b@N7?J< DŽ NǎOSƏa27. YZ