texlive-natded-8:svn32693.0.1-23.oe1 >  A ahW^^f9O#vYFRۂ}q?u6d:ˆՎg@> QKИYl;ƒr1oLwiXs`fr'֭vϟ88˹ps.7c,@wy3EYYxM"4Ƴau9ԜAA.S?vyHJLp=0? d( , M$ 9E]cl|      $4H\xb(89:&FGHIXY\]$^QbcdBeGfJlLthuxvzCtexlive-natdedsvn32693.0.123.oe1Typeset natural deduction proofsThe package provides commands to typeset proofs in the style used by Jaskowski, or that of Kalish and Montague.a`pecs-obsworker-0002openEuler:20.03:LTS:SP3 / standard_x86_64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ;@A큤A큤adtQ3a`X85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb1c7ce422d74a03bf5bcb8c631d4c18478381f3f67f81a794e1fff82b933ad756rootrootrootrootrootrootrootroottexlive-2018-23.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_^$D]Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initecs-obsworker-0002 1640980592201820188:svn32693.0.1-23.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:SP3/standard_x86_64/abbc448fe7db60563655e2f379ce7a34-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, UTF-8 Unicode text\?ZK6=#LCutf-83e481a3c7228af7b43368aa20326ffdee8d313a7cba295a8f6102c9e464246f6?07zXZ !#,#-] b2u jӫ`(y-7g>*`N](}}Cl?b/m_s78vrPbj%Kz= {VzzaO%^421ТYAQ#2hp'UrP";vTmT"S,6r~Zs$T>|g Eb{7!hkbM.&i}[Փ'rn U.i1ikCXYMOt m m,5q[WVwW3Φgm9 xϰR.b,&X:@6i7 7L@n_# CeQ>SGUH km p2JkoVmy=OJ*Y>.+­! K ;zrY{s{ze5u.7ZLYUy^e({=\t;Ԩl%%XGu]s+j*x>i3$Kʥ*h,&s"Z3ӂcJbq .m"DDK>o 'ZQ*ٹU0]'l0:)BeٺQ@=ؠ",%yom,T+ ZmyQ߮⅘277 0GkڑcCl($CQkkOHfAekVOh +b-7Ca$Fk}w.b2bͣBZPwk)_,"~@-ƆcPA4Δ/78!! yh!QQ,Q ,((_Ɨ3uTlK}HI3}%Q_R~W/':߬_caQ{D P|Pvo}13ʔoX{:|ujKBHkˆaTb.{.[_,k})ҏx ^s7C(ZfJ=?D],D2=:i{a */g?SOiur唅G"Hl(|Q()/s@C&9KoO8e Va$Iwewhzo+t? *I2ζSPFFlcdYչ'&QQ9:5waR0j1qG""0ϵD#0@9iܤszi%a;ތnیiJ}[t-V.O. 68>b2.w,@}K Z7a]wNP: $?PR nYZ$4y%y%ޫhzf 3vO]FQjt21_LQ[c/x 2 9lʴ?NW/lҌȌ I~'o -=d l1gݧ B&Q,J;#@Tg*H~PS*Ɨ|:ESםt~?~ltmB,֨3 b94ap3QבB*/Bљ< \/\)tmߟ SǒBN=g$yQqBׯi Ǟ3dW0+;Fwol 7yU @Wsr4uDh 1W,_CJ ;6kp2Vinorpg<̠  ~4hs#N-S|eΚS9-pY6H+q lXR߽B|~396@ T#1sT>Iϥr#x6Žlʅ1gNA\ݻm4 VAFBYTd`OfD qi=g_E L. t"5b9Aqb19 Pj?j+#~Z$ t sG dՒiw󍏸.2mi\}2hx.30oʠlܰ>BVm P0C"D\BW&kK/0O5t {p]VO=e%~ɸZd~Mw;j]3=tĩ0S1[*isSʰq?@B-56ꔸ0H6l0#pܲR ZI*+Mk8 >D)C$40)v;7>׾ViE}絡3fkx8RJj>,O{by:`/+ Wv  C> ^ wݾkp\jV*na%؝Ld^p^:bCzp{$/' X.ڠkεa婀^ V+@y.&}sưuI2m!\:J {`nm,78nb !:7|$Zb;Rhp(?k_1 }ɯN5sR$!&_qWUlgPÃE/\1֩\i([';ffuEֈJɄ!͆w?5!V!b FFmR1%XƳA,k/>\NwU<*y~]fc,5&ߔ&$Նȳ`aEfL=ٛ:| 3r]Mnd4r7kϸzqWE W”_QqИB.(46ZKoqA;%ۅ͘{aQ!^Wĝ!H=Ӑ ݛ;qBBeB޸% KR/(d}}bSXѢ0vy~Z` ˏDFUDo#* n oYGwT!xxüs k .,[~_i|j~:t|o^k,%zGQ[7p 7Xf.GIeGF3dz\YB O^?`>ŏ? /J(`⚸t+@O,2쀨ֶa eJ=N>uN.CY V7IBJ쮀mxFicEjW.j0jI0-PTAI6M'gLGe9b- \S%>3tsLs5cf~Ft,DG>4OvgsO:biwDöC f<5{-)NexDҷ E1G6FMfJ:ll!C[n_2b{vA1]D>qyL";;5nҝ7G}D6D D}KAe֋ֹ]XT܂z,B!5`++3Φg՗:4cVkAmc1$QoĎJ\b "7XI[OlAr!iEA\ɚT3hVW%W,R9EG=, &U ,ރX2%{[]nT'g'i0#v)UKAI7#[߂lysy m[l/Z#[-"a\Z)GerݗVs7Z־Y"23(w9;t>0EgfBCOzǀλ$$&a(9etJC, N&˼/ Bh0%FjuF}k28 ,rLBCڀU4^;|%ꆢU}"hC(ޔg+ yKHNUDQ3oZ ɮ{adH_8'婳Zm\t-:[uLs DPHGjD{JOs>1 !]:,oUwYg.J@GKhvļ'.NYsLY.Q QaGs3VbŖ2KDhDX*/bbE,|F|:N,U?}9 cCN_eY! ǃP 9D:'ú^cďu_]{OLi*^wTjx~']zCѦ4^eMԎFB2I)!33҉x!MfN)bAdpIj1V~*['OLQ1OwIތ$ ة&0DZ) o.e&__pW/jTzԠ#Zsc?l՘x@˜1#s{YCNK|mWbm5<;HB93>|n8u_`df` gj}0 8jǮA n(G(sDLJ2b7_9̻>MSݥʒ35D qJ`ԉ:Nc $Bm> p8#:Q=@hp%ir=M +˙`oZHct~/z=S& .i<]\w=d#m,͸CҲ'ɸ)+bٯm] YٜWs (Ţ${b[@t3J"eS͉L#ng)p- vsڋ4b^,>LND HR\r0qc߳[v7cQidWtM+oeCv\i$1c6~')sm/##>e%/}30LeyASv~=϶gMQAIl3^FZQ" qz&@S;;I&-WAό|-PEMNyM\o.E ٬(^j?E $Eh;[8[ ktorA+iԲLW|,c*f)E%q[4}r" (~/un#̒”H(C Ro*`j{`*xɳKLü1 <~+8ƛysLd 1&r0x1+VϥۉQ]ߌ)tUZ<5m%HꎗrE b'758U7!Daw,@; .LKbp6P#(gnXAa=pk^敇G/W(RĜ9-e(^#Bsd'f'J,1.{#9ۄG!@k 9gFi]I4Pi yff}[Q~iCنN*;\ꓻ$QqifE%XSwPO|u"dM\wʙ~CJiY,[ ":z.imOsc 3IB󮳣]tͲZ H1[R&+7|zzsY:J, ,W oXb7V[f; L= p&悠^P)v6^N: ƞ|G8cR<6AB[ΉVmC)zAVtr]/)4q!yj :aƒ6Fp΍ 0HNzN6i~XdhW-|B{twFn@fѶ YZ