texlive-logicproof-8:svn33254.0-25.oe2203sp2>  <@PT@7!.ܶujG7odqyopeneuler@compass-ci.com G7o _h׍k>Y|`CдA<傖d6ղF׸澲*FRNe1#?OD@(`M;aEY(f$uHF\kv!c; ? d 0 4 e  ".FLTd l t    0Dp   (89:F}GHIXY\]^9bdefltu v z H X \ b  Ctexlive-logicproofsvn33254.025.oe2203sp2Box 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.dqdc-64g.compass-ci]LPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤dqQ3dqX85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbf2f6ea982eac19e1c7d94a2cc533cf6f0c2e347f0e364839580e61c8bb7d5d1drootrootrootrootrootrootrootroottexlive-split-n-2018-25.oe2203sp2.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 1685177068201820188:svn33254.0-25.oe2203sp2texlive-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 textMJo}Fx]utf-8d083a3f581bcdddbaaf89c7d972258eabe2c7cec0771259c50db5848e4d970d59e69569877f615c10c89e490038b6cc02c81060570b2d4eed82d3937d79581bf?P7zXZ !#,`] b2u jӫ`(y/+nan{<%F;4>K,"V OkUZ9T|h3ˏ9lɸj8]XaG껄OVsӺCzaV\ge{AǪݚ-?yFD1.p,"ɕKT}W o))2w'"T;M>2& ӎ5YaU_ 9C@(Ec0FL*v(rج)?)<ugviʗX/_}  OK8]|9Pftp}{dPa_ת8*]s*Ba/*OQ +}>/ۈy5~!oTY"nUZI g-扁^yj Vj \cmئZy?B#lUdtyK6b=m|QnM+r8X`# !:;U&|LU@`)R! &F`m:ny`sGől)3#1_FSO~ϷǪz!Ew :Bn:U`\)6w\# oyjMS"&y&sT'_s;r 2ߓ@ۚ6/?0]kfZT˪m8oI+(h es*][-F|t͋`sքu+=3;f0<.-V3!5|m{+02_5*xh'wNɲaTyh 'NR{>|B(֛L:p"?¦ KWO+e}1R#Y?iy4 sKS 7X|C+gork]:lDIV!:5-Noi9gvbMWG@#So@Q8Scmo@c&kWdŧ]8T+w "3gbΙ X{tҨ)Yuuҹ-腠8#ֱ PQCA(PS)UUDl|%ח#j(:eIY7>]'CƟRE#.EqQhIv,6K,ǟd@Yse^`B300BkGԏ$OagvH\PhV Qj< '\6 lv.\a ]#&e4{ 彅 R?*h]{ށ.ɄeOGe* AtjnQn.0R'Z6kw ^0^NҘ*<)2/YW;Nd7)*6ƛ.;8ПD#`ASmaC_ޥtv+ FMr57‡*uh{ j K&G`zџvzR/y p7"~7?4"=iĺD{ D޷E./GA~1ټɖglJj.%љؙNE6.AEgnY,Ԑ))&0#3/OG]V2j`HS4ATںDZzj/ [0@!ֲud2m0JXmVu>V@7f pɂf|~*)5 Fr@8Y1֊x]de`kO͠_a lA-CƒXcّ_H/T57;4-\Sm*L9zRA#9^3=\$<6f-c^$5K07h+ uF? h[R7ħ zND X;j$[ߛiyN bXDPtK.їhQcH(N#a*-ɳtVYeLMvV>^P6K?:qJX==/ل%=|}:c("Pjx|=YGdgM8jNk3P?>x0J1КC|qOO/I۹nֱxLԳSB6,+Oչ\N2zU5{Sm@wAr{J8xҸBr7#D;ɜ{9)M\?^LFkהr-X 0,K/!*VyاRر ׿JXT,!;hN&Yk-8&Z\P)w[1nrg&¨n}Bڭflwxĭ'C$|$O(q\CW&,\{X|b3*_']Ԥ,*O|"):WIno$@NW[x[*"梞 !w$:nXiK!Ck+;WKUP~t%#8;rLC>slx!Ǘ?8=+1|y ۈ,)-R Nd(o#{ Sx-32O%s#x7>_un27"&^̚g.ᔶI_n-}4kPI#Ց5ًb2Ⱦ)Zn&oSPda!me0iCŚS]AW4>-אG1pRX8r ڂw3:XkN!5 Ј-yVʹޡ݇p˘Ef%(Drl(hs(IAe^8mtx ~=e)3 qhŝ+Nui>#s ]}olvhf'di/wYoŰ/2yʸUK]{qsd?ǡs--}Q"O |zJj)h3a[^@u}vO$ەzƱ[evB>nKb[qb^\~nSޥ1`8m}3B *5i3Ls}.TWVPʁ6i |Ss/!62Ĺ|՚FYޑ!B!5 nj j8oTObK_>.ː/lOw]_>sɽDx7χY5c{ { &"s^ % BK #= Qcv= Ƌ :Tf/SA.m 2/,/Wse#ZQ3ZЖ'T!o6azS%璈zrH?[wHyzݓOq ,-&ș`zQ)g߈%焚#yPfr^@D%y]6Ɣv@3̮1ϢXkC]ЕOPI@OMq-LؚA;c!;a_NmjI0)U`};ƀ{jk,X&đC sp|AA ׄ\6{x$ΦmVo}ysXA9et_F9mo9͘#r1Id!9L&4r Q# 8Γesij7Q` hlY*l$;L r+ Fо)o,)b< V7Hɯ97,jyR?vHCl[ F& fQ'-2L`j蝜X)>&@{9*āi[ om;U-U`U!Ӗ$5˿jy`OJd8I,&$ktPlԉ 0z4})[$aؽl-Ču>9wnXeS2}ͤ [M[=B:Fm )@W4=#NjEcld   hgNJuP -pɻ:A+B02T喽+U nK--jFz+j>fS>Mě9k]mT5k. u7 o%Yu޼e@R֪m|L5Bڹ)a_Çֈc 9'%NG6"s}xm0J j >:wo$+E:$]K"صQz{3rUi7;U2ǎPe0KMy$.1Qu]u:Zh `5ב%X9ut%9H5iG:ib: t9R^֟2O<)6m*e-ΉjuHvs؎;\),ŨX'"qt!qg?$]-~OXS0Q ^%,@Gs$C0$x')a{iYsW嘃hV &A5\[hcx?,n_{ %^4/ŪgIV}v1xJ#@|Q> ~v}gĈ~L["뀿-=&;1*"ilCH]IF xӔf< 8PUFӑG#0[&yPe(Vpc:aτ}miѠ5|>3nC>חmNA߂S9tô4r!6ߒ1M*`@D%c1KGedcnQXVcqu>AĻD/p9SQ/(3*E:;E_RqQ78.#k9s=tCۅϓ6si(a_ q b_6O.c6XRֵ7fGT^:i"z}S9~h3_]H3ec:zE`BpJy`;<$ 'YLFܹqL TR3,_whځ%0~!&AYpNFrǴ5Si ԝvS^_?h~<ɢB,J}FsiwΟ8d :XXd><QAҞ"k1bZYYE)8dP Mpg_[/9tP$[oL9艿z<). z[ dU_f .cszh&Mb5&X`l5ۼY,_N./^|+70żD wqƷLt29]-Y-d)Zŵ,r4f^D֎iv ,ͩ*]nxfA\gAKŘ=ˆ<8+E df/&xD?U ַdn*j2t:C`S pi2q(?\Gl>7&*/Bw QjǤҫi=SHri^kC\O.SzAoԙWɇVSC:BsO4 W0Zþ:6F1dLA}ZFNE~ .ӟBBn§Q+T̪heU8iVw l,p-97ו=" YZ