texlive-lplfitch-8:svn31077.0.9-23.oe1 >  A ahxW^^f v3Z2W8J? L;J}AMDJw v/n.'xZReu>d?dk]eQP` OC8AGmh 7nMNk˗ 27hʘqz*vW5h&ѰIsPFV:_0Ei<څq ОdW*h‹QxyΆ}E' #.}Qgf8b57b5a821b9ebfa03c966eb39d030121b3cb50621c51a8dc2520e7af88db2bfe3ad5fd677b97c0e26e01ed439e84bb453f5b12+ĉahxW^^fzZ%KdYu^p[!!/ВKZE1`9F2k=%>wi4vV)8 tIwjt4>_٤6q),RhH rLb@83;1˳{vMخQb >Uml=1$!]vO^d+zٜ>| m QePL9WA's]ƙk4n.x/ S/R*xzom"$`|]>p=?d ( , Q| (8 @ H X  4Dt"(A8H9T:FdGHIXY\]^bcd eflt4uDvTzCtexlive-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`pecs-obsworker-0002ZopenEuler:20.03:LTS:SP3 / standard_x86_64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJXA큤A큤adtQ3a`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-0002 1640980592201820188: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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:20.03:LTS:SP3/standard_x86_64/abbc448fe7db60563655e2f379ce7a34-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text\?ZK6=#LCutf-8f1a35c45831e5af55e48766c0a0a9aadb5d69eeac7c24a31ed60e598d5e8a493?07zXZ !#,]] b2u jӫ`(y-7g>*`NHDpzOn>}B({Pn[~ u"|=wTnܳ-M W gZhMкD0ju>xAT rV%ϱ\.r0ƿoofH'V@'J/b;-$ZI:(|W,iNM{(.3i\$/9w5+<;`וXuYUc&28u~KkbqgICEe?@t^ 4GS>eFiۥ}rUI-e8c=o";c)' ysRA Sv5b$4@(Ҿ}{ݠ.]kb-+btlKNpY0$&;uw~-2*_j ~(R`ͩfۿ+5"(zEp% k3z +4@뀂jMyb_ȎR\j:rЦ[y Kֳ6o4O%~['0(;MT;r*20J{,Ps4 '61nd{%jEܳ V7 C,SzEMӞuZ~(< NRl]AKt_/vJ[y AeILT 咴1̸7C3~KM]&`,tzfZZbL 1/h[zOX> NU_Zxp\*O( fs^s5Jbn a Π0tjGхt$&|[Er*qX?^;X_0#Q#pCO&+2pAiÂ! #N$H,~zЌ1ؖn>Q9)}m[Zn2"?=׏]\%'dl0nBp诙G[α{c7KJOT4\?2LUBb@V?l"*)UU-~l7#r ̦HKڠ-,nY ;;1 G#D]Hjy!ҍ- D]#!x!#&ɲ6pZb6O]Yڱ16/ο %פF/ !m(B Ey4f\SH}V<~545;op%1iu 2@K:jDO/pzJOgHo˸3 _Ai*' bM ƠA)ZXtCv墤Ӄ4跥)/Q\$4l*~^ᩘp$dckh;wpXS^&ҌQM9 ze$–$zχ074kqR$<ԧf9KXƬkծ0fW֒fH̶al,U/sš4? iCTD?U!ib:0(N ڌlɓCcl!3OecHu>N@wM|O4:BJJġ"ykh%諒Kb1ʽwc@#OH%>%ZL-GqrgDN^E5ޱsk!"oKIJ&"E+t^kSo 33m<|"л=n{%XDe7dZlmKKGI;2TB^`TA1׏d6(pDѦ۝mpCxpdtwPe)M_#9^]! b"xBd?Rw?7?k(y{/bO{ jZCɸFʸ5ك{RU9`ÖA'Ƅ e<&.GRhA /Pl4 0SY<\fF|(?瓰JK+#@~?&1Pv9JJF2Ft_ix2 +| |zr8GhZH,<dl@Q7EnMYD+< WH"~\ ݜ 0B#δRe˸!F䒼A% x,s>g6ۦب<=P9q3&,J/2z UT OuAmu\OFf.vl#{xyJ hąyfT ƲW5~ozܭruK̊h}XEU%̊dzIN{]S'x\a dpp(M߹7ݝs*]' EZ/1z8'hѳFN;8eb\X8 D:}@U/ʈWY>q`Dhrt4:ܡv/X 2MU+bPn>kc Bֺh#]&ԶM,|v5D|CT$AfPeWؠ"$PER !"ћ)%K?E[.c,}989Ǘۙ8E??mwS%I)c|Kw~K`mGU7L╸i-(o?)?,UU,dI*FB0:U@>Q%Ekj \ rZ+!~g຃4k$e]a.^.Pɯ'iZ{4۝d~wEZ*6mckX|ug &-Vۇx C؆3M<^$#&N^aA윇 Y" .Pw?9y:Jݡ "pR'K[oѦFר:| sIYv+,W~*%[oU+`[kc^5v,b9(VGxJ>]Um{4RQ%ﴚ˦fU3s-GY]uo!Nz*OW%?5B=9i!#86H?ԶNu=1Օ*,Ɋ-KjڙhE_'j 524'&`=_;6K9۔o䩱mjcm0"?%BF 5Q`)o04ˣ} ȎMS B\l_D 9QI7er]t6#1T3AӢGN^Z^ Ap/\3SiufƼmYüCOʶ0U^/$:$)N[eXft+7;Ƿ7U!$N?heR^ug=*QxQq+W7&AŰ:֩-)8? RGFi\̗ _(Q.~L8U(/tav&XPZCe i>'U|xjjwƤvH{[n 'QT&s'kw~ vGW+ש- ۸)-۽vt=<'&? \oGX7fpdV|󇽓Pɺ`BEN"3NR?1S*rn?2d6^5,av=&6ӛ_mR/^ajhb,г| }nKW yWt.3| BK1veU1,dXB)' #+gRQeP) "}9 3UevC9|*K×岯zW y?W"q+rf{ļHh#>u@Ѷ;A)h; HP򚖔\6{p0MX 7^n1ٍfŒLn[0{ -QڹS&҇Vϰ!Go^u@=|!)Ni`xAAc`2ǝU1iZoS/?)#18F0W{bn!PJB0DF^kazsΑY2fO:TX`':1- ,k=vekM$ɂ{XuG~CE"Q!Z'0y` kAnxNI!8dF.ĿtҰ!*mN”8 fTWT_!iVATj~ b0@;=By;٘d xq&N` DLce1@{yI.;:œWH4a}/ps=_@aI0Q]ӝR5뼗eZՃl}GP(y 7F쒔]m}XD$NdGOb@ X `p^ @/M>4 :ZN 7K#yP6*y$mTǛ!6O?!}YcYLĬ hD xbϛ-Ÿ{^@oCtKQS9̎P@ $]HdVJM۾f#D[Ȃ<2DZ{ֿqUtZQzII|36֧q[Ȋcy§-ͅm\.VH2Pm$MY+yzX{f5_[҂w| Nj Rb=76 YZ