texlive-lplfitch-8:svn31077.0.9-22.oe1 >  A ^yW^^f҅yhC:ڷb`e|k&H˞aaB%]g"я1ġYM ~B*aցHT,~Yg;3X|S{T|7D]LO*K'Y;o(q.)Q hD0fʋSs@A{y_h ;Ezç{,GyYɦY<)k!²| 2:BsaLڈ*5c4940ae48b2718d4c5d3fd3c7e7284bcfb37b935d40a00f152e806ef6bde06a56a77abd63b1212f42cbb3f5a790da18b22dfa27+x^yW^^f!)4H}-3>J? oʏ(*(J\HZJ[xqS_y(A? t:l#E[KE*Ӊj)Dy/7 ?6 HWݓ^C"4hZ\D}¨s:tGtvUQtz]d7ya/ODJ' !1C"[Xx1 #uИv3Քϓ&ì$SZ'r7xN2”t]>p=?d ( , Q|  &0@ H P `    <L|*(I8P9X:FG$H4IDXHYT\t]^bMcfdefltuvz8HLRCtexlive-lplfitchsvn31077.0.922.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.^yobs-worker-100-0002.novalocalZopenEuler:Mainline / standard_x86_64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJXA큤A큤^yXQ3^y X85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb47ef27db33f7e0cfc132329be5263f6356b02d42e1b1ea25b99a7deae094254erootrootrootrootrootrootrootroottexlive-2018-22.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]daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initobs-worker-100-0002.novalocal 1584990433201820188:svn31077.0.9-22.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 -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:Mainline/standard_x86_64/0f6c5be2488efa29360c24141c1d6c20-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text1u(E')xndutf-8370c98c9db41dbda1794fc5371a8f373fdc71f9078f5e53612e365a23fef5e9d?07zXZ !#,]] b2u jӫ`(xyT2K a)%Í)gD+q*]иi#=/9b*-V5 >\ NLB`xYts0rdz(/5[څ"'bp_*a{?M;ܘ4~0g+ZWcM}6h.u۰d/~,wqXqR'Oÿ H'&]hXM -q ͹#Nf}-²0RJ964o>36 xDf"w{AIc%ҭw(?oaױl [D3GAz.bP`Y˷ YfU[ޗp C뉑 "ٻ9y G 4oV}g4BU?#}M;ǿ`0@*q'OTD)׺F@SMmus7mQOH: xOW0uCWU}l @My*q \rIܐhp$!G㹩UrZ).U:u+"@/̮Ikb3,|xo}yXm Q/J_ ⪯@>}xɷDji?gEK7ݡh- <UxSOAnO~cXa=λɍD1`jbM4x} n AE4m'AxC&]33ĪeXTN=!iɜ=ΉlK@i-2JmgI-Lȗ߄[:@oiע6>8Y;MJf< wp /0K'IE^ڲ&I<ٜ3A1[m z rR\}@~@&r@BgI"YR!WŭN䞮 \6h%#l H:g0Ȫ $C^R@Hml_X)N*`no Rբ~ -&?oiQ&9\)TB*Ҿ#jбx+)=]([#o ;%ѠV*1Ռd% ~:vj55lq \*&^rf|OZmwVIoO#UY t1=4|= "+LU,wNq. L  nj*MPFB۬R%gĂDza3&uHl-°P)5̡c8VXk]e[폘i1vK5 @0p _e\n#s)Kˎ_JviBpP%+(y(Z~}Fj#/KKÐ)&(H.N-"J`=Y)_UzھIWt]y@¹htpW5ƜOoW=z{!,Sψ@:D_ԿQj7I#5 YC|ѝ!ìdpTo"M#:j>*<|~28\q ? BSqz%|[G V1X†ͬ7ٙ:OJa9@7LQq!Ens;VG$K4j73!gQWQ40u1DnJ5";`TdfALӘZJX#=b,A_Ҕ |kvj8 { PҹP?lI(F C?~14Ի  40P<5Pʆ]$|σ)tu-0\nhҍRyv1"z;D^40TRHTAP0։ 5Wţ=ݻ3cN݃t^uz`'>'4wĶR +~Q,5״掚ǥ:Avu+Ը-y?Ąw#@W k*`&ZTl uLDc~;ReB1HZpaqaB f7||LWf=߹.-4IK-8K+ /L =H,UFy)w3o˴ĭdÝ)BxGef$IfM:p~ W -^6S47w:c8/wyH&6E - o|2\:S'dK8 *?F| \:b<65ޱ!wTA3Wj H9fLuse9w5O4r  S4µ:#5`1\6h){N=>IۦHHB Xtbˏ_|1Vr5Gִ ~V… 6lM,ƻXduͨaw㊣ ݘSa5YCd)mYSkUz⾵^85n֕X'E{lew |A?_oR otǎ?r-Ua Gz~WpƱ]`exѩʏąL͆dsN<%66d)jČ9\&)!=UU::.cIq%FW\cP&ި|}%g񵌺)j=yݢsޅb18ncۜ$ͥSȴc%-ց-FKċRq&il?2wLo=SkofmRnD%Dk1@e D%Ox^>0v]֫Cy 2T!'6 y{ӯN97`F_FL]0`|3#aZv kd|:DŽuX)~;zEtՏAޗ=e@ ^j'N?HiwT 14KM="٤1m`y:L vk0{лW1x^Lvxg<`J6D%3˘H;}b5^ /Qw{ՋەyjM_IDAٴT)]Ca)ry~s{b [Y.r֛37Ξ?'k+N?Z] \LIiB}*);)fb㒨ԊYza!4SawIlw`9a7U)Tnj$MfCU PjAg/6x,^pV .m)Q9"mEQZ $NTؑضiȝBuݮN=l9"BRBl]9C>uUu`켮5e(3,&K486e J~ +r&0B-YώmRpJ\WYpz,0KVT0!(' ɁE;H%גTΨ_4h)HN75_q?Cܶg LV:Lt+mtA+fܟ$cB-Jv|k4GeF"ݝgO) a^{׏|FXمA>59B1Eƙ(Av1ػW7c+&6 ` )?27>T˾CZUy:o5_fԒvW۾N*B7)ՖC#-h>@R RsjfW#tVf#*X.q_h!dms9f߻B`='A5awϙ$=*o{r ) ,~0b'M hb7U@Ԟ0]04qJDؐ[*J6. xciG qR!)LjyM¤& +V b҇AU{"v?]17pV`KN9-P!Ђ8_l2z{ [֢ Qm"{82As$//i2hLP/?ɏbD+̱_?p\=(aJT՝͘9r(:<&:״Q:7@({Y+ k6y2:@ʠT@|TT=m^=JvБqV{.x>--#ILĶ$(YKeMwwqoS;Ѵn=.^Jf v% z/ml?J/VD'/wV@޿7KkvSO ihJlxq?',`6#Ԯpg;!m zTt9K}"K7~L3:v5JKHbL)t^rl,06;)Y8x 99m0xg*׃NN)CN<_I[@?hX%]8A|.bd H݇ߐh\O4o ͉n9HqRNK I* Xls +N{<^Ke~A"9P )UDyL2뢍u8k%T;ic];3% g#KY}*(iFEIasM3m5L"6t'g,'jĸc u IqDyG68FW 8{NjzY5Oa!ξL8 I9 &#j~*=F8K(=|f BF rsvPe='֤[~42\w?d75V Γr@_|zVu3 ."|qܳbMyUO#|wÕj"̜:NT_Pvx;V>،FgoP5@}, 5rE)rh}ٿ {5j;[Lk眿`R:heA{ l}h3,#-[пU~Zw )mHj0ozf˫z(v#)l9%T"]/Uv̪wxB*LWKx㛍{K Cfka9t`PLM?lPA"}RB0 $;㏢ b)ZpV(K,^G /ڼ25F&z@x 7O{r2|p394f~lb -V l48w1fe X%`0veIX l=|>p\J8瑟9|+$m'BPA.;Cvͥ5@F8{GdJڛ $C4~++( H"{܁Qi,dh9=94F8" ͙͗}oa~a2ԡ*=Em"˿;+>>\eHX=JMt;>QXZM_}W;*v.Aci7g Gޠ XUϻl;nrL"/~"1QSK+1,+] YAavߍyu@2u7F}GܟkUy/H:tR4p4utwq } ۽W#cPjusbZ}* k.8!sX8^ ^^̯av~4_]|k+ 8.V46CRW$W_Ӎi]|hC]VdJJ JYU'LPy>XcTtKzW»K[IM;T͓]+Hz?; B46hҮlO9$Cyzێ(MKQ7P v;OPj(ScV6e`$jr{k)Nsr08lp!qˁ0YPF @۟1?xBA1<OEENSH} pA<_9^,R];XT=-0`_CCV]I?TonbY"aib/_F%۷I97U w#RhK޲$K_ԫ# @ylb!E`#wfo>,EΡӈHƄE c)н`[ H!#