texlive-lplfitch-8:svn31077.0.9-23.oe1 >  A _(6W^^fC<:Q;Nٚ\&^D@ 2(xo90@dsPr.fFk5ܸPd_ׅrWLUxxV8ۛF},#tSPŲł:T4 ^9l 1kcWywp^ڥ1=t.wta8bAUkN!#j.n{/l EO"YxJBs@06]ن/{눪 wba9a49f15a8c608a21c7a9c3522d2abd145e5a325dc1f1a0a29c0f387999ad20eab5ec2c75ffb59aa72781c67b94c6f11285d6d9+܉_(6W^^f"*IAr}cZ؛ i׿?,r^iX}pU*9އ_`q`гdMGTK?3Ք{/NV)d́%_<[zocXrݎXe% Mw8@=qPNL<7Do(A {F}E㐼s74X;4( 3l0Q@LzG'lN\UOʼ6o GlX錮H~=.@ 7]FzƊQpT\XeZ6]>p= ?d ( , Q| (8 @ H X  4Dt"(A8H9T:FdGHIXY\]^bcd%e*f-l/tLu\vlzCtexlive-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._eecs-obsworker-0010ZopenEuler:20.03:LTS:SP1 / standard_x86_64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJXA큤A큤_Q3_'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 initecs-obsworker-0010 1607407973201820188: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 -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, ASCII textZ:p_Sutf-8b2f5669eb8f28d3729f24cd5e30204a1fff80f30615872f6276ef3c62df0a33c?07zXZ !#,]] b2u jӫ`(xy2A'tZg9iTJǠwQ /Zȁ8,iFj몈in](<@ftqYWua5!nB `yL _g4HK+0*0&2RpA@ ǚ=m) 1E*0Ys '!5X"n)oȳp~Vˮ !ȳ~4>E-o62>>rA%8eYBWunh-~ťvlWX %sQ>8XAj9W_q[y0u=67$o:mBF~R8@X+S5Lx}>x_f"A|_9z)tmY,>rn}*.s:  i~@^hcrL+*tG_A#5"ZpJb&@=:TćD$Sp‰h, D5Cvdxb/LR#˷NTT=ɗOX`8'[qP#_TYwAjn$ d Уl&~տdsLǭ9V<1܏eǸY6-v:E#e<q9%z|!:-X$DN]~A,?W] ʡM쯸AF+ ]֑%-2q|>u >/ eew[i2bkvTtg?HٶA(;t>h<Ν*,zTv`oC{+ _3>' >ڬ,3OQ A,w 59g J4Fmbi^?"PثnpVLA#a4MJR"uC@T_ׁ ˎcciK+ H\􌃍i)ׯ=( c,c$‰I¨k裎!}Z6X!6܀AQ{!@MPl},j۫3!ʩeIbKΪ)N/$k" } <LAMa &|k_J+q}7OL;.o?9yzE6̬tNh+IKݖ|7#O8U㈩3vw~iqh9qYs&lܶArBqk4Zx?;D>ΔQ )d'D7E2d&هSg kST\/@ƞx [72 @( A93u:`):eNO3Wn!S=_[ܭvl٨k/@v. kf .j)>y`᧜u">릥3n B@3 gcm$(MHQe]g-sj6 ƚBYEn=K|o1 DdE'(ˣb$H\ڡ;V>u,ҋ) BUBM srlP0g!f^`@S8ڔjC[vSQVZY%{B%)dc3&)=eeYFjl$ܵ;m}zS#88, )T+8C~UؘkI#_2Bn;f/-?~b5YqgTf.*:@e>|y0c,ƢbuBc ?wm}SovVqc$'3ܒ`~ ФN^{7j W֣Ӆ =:JԱTD/ 얠<|Lˆ.G &Kf*Bw|A@*Tf *ȉ+>$; `{vnD1ݒ,JDZMVzpf` " `}RQBũ:fg#ktS_OMC֪"0&s)<h(9r5ba;#9_21ZUΚU-( Y_VO(98w6W "}kz=Uhh|vql^x*uj+Sv} W>b {h,!@T\`J99*$d뱻\^N*s&1'{>vs@Jtzk~#iZ%)Q5ol!tzKP/v~lH00xa%/$)̋z/ '@kt~\j%G|_-r1?~xEY1ҷ&`K3s$^"C6!3dŐͯ[ Ua29:#CPdDS|o+jLf !Eë8i!C|d+ \v3"YEy*SeT{&t'ywl"h*8?9`]LsN*iJ򯿷ۻz+RD$)81#}/2+Jw!lZMKvƌ$ѺXp}q_ z${:sXt~jEׇ.Lbu>ՔDڪH$HB۠V([80NSTq7=gĜ ^}tpEvyGJJ:w?>+A{P٪5rm< 2R|KBuD-fV<3?qmvh*-0!Ur /A猞T%WV!T`ɈccqkKL<2lQ4hNd/ 1[2qmq=% ^BoH.%s¾S37t:pNEY_Jm]M#ڈEI# T_[.UAG4+dZoS}vq!re1O7ZiZ Mk 1!& nF+9;e`UJWG]%?, );ӃkVz"RKBH"n(p2E W{Q(+clA.-?X.QV܉TK|#dWa=EG$EW֓fl~>I#hƌ{zV(']et8]!S"fжT THd0O e) z*}>⧊&v3Z*㽎c4By`5=SsB(& s@Ex0Vg:5bd;SՕZu"9P%#xn(7o}XO7(+C7i'GMhdd``:{ۭ#K OH?f/Ujܬ0'z0I6D% #.t 47ċ`#$0꠳l/g@XH dQ VDbmQ;16Rd6ϭd*GIz86|lzڤUi'ɡ\6+DO~i!BK5xvÂ1H[(ZE@Nْ)l$ʚ:UDS_S7 U7:y"BAm17xA ^-ԕlSnYiQ;IlJoG8 }qIq{%=\~B!fFVy;XBcM?oƹ..ixgo<)|4ǚa7<)q(vں#Џ!2Dm$ Ti6кpKA".J&E<>8O,Jn`? ՐEq&uI¶Q!kV"Dz*#؞Ƒ$Y67),v$tPImG diG*Rne؟JWP:4mHMͯXORg 'yr%$,.ub?`m?*g/N07]!Xr,oCJ<+o$ @yw1.@yƓV;Ȩ#L"S` f)ۚVy!ȅ_#5}'"HM}+{`/&bshS\WMhr.3Kw P|F<;|a&}qCp̲Sɘ2jm)B'o+݈7?O9W  05sz/6 ӌݺ%ݿYųÏ-,|:sGu0EeZ 9 ho3n+bⱠ.cYQ)h di#? 3 %7}/U& j.S#;g#!`?C{{D#ۘ.Y͚|7r JT@r);48MU4O&h~ p,#.Uc1ϵݎ|d' 9ro :;00 dyycz ݲñUYArALrB6+\NCrDc'(AyV.mUjTAOhg'w}Uᖯ%8@8Ɲ„r`30SÅXA`ޮ9F,eP0%_ۊxPJwXYt~h0BAA<*< nn{NP9G<~"^r -.CS 7(vCX踃 jP2#)מFVHodC1MqJY wΪO%6W ) 4\/,Ks6) &k"ccF?1IFǒ[<Ǹ7AhCER?WX +, /@d>H6,-V:ڭm8 >x@:d sk^}5Rw <2SV01KF3ۓE}͈k JG(W:]W牕,3$&T[B7غ⪂&]SdڏB߰ˍlNU=|3G]B<'^=/7,D}/0():}"σD҂2mϘHuwmS>f7Z̗hU~< h2E2}SAġ4z;z??\'`>sRrc$w:.x4@z^m&wO4~G݄.4M2(l0Zo=rjĨ{H:GRSC㯇H/{q=)r)>ol$l{-A=rl¤~"#/$ntO/ VR|ncz >P7fv_ELebakMISIF'OCL}2{Y3f͚u'ΐk1TUlQ9/`v3hggFf'fG֔%TQns>wdt}Vu3E7:lHp6anH+ fJY@8\}px` Y <]^}R}zZBY:kpHK|-%8?Nq B(b~B vw`o!8eq]%`闔jA#J»{ SI>o1eڲAk"(ŷBQNspV y&SL,LXHdssձmHHҏ~^Pċo/ֿqjkj2#&6䬣avL b$'qS:_3MR 4Ai%W; SS\+_Xy"{tSB|#j {DI,d&0gWqwY~%MUGyBd1># ,A⫗pygWvڮ(cHcH|wӍ0x Z=U5"Apҕ:{Ҝ@"eN<iqh =p墂"~B^_}-=arG{W)&z1ϧ76L"a7T#" YdYa(^)jC菎lpC*@Muy)! w@1lnНX~Sk舜]bjz#Ԃ5J¾Иi0>., *\wzN7y]l)Ϲk1W"]"ٺ[ҟ\۴ϭbZ'2E~hB>>B3ƉD: (b/N2q(Ν> 1?RNyldP( [=] |z r%B-uCl+ƕYĮވhGMټ=76 YZ