texlive-natded-8:svn32693.0.1-23.oe1 >  A _(W^^fUI2vxOUg0xNB]y S2B&VU$RTx,bz# T}:tAĵN'ibPH=7 _i`f|)<Tqґ)V"|y3e(j:!Nz2zm]ٯa#&.n0z/ψܵ{%تI1ee1adc59fcf8f5f6229c41dde161b83669b4b822c3c96457f11a4d32004c299a107e1da69a4ee81a5d5b6bbfd965e7b6ebcb542/_(W^^fdvN/J :ֻN(~pi$Ɖ"P H3W>Yз'uwXv ^Ŗ+k0mfsk<^uEsqͩCc$VWN1;Pp=H?8d( , M$ 9E]cl|      $4H\xb(89:&FGHIXY\]$^Qbcd[e`fcletuvz4Ctexlive-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._eecs-obsworker-0010openEuler:20.03:LTS:SP1 / standard_x86_64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ;@A큤A큤_Q3_'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-0010 1607407973201820188: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 -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/openEuler/openEuler-hardened-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:20.03:LTS:SP1/standard_x86_64/f21e64fccbe6b07fc33ced66a669d29a-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, UTF-8 Unicode textZ:p_Sutf-8945c2c793b77d854546b4307318b498f03c5863551860e5e88cb44b63e283dd0?07zXZ !#,#.] b2u jӫ`(xy2A'tZw35;7 *Ru Mr~nW}3EOB8Dlz==PR gK|*(\\QJtF9,U@hwʜ3 Hf gEmTՁI?lSe[*Zx>1 ,ؙ/b H>I2c{yF8ṭ`{gqDB؀UzbVN1X7L3i\aIH?Yf?x7u0r ?M X}XHV[m7|ֈȕ a_ahrφ`CǓBx+l6 ~OܮMX{-ILl99=-e]T;y1Hf"]}vnba4L,^p_*;jܤ88O Tv]n}$%Wuj7DHdTAk3Z~0-ō7_EWh2(?d i:TuOrs^яdlrPˢ9.8'It7)h׋d-d dfXf{; 5L0  W[,/e|Ǘ&7-Q]a@/x|PߎC!3&`[/R~\TjnW*@U\rm5l^Slu#2FTdBZu%p= GSJL2TYN&FvMu4 s00h٣:2_sf4L>n,!(g~Kʊ ڈYE>c{_#{kLFإ:<$9SBA!cqR [voďA@bOE(`( 4d #zǒ41 پ`#zߜ{ƺsEՔUѺI;bLv*n=FpLQl]ږ3\ FP}B}'o]oL5rlxv8ګbKxDG:>ʼڂ~M(Zޚ⻪R{oc ܮK}oz`N' D,a8Xi[lޠ=]qEz.[&VF2v7+H&no#8-zJ(eR+EJ"f!=7a5A !$.fur7{ rYXF'܌aVԜ]{)Mw¦;UVpd!/o.;UH6dm@5#rM%mȂ+JEIoAmfa#zqR4d 9Gbi"eF8Lw~=Ty8&D5+ BSolp6MKmi &/rFԚ 7xQ x5 _I5!HVXW#y7O!Asq 9˩F!De[ mΓѭ̩'tTxe[+HV߸Jz6K9N[iGY\{ӫH K)&k'_崱OEC[Γ,~㪤d Eulb ^KzJ.7ɪ^P'8Lxxu*l=j7zެkqЃgKi~@̮Ykw鬎;3 Xe_o_k*d] ?Ӄ׻"K `ހ ݾ>`QSNst۱n>|d~P h?SWo&@Mqp P ~ Hj) NȽp"ddfp\vjtAc4뛠^Ja0Jv+kC? k{ q3ӄy76aeE"|ZShT%rm"n.8bc wcwvy!4Sf*\?V9t*a]ubCP/AGx0,wb b ~Vpip'mvӤ9߁1{Hlkqnhu}ˈDK\9|QLNP7/݈cYVڒ6y땎 (/0YYŊ ZѷB`i=^ 2P4> Ͽ0P/k$(T X1õɼ W=;!͹]iL)( FU]1$“N{%PiホP]>9hZ:88(;-<0pb$,yXPe_A*iPzP)&_Eӫ-)w4;kGhf>TV_zxXm~<ǀ ˭+FO,Ӛ,L YIm$?3Qfַ=CQ]7ƃa'COEz8 NOCP²:XvzeՕ<4ى!0qCJ'1ʿJ19"wR 0VUyLeXLN:?CO;]4vY4H)p1 A~" }2<*Z)0a n~\G}*I^T/*#

V3v#;L̮+#)LϪiuCv8ۿd5lxq+59Q6G-(e'HjQaxce+aOgՏb}QM$]j&wr/䣒h<>i, 7,LmN+8y4PW^]K2*3~0d .[hR"cu{\#e~3% !fLX(>#uG !,d:Ÿ7f} Y+G&IMInn4%׵P̥ ,ӔO.B;J4=.Z&׋ފ8k"$_ULjzc47  9?97fHlślo`f.5!܋9,ZDu9\ ܦ??9v&1:} ^+|+\UWOv嶞m\?}T8-J>ToANu~~hmDUJvaP*rEi%0z'694$/ S. ެ&5z ASf;r ެdOH:YmJ `^F 5x/tH(B[!Ga cS8%MBvקI7 8P'L)dI쏲͜n@~ѸMjO]B%X]!̌o9"@CTtbm`IΩ/ao&Ouxcb@~N 3:28\ѝ袈|8j}n[Gp╊j~:k(S j[}@LA#D,,!y|߻|?(;܏3[k DfLc<2b|"9Y5'RvZ cؑύ[N>i;c={춮jz߃@"ȥ|כC>7H\c=ʞêaa{~r o M\?zKˢVAQI>嶗2T=I(_qPIW@ $Tuӵ, :)^O5ɻk x#]UN,K@7W6wKDAtI1! }(k3%Ӟ TC뉂I.X܈V͡wVПQaMj&⿸+ăB9tJg5uwms-Zк3h @~N}EK5躺)`m,o!μ\=ˈ $ 1n0H9htWJEh|P/U2}Bɩ"A ziwI`LxIrX^J ~yyމ_>a.f\a|Osg2a0vpQ:I_mpoƆ-v'g,T5^{KHs}$\ƶ\ERGhZ6{H2&eFhл2*|T%#U օǜ$ժVkEpZ+B1%Ԯjjvʰic֒iFw6l~,XK< 10VteRqo}\ Ju,my?Su|]>Oq˔baV9Z`+z7ɱߠK0Q4u{ffz1X|{+tF򍧦-\m N<ז14т9WYYԵ٩ H+BA!W3SfiD7$7 FFX)Hc_~l pi[M6Pdu3AQhuA<|LNPy!+O{݋TpOWyaq.!v!iwWvS$ A܍LbGek"jl7)res $NSc@ȃOt4ZϤ L?[2f')<_uBN4:AW` s]9D4^{hHdyn;&LQ܆.Bc_Cyu4H6qֵ]C~ X/gv-Dlαiad OFCؽD껻IfI|~~ji8n,o,SNg : 5>1O]qi o/ .4gwD9S(SȗWvbkF5">? 7t0ZZ %qp9lbv^WZz`QC[;;ɒ0|ŗeG`k31o7`]dil#cE;UѰq;꺅Vg{Ԓi.B'T@tijCo={ۣl_0}# Fg vqt?3W Fz oy3 hL]2 <F2W YZ