texlive-natded-8:svn32693.0.1-23.oe1 >  A aqW^^fUv =%`0-P͂jYs :Qڽb]+TTMOלKZ] =ڗ뱀 K Y9ZqrMc( _'2ʽR s7@d8Vl\AV5ETT2'߬Rj;LN;v*,o;Yj@ ,Y?jAn _Xm^{{4W z>Ճ42-S O|Y̸|f972ed069a75124f553d06a96bb956a08921b31c7e5d6e1a31eb420e873c12a766d3c5aca62cf49f86616c5ffc473e2e3063d56a/|aqW^^fj. 1yy-zeO orK{Ô\KWn>._k|=o)F 6HI`!: r9;qQH;VJ} zGǔvzXX̝p(0[B0W˜ݧq Xs$D tN=7 )uv[ J:=juFC {`뾂)oL3kg*ǿn}>p=?d( , M! 6BZ`hx      0DXt^(}89:"FGHIXY\ ]^Ibcd&e+f.l0tLu\vlzCtexlive-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`obs-worker-0020openEuler:20.03:LTS:SP3 / standard_aarch64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ;@A큤A큤ahQ3a`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 initobs-worker-0020 1640980622201820188: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 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:20.03:LTS:SP3/standard_aarch64/abbc448fe7db60563655e2f379ce7a34-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, UTF-8 Unicode textXq)cXE*+uutf-81139c29ba0e1aba2abdb07a78c6033252bfd538d12db009d24eb91fbb439adfb?07zXZ !#,#/] b2u jӫ`(y-7g?M tYRq*OT &~;[Y^Κs?.ۑOOp7 oc_* v 3DvmWb8]^(tz%K6Ꙗ#+/'w쥘fGLx*r텭5(<?Thѕc~TPS%a.A#GԻXbEuUϧ;w\\$ى>D3#Hˢ6SuUEWj8 @ PL#]0ږ#T1HHV󭙜v&KSWƔᔧѪ~ܰvOЌs]g?ߖL4' z/1DW1 )wkegfL8ڣ) m*ˬ1`i IPQ+Euiʟ77X-,1AΡj Ϳ~ǟ<֗Y* ͗}#U5=mZL%N-XZ:F\Yqo>Z[5 JW5τɹ 8,,1L(=a_vNrY7sa9ó2WV} $Ӥ32Vm'.)+y&ՀL!?4nΥ􈢥6iFO7ioS"gd/1I魶Q)3',rRBèExAZ VLg%H`4dl&F@h16+7U}k Lw^eĶ}<}@k Q2 ,tqVQC:A`˝rvV w)ŅaY$Eӓ7+(hC9i,=" fy;V֐x8J}q IHnRy4sHJ󾝪oO *ĬH8\o_KȩXZ-Eݎo.eaDSa$56 YTjO$жJsfa?.Y+?gXS(9kvjBTU10X֑I-Ы3tjʝCU MGiYHeȶj-Ճ|uNYS^l/\-X 6}6*~ 宯?aާq5w_BVi |FMW?ףfK-إ"v۱xhof!sk,hF>idk&㑷|k\[_#}mzk%w3fҡ.7Jwo*JY 8-z)6]Zʬ- ܙBWu@P  ᡈI0j nkcgexJ+,>f,wFS6]N͙Y  c PFQlqv> HclV!U`>hъÁC*_^ח_r7=P/dz?i=jFu}@)0̍1y?9`(7Sn c)oWQUVW~zyz1 ΠvKa#Y$:@ DCL%'r ~2"0==zuI>-~sLCKL5vSn.fݍTkؐ B3H̓;nh nN4#[DCaα3&9|'F8j\QnGwZRG$DGKq5LUΟ& (q1S}l kBt2L}#Xq(΍r4V?J~nz ix)&dbURf*l`nG&#ygM!?4i ۘ fe-~V  +B Hr(ՠjMr2_)_S(պG~Gvq|xkխW^ ZNѦ:/d*̵_Yb"y\[S \p=j])su:L?>T{wSJ-QS?凞ث XZ ], "BxqohUGmZn>ӷ=@rTٕF}1$D\ȸL, )O)ͧPV.B699QL4{t9|x]3dz%/hVFYĆVpRt!"krCY 5m ]6L'4\]ޥD}&[NtH.vz}$vJXFDL dLZڨR<1|#,Yル!+{粗4}a{!ߚ1\v iSK-6G{hRФ] ^No| Gf? 0GVm38=^GXL9b@mnc2"^Z@B<I7z|H`[[Q=|I'O\;N ˂c\dcVzLHxRj8*5*SEqT=D IC 8*õR\Y[4SnL`޸nӭ3ܢq}s ǧQ 4Z%)O׷ű¼ ZS+G'yRM-)~I;wܦX}72Е+xOS#p7Z߭T[35AngXa;9FؠD_x3߿TFQF}q̥-\G dM聯4b,tʯOfgd'#zVܦWEYsz6UoD/͍<5O"PEN?+UޥshmMzBZAx:%MLJSK#{Q* *gŠ/ͩAS[fڄkP)ln߳|]@ٽIߝBXfz!/z[㊣8lTYIu:/?ΑP]/wаVxkĹwc٧}y}`ە0Y3h+.ob!-l7՞ ;BN5& hjZ&q+hilb7bN|"YrwItj2 +L%Z=9e8a 1C]RV6~E%>M`P;RYh/@ץh&q6^'dqw7.)zQ&,&y!zîV|h'F/sXl GpgO4Ux{ck U$؏%H&}v? /n HTOjGHrٺQIBi ES$JS9mA+CˌXGn&MCA$"7.6"އtvd1 V < ~ZtD9go!#~|h*`y犆mV9<8e2#(0t׉{92 jʖ*9vqZɛ]FauZMc}Cd0Ih|{~*5sC=9Z| U+RyoZb;694Lkc5ƿjԧ*]ۨI&5nOC%fAq=6_v_9f/("sx~͸Fj%yά=n3"qf-{rM挻Kh{*^>]g" +ۥtۺo<+&[^}x~2gƕT *+l-"!F2;. ^ZF,Hl*an %y>x /VіrT?e]<:AƔ' \24/,ǁCRTkns,DCfR6FR _HxR8$㦓_c;~"q^,Ņ@cq?"L) I  ,C orBw+|+g'A̰}\ͫ#e+ ްc͙!1H~uˈC{i>K1moL-P (m\ takY>빏1"[ZB3ݕ/zRh0eR}&0ELg'JktN؄UqdP$18w(}"}j 1nί4x734euF~ÎDm=}kwI6oŚL2^S 9=r ބ,|8qDf ;S"a'ۆlm;r~uStCJ#cSS֣WXP?lO  B%Z#ثEenښg 0̈́t8 7GË1 xnVVsⷘIimK_fcK `թog E_nZ ,t7jM{5H ,Mσ`oןWf]V[ql90e4۩O+a)DF'P8^D@B t5γpݙ|#('1gƯnd3*p9e%(}'?hB9@Un|QU*$`jd+qF-Di$; ٚg AS  ep8Ī8% ~BgnBohSMQOApCM0TyNsضSWS'.g'F rx 's;NYU13R}W*U^-rU0G3~gjcJ)muIxB;5[A4e5IWzP*4ˮp%&Pe3Ʃ{_³܊Pn@_{eDv`笰62Xpx, o<`qk8jР0;R( E))]=(7@xkEP[A0Aɧ P?J!w[R,{%%xN8wTgE۬_7v*NlQ_M?`0xԱ#=H¶7AQ&{kCU _ҳ[25~sœǷkf7^?cb =:yᬛLMΞS~nhS[&93_y !݇ty((RWNtÑԥ%njtd0xdQ'8]\I߂A\%M&)37 ="ֈDW2S}+R MR4ukz Ύ&_Sz&8L*A,^lv-viqZU,##XcZ. S7+[YTP[+Kus?Jwqu0"D[적k"co1GU)wݿ ts9ٖf:߇ TqnK0Q}t~ -IU> 'ްG}:<`%AM~on`62HA.Uj!d@lh-n+AjS=N~.i](2r!&TZēhGxs ˗[ppx7 `Um\W-Lngi#ocxv${iKq;gA"A$`@3n6%6O9SG =R+NM|~')QpHeOuajXby9Ӱ0 GE $HYNƜ;x(Xb27oOCs_`Q4ieKtE?P ~GT]mѴy=>l8 ZTйc }×po&i#38A+C1vyk=)Rصq?5`já c+v9d++n]Mgr5!O.֑jwz,oA|h[sajھAUZ$D:Z_$e/ iW/fo˺zꑟfֳUlɡ{GR*vV>zFeᮜ YZ