texlive-lplfitch-8:svn31077.0.9-22.oe1 >  A ^yW^^fpJ"*__br5sU k}7KA5W˜/e !X1ez 7<;U8<*4>L5QUe c[GO 75`7m0,}/?PxҒȍ]}yiPLUbGL;U'=H@㍆Hlnj5!i&R=1DX8&Dcy>ot YρxA<+z*It/dc9af100f383f4f99af32266578ba98e921db1b98d97b4f221ec3df0e9cce4f1c1e0fa7ecbaf6bdd7f1c990a7d2d59aff2434b8b+H^yW^^fkd$žsQ˅765+8&@/*V_W-w&rBp_ibxwFciyc CV7cPԷE+6C:ʔ1>zޔ# &aՃ./82C W˪Jo/=~+7wdUx\Hq_A\ǍF,D3o Fk-,>;QPN,}sȂZ|W*]>p=x?hd ( , Q|  0 8 @ P  ,<l(98@9H:FGHI(X,Y8\X]h^b1c5defltuvz"dCtexlive-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.^y3obs-worker-004ZopenEuler:Mainline / standard_aarch64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJXA큤A큤^yQ3^yX85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb47ef27db33f7e0cfc132329be5263f6356b02d42e1b1ea25b99a7deae094254erootrootrootrootrootrootrootroottexlive-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-004 1584990259201820188: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 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:Mainline/standard_aarch64/0f6c5be2488efa29360c24141c1d6c20-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textiwvƀWutf-8bfcd45dd89daf19bed9f3fc5d41c33878c34935f81db01ca838544b4fa6e7f0c?07zXZ !#,]] b2u jӫ`(xyT $4kZ-V;;,la!+ZjH&@6/rqv'PV:Lކ(9]1Z.o]9TG%iIȈzPT:2KpK|y'k)&Ыƪ]|zc&y;"O1,kSqΡ\-6N%B+Ee6q3W53"8+~#3 9>wT0٦j௟'A}G&+eL^_~)}fhЬUkC/x6lw|iO]7Lwu6HGmȺ!l_rdҒx)&m3QFFw4,RGNlb^9+V#pU , =j2gX?hz]o4Kil$#10όӫ|5EK=0QAP̜VƉ<_e;W8g$e wv4_ m<̜*Z;Bx :Df NFrš+oRmxaá37揨c_d@-?W9f^@U?, 6q< p5xM}Aʄj }R)`.8FYw&Uf)nE7ݘkq0OzJ1M8$/?N aP]8W'f0\^_s hC\QiaALMхB B O1!<:^MUPk"^tX9 3͌lㅓ}>kNs\%f7wb?17uh@߉~D'$7ej쥪_%:XV1CC G_}b>E0)QZ/dI)k6c>|8(* =W} W<\9\*&k* 4~-VRiTa>|@5ZUp/܉W8#G r0M3b Q^[_޵|0n5o`MlEϳ7$ Y[˶KURk,,PFt}[MU)Z uW^6n>v.,\K.)˭1AMSyQ?ΖtUp$xǐͤip,˻11R:U3tطqy- )݈6C<6bn._ v_ߛC-3ML'uA0 j^rO(+/C{ hF)EC|bL,ara~'!^̎:ڛK^3l6]D>ert¶tEX-KLuk!Ūپ9K6n⊴-%󷷗e#]xVrdn bU oS!6}mQKxKį==o_1p ;w0wYʄԒۜ[.,oB-2?䎱7τUnVg'S/9C`.RTÈŜd5K'Vn{*u 'Z,PfFk8p-X| h=ů.9S5@Xc]v޸" :čgK &68}PL'M%9X"ydO؊= A\6e`Q G1Epo zgb4Ae=KLvR[0s[uo]%d_F^hZIp}#gz,$U 1QymnBZx`f#$ͻ -䞻Dqt3Tߝx%lL@q9*q ?Sj|/`r(ݺ }#m阮 BxL;x܂de_>46Rt(dZ*(cS@=hEAD;[\h1dL47UaX7 xV|~lp97lV$рn`g'9LK3 qnuaq`Ca/`GvD/ u,B1!ԑQ]*c0`v1ْg=HJ$8Jh-,Fz7S-Y\s_Ph,uXƹ"HN\yqFnBՙ a I'$>*RZ"9siSy,R1w2mW!pEh%aUci Mܥ]">;rmapuK9#.F /(bЁx5븿w> l8^Q̫:XS@fn4{A[{|j1ga{*y0X9 jPmC{r>ڌ\{/Sep4ݴc7 5,W5a^5Áﹼ k\-zEKhl<եXHpkяu. -4Ǭa#ѸzP5;cceb TrxNuI.*71 z=o=aLn_K]@!A٪g:w8$LX"Qa+NC83CqھE>.j$Y?in8)b+xv=?)WfqRU83oVE+H9{o=!y47ؑ[>ۉX }~PގĖF.bUF*"d)̝РВdA(ѵ8b)`qeR( '}a$cCj/p,'dugyϽTL CGE'F1Cm%vYm?kS&x3>Cں2^L+#Cְh DDž9 m׃ǂ+'` 1+#.\.Ȍ<.̢ꀒH," I<ȂV uπ/ָBʄ{(p(.GC<&]!WK<c_>ˬ!=w~K00:ւSEeyQ`{?_K.2Q:+r:X%߰EB?9+ڌU# k l߼O%*|->NU'1s@k[B|c^_)@j513Dmr%@-t1lm!C)s͢8,A]A{QP;zeRߊɷtH 4"VbsY|@а`e/w݂O[Vˇ]f-Zb-ޑ񪒤id5TT93򰳁pSf Rz.~>[*B@wL|w8B7p8ָ 2yl_^[hE-jlKNcNiGW6ŖzQ R\ jHEFl^PeO-R_]\[gwQ =cH!]6-e/15}YK<7J ,=CRo, BO `mF'''R_pʱ+!}m O xRЇLckBI5Lju8۫sAM 2l 5/KǷ dePWjz*/CW_fc >}yܝMF`YN#`9xN@خ=Sv>SegԢz VTU?Lea 1c)R!uK h/9U d|I){OsN&1"iNݹ6!ojx:səD&V e ;e)>NPYW74jfma8Cד` ~.]VWin@1lVq?*)@tK=۶=Q : 1JbQ>[^ArDbȓ-m8c&>#2cY9(2*)=Sg9Eke8:|roo[j5on/쓴->T@c'$ fn36GbIP+ uςX 4ȿ>\@7 h.ڞ@А*0_` m_a$)⧛50g0x֞!5,nICۅ3 By2)LzUCch>3]]) cEL]w=_!s `ZA꾛4H N'xc +BʳGVM`/F#8^ eel !$0g&%|] ظ~u >xc؉گq W,aԽ3h 5LH8`@z^6ghEH&V| G94 /-4lQ5w`^I%1൅t# _g^Coi+x;SI SkJH<;T~9Si vTlJ熘6:J TӂC!ys`` [y,* }&bmR#gv>X>,eFs5 "vj jW ˻B%~#e*urHJ-Y fn3 :<6⽃=TES&[_Hʾ++*z+r{5[gÝG @KAEX^QK4} n֐a4!K),&C((abY {W6*npYA {%WP#~<7 ?GHBf\$03B| 1B8U _HLKy`h 4p\"]UHm_~KP:+;Kr-8/V7<](LX{~_PY-` 2%bξc<'(%CJ34 ]!P9$;64 e˾5Z?Z_ĢMCJW#"{%[֠8\2f4 lǕ)MLK#OBHkE҆d"ޫ̼`3\BĘvJOܞ< [oغ(` IU[YߡW{{;v5e=vu+E3F_D8w~[,Em8c;)UMME^,v[T ms2cdҎ=nT7iTDŽNIlU40uuxF@A.(@MV%Н*5!S4\fjfLyD &8u`})嘐`HߠC.Wk7ZHFe{ts*pUi[atbF\F9=E*a sqbdzG ?-&>X&g ?|!сƙEɮ '.f댔[gz.u7tO3:$NL LW[^l]0IB=щ>븰 U@ W*N~KXC+$$ ُyS288VfG~) 2bVdJÛ`\h*E?&_dBS.ԣ VDti Aa9sf ɔ0*jEwK]<Ґ*f_^@ f)aa(o>粋q1ׄ=)zis=zV6~_isKZmIx?8 ꟡u$.6;AtY_A޶׵hY,8@B7"ƚ|os3ڧvl_|ݗp5KQ()l@"(4R4O$efhyg9jH^"y3g΋j"daHIw׳WK4Kxv;2PFpn旮%<@rƒPBΙݰõa\5Zo9Y/9FZ6ϝtz$Aa<* I;v!~PӺ3nuއR̈UBtI0]F//?ξi20IG szjtCkIXHT-ԄjF'ȦDPuqELc)l OѸqc=mHgtFWSgNpjPSJX1=G?M{ƃ95fאN! ztiҰB" 4R@Q8w,좓N"Q^ijz-[U ]anEpeQTfr1[ax'uD;¦F