texlive-natded-8:svn32693.0.1-24.oe1 >  A `W^^f~Shj7BC`Šʔ.PسA]^o/ޣ_r%+WHZ% X5EƳ˽,܄ɢJm[ҏl!+0g=QtyPAAwoO8ޟ0pI! 6o LgE ou nZM"Vٴ,v缻w[)Gڝe"Ԝ^~r p"zBrC)}Լgt8 [<{Ɣ"mgXJ\Bge4060ee84cc9f8dad171c00be4c9ee4f4fe7382fddaf9f31d30dbd7a95af2aebc3fec53b5516173e7f121f058256a91c7422ec7440L`W^^fP9!$ny82"g;8'`sEGDn; diJ)Scy%}Vh7TU7QV./qP`fS*wðb@xT{Cp QD{xQ:HGK1M??qTNzbެ[.q`[@"C{I} s?ɝk||Kg{6~@1tGtV1p=?d( , M$ 9E]cl|      $4H\xb(89:[FYGxHIXY\]^bcdefltu,v<ztCtexlive-natdedsvn32693.0.124.oe1Typeset natural deduction proofsThe package provides commands to typeset proofs in the style used by Jaskowski, or that of Kalish and Montague.`ecs-obsworker-0003openEuler:20.03:LTS:SP2 / standard_x86_64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ;@A큤A큤`vQ3`X85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb1c7ce422d74a03bf5bcb8c631d4c18478381f3f67f81a794e1fff82b933ad756rootrootrootrootrootrootrootroottexlive-2018-24.oe1.src.rpmtex(natded.sty)tex-natdedtexlive-natded    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 initecs-obsworker-0003 1621920393201820188:svn32693.0.1-24.oe1texlive-natdedlppl1.3.txtnatdednatded.sty/usr/share/licenses//usr/share/licenses/texlive-natded//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/natded/-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:20.03:LTS:SP2/standard_x86_64/51980bddaf3c8722ee4b9b2e86156ee3-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, UTF-8 Unicode text3bX,utf-88d6faabdeb2790abe8be62c3436a1067aa788eaafeac5aa1ad613bb82dd1397d?07zXZ !#,#.] b2u jӫ`(y,w;/{ܳ΍Y4VKZL2l;0 % nGRN}ƅھ .%{R'WpN@B)!꼃nrS9)gS=lJ5уwK= DSZ9hPl^-+ϰKvuӝe6t`"zAW 1;|yX͹F Z55#jgp:j4ƴ@GBjqx]TXPh|?&aװ@I`e m4d#2z7K4 !N5O5eta080?M]|jL( ?/+} Ja(ʛALn-^6C Pc|o@Q&b,75i}|]|1d}#c,ILyٲGEWlAxa U2pY54h`]λ: s),H_@"ۃc`*C+UO N0ϗ D8 "|w Y<_+eQD 8_eZ6Otv64XN9g y\ pw-(tژ,)z9Jq@Bn+tU糺j5y'E{oN};PRt;xKĺv[ys\l= F=g/oFK(%*=ٝ;0n`b ^s[UOݘD FzR/ 9(f'%BSYo.dW tLlO FaȹAҴH*p i2H?R)Lղel\ % &?Od_TEx}L'ȟ4EȨR&iAl[)&@kQ&*6\xܷK7?[pvW-gDyCamE9;w;Y{ M4g9~ #խ 2|cW`/y5,?ixԱ{ֲ#^g2^A 7 1v}P C D4,`հB~'MZ0OC\ Nc"XFtdwc|T+HbJ&@+U`iE/=-RZ*Kz_PpD`˔rO*Ǜ&BR{PcȎ0 =.?TUӷ#9v_hlgDM;l r'P Ҧ:b+v[9,mr2N4its8$73No@zqvP ( C=dt>:z_˹|8A<6ǓTwu1ąśb穖pzy#+ WlF'0/MY ţ1F$N4k@t} !y;ѦMTL;;]*1 e+b;v~[)'B'YQ#;]D4q7X`aV/ĂljRR,!T7&\濺HOBZvC5/XPqr!fL^/ɖpJ0 Յ΃˲V$"t~8xF1E7mW1T,e6.rnCt ޵nu`-)BJFիJ,6ZccC+}h~mR^jFp1PM gwɡMV!\[KfBf! sۡ>usZ>̆Y}aIBqE+Q~I5lnB1B=%jvkyLO^Z)Z Nˡm/ض̟:D$8&7VF^.cF5V6\L 0b)eJ/ВKq>׊˻I:LW M(,g3SiMQmbs:M*xg˾ јc8KO6fLG.Z޳St'aA&*O2zw7Aᡀ? F^5  C٦y@wORUU hG2ިct%錛ug1c2xӼ|EHܖN> xljDb䷕Di?ˈfDGMrz1Ì_֠9/bD?|ߛWn +2n.%t7e活[&J&y|/s_A6bOHQ+Rp>&o}x/ S_C@KapbDrCPNqݲTA O\_"M1]rQmmZpcP; yWQLlt>˯p3:ո0N5fӨ 4uth|;֡^r`.sn e.Z‡hՈrDuV8  օl9h!a}={ bqPp@JEڧXB f0 i^iqPLƩ|2b R.e'k\ KrCP)Js6G{)*j R1CpiPaK٢̫p4h΃<%g owԩCV´1}_peTDuu%H.[GvcbR# cTޜ#5@%!ceeM۾/L:e5K$16^a`E\0QJe~l=Mg1ۀo{}*^NY4κfs%ABuk(p M.&b- _}Dib%e(xE/^iױt[̍P2c0ug9a+|i:|h\bhPy&^ ɫZ+4M;6,~[^Kpk4#J#3 ka0IUe2[.Y){?|#wy,*exgluQ +f((,< K %r(>&]녙#n8/O2\A {M8B0q(r01EV\3Cw..UW,ٟz$jr-дʗH?]ԩ] oP mUV챠]]!< BPL$\-B9V)'б[ټ6=hg>q#%^}%G 4bZtyr8ILl M?hDz^˓҅ 1&Fc7%ں; %օl ʉF^07V`ʥ7\Ia') ?y=U3u$'zW}jy w"3Ĕm9Ġ32V>7jzQ+ FŞ=0! zߦ9Z)Y;# ̺H14b-M4:*0E{̝?_!90F4%|+KﺰdiG<붻QV\Cp̟չK tl#a'lB{QКW ~AХuAh ^BU򕡜lkcʠ } pNyMR?* %{_i2puRGDH& އcIhV[E @wcC4g#t:llc"\m֣ WJNJV& 30|/a0EsavыkyJY;on{sxט{gpLCd:ܢ%sctґ2*+`27DK4qdj |[em1BʙACE2 e:6p昙8RBA4?lzԠlQSnZ8@+!)-> i'ws|5ɶw.Kd$vGS\Z~b$`; XK7`|rh#$?s WF;}v.@gw0T3?zWM?|vC zwh d7DFHS&[ĺסzy>?­ME?6MK?pon)sWd7+"ļ8-1[c[`NԫKU.&a:ԫxB\l;EGQ?4MD|ζ9F%^Qҙ6-[a_C eW\(cbJd fn8ĶoqIˤ:p)݇WDHewüL1 cԬu a(AqY\/ݦmR?V !naI $!SoGa$(E * ~ ,i?m=k@N0fcNGvLU16ms] r=b e*}m#䍮 ;`wC];)+9q(ؽತ͝dVTHܩx (yDW *ꖉOF" '묛A o _$ì1?6[ZGcea[󼄑M+u\yI/o?T̡4_dGy2)rʋ]n8P|W $Y*EtBH}wIH $c4?w\X/bBʪ(Q+d+7ZڟQTсϞȅ vPhu3xqYڈcٌ@Hf͂w9?Utr"(+\=B7ynQCkBDs%ɮk2X]_ds3-kf'Ӯ;Ӽڛje&rjS;8(W=aM{3?x1F{W)d,<(u ^R DRt;#:`$롧}f"fc4u-V=JH r^xc,%*#fajC]Ga{>g,x1i,Eqoxɏ6M?*N;q-=0RJ]f,n2Ԇp EBU)[%ѯ9&Iq">yTTR=!JU/`x`05%$RAQF(Sж=ݻ hjBY'#: 4kV!8 .]~O|i%wd/de4ve5y7ֺqItuIh4zg3ȰX!OR (-uEY*XT7z^ry3w9/ם?#*O),<(D|kE"U0^uιpTp^Qd9( *cEuH6p]EVԾImIU'%5ƏCR_a3|B8kÆMz_%Ċi4 <w*eq©YgAY#ؐ šo`A؇w<[dm@8xp"~]'*r\ү)L=L^^I,o=JonOZmǍeޡfzQHT0{3I Z84@.@#gR)q:fwI}`q-̟G9Ga!GBjn86 WhܤZd*Ƕ7(o%M<ࢵ&u~& zgrb*$ k- =:.Z9_q0"0:_i-hFXר$ζ%@fmNtYiu$ L*}z U&i4'06PJ, ۉr_+ɮmi;'B2cX.Ot,zc'_1vS