texlive-lplfitch-8:svn31077.0.9-24.oe1 >  A `jW^^f4e9<KshKPB T ޗJ'õ-3G0zI,6x ?NMֱBJ4n(؁ !\Jt-px )TS aIZ- ft[Q.ψűOGauU_F% "8e)4#)eVjtDRdУ'7(oESQ%C\fyGtCWTFHhu˾|b99e1d1427fbeae5587e103cbb0372b694ea593b2eec1eb1f0f2c0fc5213adf1e09bba0ca429ffbe47b5fffec2118ffc38424e75d,\`jW^^fau)ۘND&{ğ~۔KT J+a )N)YY=9*ҝh&7('O3M7Zż23˲|}ށbm_XVN=?=-bR^҉\8v DԌo/6AdX 2Y!4J+tVB֏LvUޓk\=~#w"wMaWQ%$<޸O`+F3hg(>f3pe*]>p= ? |d ( , Q| $4 < D T  0@p(=8D9T:FG0H@IPXTY`\]^bYcDdefltuvz  , 0 6 xCtexlive-lplfitchsvn31077.0.924.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.`obs-worker-0010ZopenEuler:20.03:LTS:SP2 / standard_aarch64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJXA큤A큤`Q3`X85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb47ef27db33f7e0cfc132329be5263f6356b02d42e1b1ea25b99a7deae094254erootrootrootrootrootrootrootroottexlive-2018-24.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_k_^$D]Guoshuai Sun - 8:2018-24Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Drop texlive-venturisadf texlive-wsuipa texlive-vntex, because those packages use utopia license may not be free for anyone- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initobs-worker-0010 1621924531201820188:svn31077.0.9-24.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 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:20.03:LTS:SP2/standard_aarch64/51980bddaf3c8722ee4b9b2e86156ee3-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textO"DM3$Ji utf-8980e03eff097668820d9e31bd0661800308325b02ebd4f0bbc16942c98c0b807?07zXZ !#,]] b2u jӫ`(y,w|h@u<ƒM1g`{9:nM 7B52`ϧT3 [ϲash) J Ż V*#pY}=YMF |[ NTO#{PCLoٶOw6W}: R-)A{K<⾛zw_̳^ro )aPosm¥2)t $iX.Ys 5)LrzWʭTWni?eA,4RS#ؘfU IG[7(RML¶VKcظ罔ФAQ|&`ܸT}M‡"= /("ٝ8d[GuBy {k 4N[jjM JZNg|q0^toyh0\ov@׎H99RCf#~ \ M|%%h"Sc'.>G-%ygb,)Q"^u/ #xI֖|lǼV՜$F Ύ]ŠCB/PV)(׉M>Rm3D[Db џQ(~+M}tTsi&= KxFݷ{_i<ݦR!)oXeؓ?FRRF(f!0D>=6@7e ~[ ,B2(g*&6T<%fecieէKM' :95ѾBߕ`c4?*?%J4aA=?}OO4706φ;jfnD:e͹^;ڽ L/p3M!]c#OA4P3|@@!ɵ'LI*n'?]S!oDP8+;Y13#zg1ݧ3kfuP/ꭝ5ulCn.ƒ/GL6%pHҼvbRI\Nj|PNMƦӺg\qz5T+V{6UPSU?/S!=097u. ]ViE"#SZ]:RI7 q+ V!Ly."]/o˔\) }p|֢%SV!ϐRh [IjӘ/?w1g*Rdޟpj<>Nn/X2MdMw4tK/;սS־v0YQe'3R!#d5c&7lW$T9qY9tn^0stݭQ< |hj|sO) D7@uӈwfffmە~bEǧŠ4#%Rʗ-u)u5RAŵrrvm#Y:68/[W,#㣺!;;dM?U}PDG:1fp2 5-8ҐS+AzLEeuq2rrև`Hȥ4Q5w?m_s6==,G۶6-^ݑa+kUI:uD-'}I"'%/!\eR!')fhh z5#!9hJt\JggC]MZ~H p+D X`& ][ĸ\oj?c\J8 imYE hRe^"G1LDx֤%zˇyD 镴$%mx-G0V@*ȶ6H6 Ǩv-?j{)sG_Rcٕo|mB5EV>}]lUԵM#B=#ug&e(ڊT4WBՐ2DNVk?{]h:;BuSWP RiEpME!&H mYm{Eݿ؊~#fGv쳽9p#J^yppJUu-zઉ15}%A|p#!yJ=hnr|1{Ry/ȳʪS(a_A]pG250 ŕLe/f^RmIgǂV=}RCL&0*í/ VMGD4O5yT< q15D ׃֪-Ϣ 7"-?c B:FKBs68(l"n9K= PXWl£-*XUNb|, +vzz첇IƸp[  f:I|D#Mh/=dPp# a2.Tfqsl1ZOn{c5^z:$ɩߋ}Wrvn8^VpԽڻ9 .<#ã_dnnKn⮙.ӄtl0j7㎷wZC?F >j AKäRDƙv:4I|U`9sN5 %鲝ÉU{Yoے3!ZQQK,pН7+YPV>F1vZ,`w9ӉT3~еީۜat;l>!WD =nzOrJ'pbQH=JLϝ@ڴ!T!5@{hbآ|Vx⟥ 25dV۔R@/b ;X3vq1>7Mg8FX#vs+/qHZ{b.̛) e] 0@ZC&5vNVJ^"w_9/ìp d7vZ]|׋tnp Mj:7 ~Vnu1{U0|y M=N"ǛUn]ҹ?pzE asb udtӐw80ݪ[CSi?2ӻ{'mHŤ/}5d*1͂&RGJsfiRUQ@X2uZJV[Áe -= PMQTr4=ZX璙؀bv;4$)dE'5u^Boȑ^ܢ!AhN2Ikʋ}!3bD.>Fj{9 :] }_ơc@Y+ =l1i`o-GV [c`.}v_rב7Mm޲jA@ӣ/=,T(ǔHcԎ&Oͻ:lAü(OzJO(JY=y !;aidjwY:^ozCuVZ<ŷ.~9._wF}$gN!A$ j#/7HyMNVHImqyG"?Y͚jp0MN|M4PHvy՞fʡmt#2]\ף!\sh^V˰YA*ѯĎpJ!I*1vb@_q1$3w*ɽRݴF:^#,߀lI)ٿrt`  []|MyY_ʁ=I^C.jvTJȚ[.NMiMa#5&U|S$?9BZ8 ٦=#Qc9{4rR%iK7 o@`A\g;nE7HEܣ ۔>a;:*.Ʀ(ʋɇiA0ўf;zH;Tok -F3cխN^, gu6)FW_,JQӇ"y\2d?a:'4PoG(qmwnBSXK5!bĩTݶǞk"N, xj.pXg+8bn_5N My̆ˠ:u4ZtݐCOdLWZId5 Ba#uU@+/=-{^HB V/xTb RِY64b9n oȔJ8[uLuap{t-j477u~4T5NX~3s'=[W}=T}WhXuoaގqиyNa/$7.99<4xS64u3}l\Z3ԫVli)S% ?J9v:5_6Ow$quiu8Wa y$&=)06* ෴2ZJ!01<=r,W=tz{Ml^0>4KWuSN$:y%%XItY8DC5_,d7_4fm&rfs? }VsP4{whg> ?^._~aI)` ~1&WH`Ml+ww [ `Ҏbd_G[%4sQOڢ;h>K=\CPN:b)$fKSY@㵒>B Qiz;4 ߧW [>rMe@ e8%va+ U djbЬѕ*xZ.4'2}btKKL<6bAYm!b;\GhC*;G ,fxav*#@j LLfx^,P7hO2QG4\N8(G "7xMC}8SG$:@1GEuBiK+Ok679Shk8m UQms/ړY-?gG2LWlaYPYdgqBT]E =qD)վw1( 2 h>4|$l5!_o^d߼]X;е@RPxD8QeTA!ʈD=Gmғ$L`E+jEr"[PyUqa9DV\U4)d&~ IN󜮝%KxP%.B_(N Q: Ӵg?N)c= k{ާU4 F%Sk?+QG`D}zӰje$! <Ҙ-1tCFyPG;VCPdp0Vӳ趱${IWjV\WiW0_z@,!3$3` ̰ T_6&cM8dKxp2Sɓhr2v7 kһ2޲>sQ|<ڠȇ&;バilk{4.aj/؃*z8(Шqj5_2n2 { ~mp8@_uy@XlO8#6sY%t3vKp1,O:*@2lb-CpoXA=/r E9Wo:Ht^ïRqn4<1X 5x4i%U4n>0hsADGS~.ɝ"4fKW88h8/d!tߡP®(㑻4}Ci @.gNegX540= ѫC&AU[}+-øhX0 D%/HS2~uieSoUi䐶8Jɸhl?pع)n.iꝴw pT$6sa[\?C%C$M+TjCyɋ)/Y4"`hL@A|9ޏN N|2Kg#ЁK߯C=>)[~ޞJ $pmVÂ'&bb%ś' Q?3 ]./gKYv: xNOr+O69\KSZAyL:uR7!Ji{*>\+IrB4"z]oXc{cf5'@ AJ;i]|\o# e$.z1L ծͺ!n`vav0j:ּ2=DPnᗕ` zmW D|PPqbԐ}{;6M4$vE;Ѕ 0w?mE\.x_mSrO$Lr G|0LMuǢZpҙ