texlive-lplfitch-8:svn31077.0.9-25.oe2203sp3>  <@PT@7!.ܶujG7oe}ˆopeneuler@compass-ci.com G7oY jPN:nQ4^A(W~I.܄jpAW2C ~:P& ta%eM_sKNG\B4w3L>=2r{4Ap)< 6:-)U$xgq=M@{Ͼ%d .>5G aDvgE=}}C >R_[Q$l_AI)ix܏Oɇ0Gihz+2+fd쥏qE ?l<՞9'³+SB>—Y>T&H"q{Hnw Ox0Bބ!E"@M[uk^yc7bee54789ca61a0e38b3398d96eecdb408011d859ec699b0efb49631024268e33dbe3c52551049ec878addb797058be6f1196a12+*B]'n\]>; I? 9d 0 4 Y        Lh(8 94:"FGHI$X(Y4\\]l^b5d e%f(l*tHuXvhzCtexlive-lplfitchsvn31077.0.925.oe2203sp3Fitch-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.e}dc-64g.compass-ciZLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJXA큤A큤e}1Q3e}X85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb47ef27db33f7e0cfc132329be5263f6356b02d42e1b1ea25b99a7deae094254erootrootrootrootrootrootrootroottexlive-split-n-2018-25.oe2203sp3.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.17.0a#`_[f^$D]caodongxia - 8:2018-25maminjie - 8:2018-24Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Remove texlive-lexikon who requires texlive-wsuipa- split texlive- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initdc-64g.compass-ci 1702740476201820188:svn31077.0.9-25.oe2203sp3texlive-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-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textnPUXy!`utf-853d8cec15ccfbc4d920a77e96e8f8a3532ef6bdd5603c2ebe43812b15298394cc64ef51e4948d15575f41233434b1fcdd598435ec4d5395c56b64f7c41fc6e83?P7zXZ !#,]] b2u jӫ`(y/u27/+6ѯ2ok KxV'ge!7m]?j ~$ hd1 dkQJ}Y)=胲-81k]֡B 6@!dtm f^_ lubW[ RU84D7UVq'A::}BU%ttgM -Y X 6 `!ȱ]{Hj:4phF:⽕m ؄4L=S'"Yp,N7cM+70i `!  $2Ƥ@ GlNӄ47Ta}FO⤮]w&} b`^(HVynGw%Qѥ oؾf !/;+D9k,| zuޚ@ئ^Z>͐DD7"d},FP'$Ћάg@rxzpQ!wv]w.#}% "+'_2._*-կ>o3DH*a<ڐ6*Ί"f?qҜ{1fgWrlEytY4Ԏ_؂2Y7}~A>v0.#UB.lz?a |.:/2&Wdx M4Wem+p!L)|Fr2 1ޤ;dLuZOߥܮľl +%Ŋ]! 3Ő̏\lZY;6ĻM>–o1oG'o1G_UVUVYtHV9LleTg՘%AW{Tx~CmJ$>a6.f9'r5SñԍSmy ݡs+4f&qD"FpFF@{u1.s ^;2rBiq1٧x1zYc:}slDF9nZ,]5K8Dao)kWĺڮl+b4mfWU/H##N{^ #L{U^lÚX ;0th^S͹ZWarC*J4H}r Ob\6FGL:Hֿ9ItO^N|Չ@&)APHM'٩XI2\` 8~ĭ fJfHxGƜIBrni3"}nao0_L-йyʹ^U3U/E4lkQ:fs3f&UxZXGO ]㩏",}INU_Y:}a=jEM+;ܕ6U*f`7dvwOK5PPluxuh(^ AT=\>(LނX<ɷu rvrDZB*oҥ=#IOB4Giw'}t_ARL`2$OMsEWQms  0)\b5A\flG;fu,B*ߢ0E⁅L-vu C!G=pڅ&:%>'_ӏutӑ~I޻Ʌ%!Osh1}yM k!eւ˷ Y7OĦ#=j$뵤yXMאCS[VP1=Dy@|leDh3|C_ F$س2a ,P}Jfqr7"ITu d̯'XD7QbFKe)eMQIIZMd;f=3%LBxiTN1D3$|9xt#LW6[A;SFxyLk^cVTW"vcA~U.Z*wZ=XGJf r^W]g"]rgw4l6L_sEtn۪C~ד bϟRp$ dr ܍}:Ӗ"U*Y8΅tYHlŅvWWgkJ߫D.R=4MzڕIv#u'RpUȦָU]z~ <$MEMsl2V1 <A83XǷQQg6-q Rӏ J}mJZi F4y]m?.[FEj5R$ٖ!QW 鋮ڝMk?w8VW4^6<Ēz^6:$MkA$ 2 D G:KkfyP1^?fGx-fΌY峧R ANkΫL wd/ŗIe2dþ371\Sctq`F*<1#F1mw)+;n:!<12X( iF`=2&J(I.mFxgʟrkZ"ݝ5x6QH2Ly<O'1  T/e #;Qm7ѥr/O94.B}|aW+)W?0dv4(Қ_)=kڳ'Ag91m02`\n,1qRv'·ߌ{ SI>ѡ{`gEjj P `?44"]LYo(K?.$8cUYhc!; ﴚu@Um7o _*cdfM C@Kw򑾈5PViEth8R%?6{_ g."N0@ƴ;᫺/0>Ї:З@ۃ533i9Ƒ9FPWuUpMLط(LkA'/c)昳ǔY:[4r]79]gFc^ȳ#=fkW TXƛJf?R$f ǹy.a[ `^=uA>Nd9":iq\/%ކs8;ё,VDئo칛`mQѻḒbEmN1]<{NS*7!$L*tY\/Nq)`ŗY|R/ mO]UhJ1k1c+#K¾KJ7:YE}#Bki/fZ1 LU yB+9R-J_ ^|ºhL9ҶȜ@$/tS>az*|HO\q/yL0&n?~)\Ƹe8X~m~1Bߺz:Ucf-;)a$ M ɘ["O7RhHœ1)ʹURsI+8U vSCD4_fHL\ꖃe WRMh٦F.O w8)`bV$!f,ݤqKY/@~Yڹ)cO*L к XWKU-K"s*g޽PӴp2ࡉWD!k-J$(4UKN;'P~wx^܊4l#IZp7AUA[6Ɩ8ldWeKᣬ!_"?ڲ_cm'}䵓'CLImN罸 .bCg,whsM;nxSuvh`\-$xW-|ijπ.; QJpʼg(r>Kz𲱸HNF72`Axg: L8N>x,+W.J2GCV36ϟM,c%? ΜOYۺi6U1.MZݙ剛rC!̿qx!"c87ns Q/P%/w|H$Bp+< x_.oS>R'x0<' c 3r: {ˡrW ?9I 1"[h"b5ՓfwWoקWL?ѫV-x4'@- ,]ÍW鷦AitW9H;f +'0UxUPnzAKsVX~WWϗĹC%oǜ*dgJ J[v1<#%іqI!K;Q^%8ŨT&lڕ]\GPLlԑ<๳\UvVSUMn2|I#Oi56CUC} AԻuhg;6p=!Zc6fs"䩗ƛɡFOe<>OuD|AvSHڬ S]) +=tK!E0GN<ϙ#'"%3Ef0`[g^'6O}گ/U88)U1 fɼ,G$DErg{>l2n~*C%i)e9ٸi{jNRpj.Q BY7&ܺI0btܚv4_5(q9SDI<ͦ'NKi9KYiX 59QR kTRO ~p>cb8KǸnL}U~?q:o'O؍2B*i<"BC`TP_VdڕO 9_㎅PzNh*%jaAfprVRz Y00sSG^ O;y!V,S5bCx6(1Bq2 )1;? zҍ Ifd< {=Zlw``$qV;tGGֱ̠2o &:qܮ*}ƴVJG EO\1AX<13עt#,C"]y%Ihʳ)+J ĿXbrp Ʊ4Wm].0jlm* h4.َ->uO4{(jWNIHUu3CK՘C^9\VO|An=76 YZ