texlive-lplfitch-8:svn31077.0.9-23.oe1 >  A apW^^fxMf=gG/fn5q]bmF`^S\m 6z,J(p&π8$Қ2$`v_HP~?dapCvK7(ift&fOfuvi|95 aR߲1N ?RCTW}=|} I _7)Գfַ,/?T\ 1\S\}[5/IOn._ܻdTܓ2Ke1{,fXO{X Y k)y1R})x ]}O)@̝"yi5\akwLQt:X("#* NA /kvs!?]N+f"QsP*$vޔ"F|-D_:RڙZ~N_}Z~؄:{ Þ-9B6mBSC=]>p=?d ( , Q| $4 < D T  0@p(=8D9P:F`G|HIXY\]^bcdefltu(v8zhx|Ctexlive-lplfitchsvn31077.0.923.oe1Fitch-style natural deduction proofsThe package provides macros for typesetting natural deduction proofs in "Fitch" style, with subproofs indented and offset by scope lines. The proofs from use of the package are in the format used in the textbook Language, Proof, and Logic by Dave Barker-Plummer, Jon Barwise, and John Etchemendy.a`obs-worker-0020ZopenEuler:20.03:LTS:SP3 / standard_aarch64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJXA큤A큤ahQ3a`X85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb47ef27db33f7e0cfc132329be5263f6356b02d42e1b1ea25b99a7deae094254erootrootrootrootrootrootrootroottexlive-2018-23.oe1.src.rpmtex(lplfitch.sty)tex-lplfitchtexlive-lplfitch    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:svn31077.0.9-23.oe1texlive-lplfitchlppl1.3.txtlplfitchlplfitch.sty/usr/share/licenses//usr/share/licenses/texlive-lplfitch//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/lplfitch/-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, ASCII textXq)cXE*+uutf-847e0f151e5e7acdcf260c4b35f0be5b974b63572fb27eb5f2335e4a03e96b6d3?07zXZ !#,]] b2u jӫ`(y-7g? TOS5&L̴N2KbĄQh:y[S$R҂JύAz׉j/-c /:.%\N]6Cdo5=P4d=KT>ޞsPINUc@a; a-;ZU_f Cz *K^H$6hA }6qUCCВ;6\2)#el z抡Ak9!Q\Wǀmnΐ+ܒcvbZ'y:[EGQO,7sG/3n-<)TBkR!Ypd]),n! :E6`Fֿv F"އĥqeq4%*_UR'"FkB ɰu^n2|ϱ:h7y 5P'@ KzUc1C|m㝙jZ\*uSoK@1Ny~n<6a"!;;62:sD>V  ܲx2ϕ"vl*Wk8\/MSBZc+Mv\)͌.f3p*\(:&`9LpelKJ{y0*>g "KSޠP@wK8@T:W p+tՈ ;(S&Zx 0WF>A܄s !$ Rh7uaPCATfTnl7R$ _<B^WJ׻6q. ODHzRa XAޓ]-RMBR9EP9+AzTa&K ToFN.Ix6]엇1*(l>Xk0> j5) 9LAWU/Cua\%I'-Yi' X+ G8!L?0Aj\k'ܲFk q囯T̾:dmM}v[9|~0&ǐp%vX\o2#zao}8LKy}Sʁ7ւUۢđ5b OmS{K a>}|7?Cq&БL-cg@::&J6˜T9=/~bQј[p9olQ:,435mBo]l9pF$q'Sƒ[R>(Ż-{sZp2TPQw5xt-0bU3AG1c%qhs0Ko4W_Ľ,}r nv왾ѭnf QL 8:DWU{gdjt8Z5 -sDUǮ (BJ ;PvHt+5x #nQ΋Wds98?PSROpT/=qiOk^+?Wm.01ԏƆy|B{WצI]:ViCF:LXw=qo2aQgS:񒌢f$'̜eH层_M caX$9]ؗNF>Rnp# Vh?1Ǘ- cQWY2>[[( GmxX:Cҷeq39UjE{xV8gIՋAM`iW*( 1 0 [VR L䅯d $X&zhO-͏#Qʂf)zMVxRYx%zaHV&R"лO,y{/8uts2lR1`}A9*,Ӣ<,>(kІ%䁲->/M~!*% S]G,Ӵ}r`uC쏧3jcMs;Zd$\@WW3H _'D/Z)d%Lqƌ#{|#y'- +M K`7[9b8[E IU ]&n.^KU]=!$ϒaKD`w*W=~aZb;zt#c*xUTYw@K<.yLXZ[pѥ o\ pLbF)f+[ h`Sw* [koai&uh&IH8p#?Յ>?j% Ts ME f,JT%>+RK׊;hW qE!.%'ޘm5{;l![c zJ)mjm][+P30_c:< Q0el(><;:ߐe,EMG_Mԍ=Vw{A7*Yk}Y/l3 aLcwFg۪z>Gssbɣ.'7yk jEMJId9*,8 oBXovCѿ8LJTn+ hjHڍ{۪zf-eu%=t9Ӫb DuPz˲mF9G,"]vCr%9@YCti;Ź\Mğ,mA$Uh&(GKBde7! K[K܅!u_X։xPHl!3N1^toZ+ۇ%mU_Zo,T ?cr;Y#`@;;~UՋП\UYTz.%GW $ C> B7W ?P;S$77? 4TNs5ӄB\Vz!|])@^!D5T"ē;i]MVm޷HI ?nCP=DH`e8_"i )|_`*6'nUIn2jKS|+ zŷuFtiN7c#L7jq ' nrO7 v*&V\\ Y? bsYYQ@ !Լ?M1bic&xYiC1$pf!҉= :g5 Lc*{ FgIElpNOj5.?Q7+(;n7i0[ &Ű]W#Zv%޷$FMc称:p7_nWIPn;s~ 9|u1I5N33Ryp`?|X Pwj3:LAEbA2?CVR!l1N '8׬Lד_ gN}ZQãx[)w̅b2mr1Ӥ݁oOXW]"ڙ w;;#{B?^KV@e*r[c;ִ0;(GNwqS"I\M,N5P[!9SAΗp!yQfEny9¦NnɞL]'%6"- ;='/1q="4%OﷻâfZ)\dm$,^VN--\ml~;kqUW~l}a6Y;!iu;n @ =n~ӥPQ&Lw@F'p "3hb-JUfab9bh׎T#s,+1U3{ku[286 fFtȼ~d P"P#aUT ּ@+$YPh{'^Pny_ V4M`R}-r?cU%_\Ҫ(Us7Z&Ws_"%$H^=2k YZ