texlive-lplfitch-8:svn31077.0.9-24.oe1 >  A `W^^fEdlnȨy(ly_'I11Uf9$±d{~|&L'G i d+U=rlkf0Mwd2tP͐q+ӷ`E <]%Z3sFBpRl{`e a *{q-k}@l)K[`*fr&F0Hd~Xhx+:y$7, 2,vIn&m"U:62d41b5cc4a68661a35f3bdf22ce35ec160757bdb128c1c6849df7c6ebfc6d18482993e1160b457d49290cd73dc813af6337dfff,x`W^^fG`,ُ922;2p= ? d ( , Q| (8 @ H X  4Dt"(A8H9X:FG8HHIXX\Yh\]^bacadefltuv z 8 H L R Ctexlive-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.`ecs-obsworker-0003ZopenEuler:20.03:LTS:SP2 / standard_x86_64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJXA큤A큤`uQ3`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 initecs-obsworker-0003 1621920393201820188: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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:20.03:LTS:SP2/standard_x86_64/51980bddaf3c8722ee4b9b2e86156ee3-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text3bX,utf-87c0b6548ad7517739a57c0aebafec5ed0550df69b83bc79fc2b71da12e0c858d?07zXZ !#,]] b2u jӫ`(y,w;/nIYG,o=Ll+^qm10=xxUFz%Etˏc#Խte8N sږ&Yw?eHPp!np@^6뷏 ΕVmJz*Jqs򗄴KN^ugEdWNb (Ԑ~bztb 2kq-/WflMczv/?; RǕX`;Bض7y2@ !Į %.O/M;[szڅCWP\L'P6Rx$1|ɩY4};t$W|knJN6$6fߪj;U!\ĴSJJ&>ʋi7Z68;>7&j_=@i5qOc>J$%0 s2 \cW1cPo?!@\}u}G{ٕ1,!iCDF͛c3{1N.] l|l?z{OtDax) 1 l 7P +{q @B@>NQ"I{̊՛Οyx=O#d`10p Muo(:]j |UI5>(h&3~^|xQ 3Ò"mz`,9-\8|ؐx) :ȾzZ/lWC6wT|_%ZR8,W'õc0,1NeQuɜ SX,?&+&)y!.]+>xbL oGfavn:/UBrolfjcBL|qB眄sB'1n2^z>gh$ c / A84$C> hJ):ݠS~r4LREg+E ^*r`b}jua+ld{- t^\@B,JA7PզrZgc0<#^?V|DAY[ Lg:?dBŰp֚ҏ݆سR-"{Pmk2O[Gam*}o'I'շil׌ȠUw=aFY4V7-VX%$v7؆i!cUq"#Uw 'x Q`?/s''nEhbztǗ#cc@m! Fmϸ.󲷏2%BϲN(#%Ls#~۾fo.$=W\8tE(}kL^h,٢Ωb:_c\X:O/T @Oahnb5 nv]ǔv#(0Z߂ 1 >Mgvb<(("+V-b= Y]B76$6dux?.$x',Yk1T˭9hӡc "F)SrxʥICuN#\BޙP 6؂.8:Ҥ:U-i|w9K') +nG15^iUЩk0*} Tg>5y/ yV#9ۃ9M^O:/ֶ+Q\ ptJ?f:.6 i[Kex(y9'>PWB# FY $ј7]ﱋa9ܰHH$eG*c,73g?5 $F\^8-4~",1uo`D8=<$u`d”)b/Q*1`Sۢ'OL_^W.͸ǔk9MǬF$M.xrF[Z]dz1V,t\ٟJ"O)\AnwbsVK PBIHfx1q!(o<6|xiN2$t0qt>&4[uymZ Di-匥 Rǖȃ# cDTtX{dڒpND\QPCR*I+)UO-WgْGƎѭ܄z Ə+@J#!q~U)ET732Z/i_=-]4ϥb:b˸b#c$W`.O% ~\a$"~ R`;)'&(m#' >5A4Ā=86J?&BMGO`U]XzW@5qH:[Ct苑=U΃omt܉?G"Zl.6F#'*'pjm^ڗ._2s~S" 2'%B^aښLqVnGEj AjUJN:<-f)jbiO71Ƽ TZ4y?{y8hY :d G*דRW-(r6BBH=qL"+LC$pc_fV.tngGuQiimq ^~Uq>55ijH`>TmA,&c}N܏#Mreͩn9Q E 7g@FdIjI m*VnPNMjKiK-Z9^.*g =aPl$19 ugi:o.pq+03ڍL#f|7#Z2nqt e9Gr?C$2]>`tBN0K|&~P>1I/!jhƳ HH'PTuO 9^wk=haS}.&-.bR4ceP  ˶2a  qEvΟ5#]jk-EAc;.I6?=V#h|NWWci,M06zEd^\%@q.e1(sAoZpsrg4.S;bZT HF'Uج:a "]fT$(qzd PWe:}2 t4@諅"|>S&+NǴCtu &߼ Xsx}ɢ]oK +Bn%U^ uU;F6?dF׫=zZDHTdm<{/rjRGQW(G;hLeCƵo#zlВjkYE7#=S _c~x ʵ 0uD 5Rvt&#$_BH<ﴶģӥϤOk $ [ M^ Q(j^oQsST奞4@%5xkCqQ^YOS{uU^Ѷf3,@+ڋbQB+ߴy6߂2<6Ax3VjVJifô L F쾪Ɓ+U# |@PvrEX'}߬{\* AםEőEV`96M2OY$CZ<\W 3L?ijjRg~5#( Ў+ #mL=\|I+BCFqɰ0x. _甏R&^&`[R03SUK̻eyNGgq#/"bk sQH'id%7s"]3 x"(> NiDEisTgPߒ2`EmRsΠ^A::`c$Y>rwB{oT Tpi^0p\Ub1)y,f&hgeM'T>]2mʄ@olUgyW_+̻L\˙sD 4ydK%ހmUdᲃۧkVHoD+[u@fCj"i{=F1\{dX`x3?GeRjA*d8.:AS 5;rqVlIcƤَ$<5S9/S*gZ\Djqs쟯EeqopGSևLb-p% bmpk,3'0{Qu&7z:'gŇX<Ї^[ztGT"۶p]L]ozqYс^hkm y=4GlEo'863gJum`YaJ  5b86=:Oțrlkw ):B( -Bj|jv1y, K)O'+[o$} XoERJEq'}4ɰ dJlv>:wຮ]K#Q2OTAy߹Ρ!ʳ@mDѮ+aEK|gSQEWnA{(}6; 3 >;2<թ\λ)+N i_.FS,[<'i__@_5,2?Q.`x jḧup*aP\Isc?>hwwH&X F0d3 f?u6ͺ/m#\XlΗ& Dߩ-Drd|QSc^MK鷫 +=/o{/.ww OBsº,YۉSI5Ba}(\T_}(e3ESQm{O}YC WoZ7l1?t͌-yw4l M] 7v7͐*і>Bs "u8a6DaF@= =ŠdLF[-V ŤVA>:J(3V[`