texlive-logicproof-8:svn33254.0-25.oe2203sp40>    fQ] ;G|`u` 7 $vR36W @c/f`igZ`A>5Cֹ| ˜Ӕi37ʧK xa ~B CO5?B]фHNT C/`t/Ā@e] S2>LݍRSy1 YŪ2 ߴ)U]m1(Cw2%ϸ7^Ć9w/j驨z 8,0n;vO Sl0 F1ʥXE}dٚێnn<[Ģ=1l{B}B{QL"Qr11`W Sׄs2dϯ!=5Pc;cаE_9Ѫns IK; ? d 0 4 e  ".FLTd l t    0Dp   (89:F}GHIXY\]^9bdefltu v z H X \ b  Ctexlive-logicproofsvn33254.025.oe2203sp4Box proofs for propositional and predicate logicA common style of proof used in propositional and predicate logic is Fitch proofs, in which each line of the proof has a statement and a justification, and subproofs within a larger proof have boxes around them. The package provides environments for typesetting such proofs and boxes. It creates proofs in a style similar to that used in "Logic in Computer Science" by Huth and Ryan.fQ]dc-64g.compass-ci]LPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤fQ]UQ3fQ]#X85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbf2f6ea982eac19e1c7d94a2cc533cf6f0c2e347f0e364839580e61c8bb7d5d1drootrootrootrootrootrootrootroottexlive-split-n-2018-25.oe2203sp4.src.rpmtex(logicproof.sty)tex-logicprooftexlive-logicproof    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)tex(array.sty)tex(ifthen.sty)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 1716608279201820188:svn33254.0-25.oe2203sp4texlive-logicprooflppl1.3.txtlogicprooflogicproof.sty/usr/share/licenses//usr/share/licenses/texlive-logicproof//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/logicproof/-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 cpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textV L0mQ~.utf-85080911e6c8848be946563afa50aa2d63d4892c2cd6d05ee84d664a73a78c782c70835982fd509fa4b71d8e51551b21bdda66d7c5e59bf8e9b6564156f2271be?P7zXZ !#,`] b2u jӫ`(y0>Z2 ސk|@m{oOJI#Uc)F7\7!IQ0I 6Oj@fPwn/5j=Vo 0b,B,g>Kn<1 5p,*iY8/\UB#,:gBPRd%V"@y(T\hR%]{[_; |ۀ ADq"﯀4"鉗_*;Mc7+ kA/kA},vn?>}&'g.!s#Ϡϭn6 BP|&j$euc;Sؑ7~uo};;k)jZyI`AuCEfhOv";.!:#njN\0t{ё {{qNF$ Lpdʕ0HRRĺQ}@V" [iSyGbp˲b,T|L.leۧq4Q¥VVD ij~rSʏ zD HuKG3h&?t t٤NHj)yf y+DF(E堪މ¢h++bYY6Oxhɥlu]}*8eQ!Y~*xu,yLsj;ϓ߳uE^=+Tid=c\yc:N_y,Ѐ{0^p(#6<%!sh##v ,6|A\u]np%JrIG}-r+xխAAPIi/ Q8]g8ذ{ mօMWY魫0`)^zllivR}iḴc+@+b5; GnnSSbt n Lz#-MvPs'(›c{)2֪Uk{jL5 )FXƩ0ЇKѝ>% ֥$Y㎤ԀJnNȹM1uQxHrzsrUJH•>fTXۥC^Q!B_څ6;|L/ڢ8 ąLhM(9Oqo#:/ x7Hl$[ I usTt$Ulg VFKE@ È-.Yq\祓nnе .٣:K`5k{HJK Yi@;zlN쩌2AYd%&^Nvgz#, MI6G#M:Y2q>4[u^k灜F:?ۢ!+ LZ2>\.\jBI*م Ncj^ZhIJ$f}vґ!Fi]Bq%'륗]2U !ܐflckAݫ> 6gEr. "-}Kz6DLJ(iP$U! ':NP)w`/PS:B)Sqht()6m(6TuHC#9nmZD,<;0V/1;a5DyB}B3oH(|y~O)D{ smuB^wʶýMV ClcJ0㆟k_j ;*sD=YUt}+] 1L'LmTӦ:绍*{^seOgiMcGSÚ8Q s(7dg e nmSf:w~!gώ?IlʥfEV|vFOH.&*W|I|>hl5/!9 { ԤjpH;_pg >=?ϛ7Z VbxaH,0֜}Nz!kJg /jKOc>FkpW@<GVU4< .Eȵ>^ij9U"?bVs$LU ?.z2&<gJw73N ^_^q'C ^? Ɂ!ܡdU\F )57fh‘btgXC{G}rr>"K6i[*2'@@}>RXD9D:>8Yg&0U 1ߠC3KK>~epX&3p"<򛲚3g97ԝ!6n:ZS8a+[j$ЇÈu␝ySh $DIK;bF}SӃ.RVp4pL[{s0_K <7fX8)>kf4Q_h`xK N9pk\QoC^܎LK|퉻 <0b*YC`v~ }mJ-Bm6Ť hwA]5xZJ,Z͂#N͗m2iJGD v9RÀW S[m_xpGhVU@Jo 1˯He_cs ܞ}Le"0p1 }oB\9i-Q㤥u7ȓ W`c~CyZ_{K^o&x^/ȜHDa CJip6˒H|ԵE mFw1y :riZ'w k7mffa6:h}E~.TEmbU?;rNrrKΤ&əG$mg2BZt; OtJpVbJOs>^B Րsjط_ Faփڙ*G2t,nqE6vh?G}OaAdjjX4Xq?g{#WkMXy;J#KȰH=%e?Rs 仄_>^3\ʢ&՞7\siKe!jOY7v32.NFT-0묁HK@}B|s8_(IXhF̳uIi"- EԕI^a ZenU)_|5D̾P9l_ODiXF R8`g\q2η'%¸ Nd3\W Zk6rx0mjJWUZ_Sr_WR]&0+ 1ԅW1;_=ܪ7@9qT',)dY.aƥ~Y`߅44R{u&ü?BBrO䴖ޙ#Td^z[O׭\Qd-Pÿƽ|ҶDM*R9,fZ9t7Ϭcul Dg׌eX"&yBFR44AN)1RmѳC5rޙL*,a~pN?;e V>!hd> .F_6LܮrFb%?c/|A]Ju)U'I;wco mLjmA;iˮyO;G숎 ơ-(dJkk8WH1ڡ "4I#噹{|v8+6%IUW٨{͗/m"dEaXM볇(pZ5,Hu*V!*$G7Hku[?Φ,pAϲ-A d.(P,様"dXYVDMM_i2p,;rTqH(OM.%cy/:kΩ~E~h8P30eKtFNi%CWsWsuGLٙ7/=32 Z vI0dL\11K4~&B%Og"+%j75K pW;hfy[4)bJR| "dc#IW_?m*Q[`)[|V=߮#9D1 Tߚ|Q^mjPO0~0UYǬ$K>Gtk"_6v$й upB{ju͏Q:3BxL ]*J+( nKl:.{Ǡ;y{=ް'Zk ܊[hB_؃3hDLU\ŀhoӇn,Ras^pJڞMw,I-=[Wx.pJ%Cg&PI7KF|(6K[ ߖ*.M)V 0ՑGL!) I * |Ĥ)\vHqmW2nR?E'J4Ր#NfzY恟>C1U_ <ղDuϗFI1t?RO iQ("W)E^M>xМ;#C1MD</ 0*RjaK"Wxӆ"Ѳo0]Տebov$[o@3_`'ЄN~|ЧAF*{9 Q :<+-Y3H3 S?ǘVU'u|1w׬mQŷ&9:'o蓅.ق.=E.O]*4ps\h0 ; MNSckЮ<cUO ZR0H 0RzUZnN]-׶ ]~<QE/qҩ}ԬqXS/wد#)fN{9o9uTJ sx_:^9RO=^8p"oQC ױP0b.?,~̔"q"{96mmjH"?#47?~cKmq${ɹ ?cp7t~-oJV?~Su?(mR@1|Mf!اI֣ ult^=!l6/;2G؝L Bre>;. R;Y#N#]HYXX<.[!E@ڥݢizbG䳲<2mNcjvsB_y} 8:a@Їd?YWVIv"^w%Nj'W3OTCZ E˱-#!U 7%r%֌W|'q&]t\Q8® ٽ6pL#kb) E_ ҝ( 1`iYȊ\]fmDwFK*e>mbm:. VXJ^ֳBNt3J% +ݜpjܙQ{&.ڑJ!#zLa^޲migP\4ǽ@7g L@cHpmcﭕ>їx` Ǐx;ƴ]AeTuQ̍녈pEݻ[rL^B6 JVHO̙=)SʍQ@} 2p+ʴT!Qy3a!-I茦Dz]ȧܝ۪~ CI(H@ (+z^"Os()L /oԥ ?:qcKMS-HqdX9T"k1lc \:= W>"sBWLfȋt_DȎM1L󠪢1YLGXђVϚtaqi}!]Om4t#7!ngc]>bn:.!3#Iɱ#εY9[j6j }Qq:1Ŝ_Qoa_KM0\xRΗ * HW֙\?̣O/)+-JltƍIS9}Y0lNMٞڟqE*J h0L;AR