texlive-logicproof-8:svn33254.0-25.oe2203sp3>  <@PT@7!.ܶujG7oe~u0openeuler@compass-ci.com G7oL lj\Y ^Փ~J*'[ _=*>׶/E`C=x~uP\5%f^ )sfz#>vcy;3~BU|h{2S;E@63>f'h$K0Ƣ!7ɈyZF>Y~xJɳaM~-#GɱH|a5~+JD Eڞ%fc"oF\?@xBYtI=lo}o$V"{/ucp?TIΎGmoOl Zڌ%"/ʜmxy=U~; ,%g{SuLBXhV'w)Ϋ}VQ t18d041e7f7394cd5a3354eaed564e6cf7ae17915ebc4023a07366fdcfb35354cc30e90379a8438ba47178c33a250f9f708e8faf5,sF1T9/`>; ? d 0 4 e  ".FLTd l t    0Dp   (89:F}GHIXY\]^9bdefltu v z H X \ b  Ctexlive-logicproofsvn33254.025.oe2203sp3Box 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.e~s(dc-64g.compass-ci]LPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤e~sSQ3e~s1X85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbf2f6ea982eac19e1c7d94a2cc533cf6f0c2e347f0e364839580e61c8bb7d5d1drootrootrootrootrootrootrootroottexlive-split-n-2018-25.oe2203sp3.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 1702785832201820188:svn33254.0-25.oe2203sp3texlive-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 text%N3=nU=`Wutf-8f539db543c8ab46e200037aac4eb29982cb8dac76ccccc1efbb7e85f405818f51a50a45475124549b81c5a56e66cb340e6869335e66aba164abff63c2678de23?P7zXZ !#,`] b2u jӫ`(y/vbJJC+5D٧P,mU7!,G,ǚĕgPٯ EZQ HHM피+ȋ-̨3F?&3.O&ĿA*9C @]1dÔE: tOZRM!CRR}H`ߖ[G7п`B3CEEq QVWiOK},;сcNJ9.e6x/8XxeTW!MБyGڜ1t{T"EX cŒ $,](2|Iآ ^`>an+v;˿WyɊ_QGܷW/qR"ֿ$S&uGvvB~u)X|0z M M9O<:|]=Uj`%<{S0P쥛9H-#wO)Y7z\T'w O1SXBL5ǣٖ2ePVu>SSZ#\;(vl.$Ei"$;䦗]7/|EL]xj&$GfOfb(vI`^yӎd&0zqhe{.lS,*ja?^r;(&}0[K-fgbg'L+6K@0]No׍GlVwՖ4;QsIp/345OVQ]SٽOA-ƢgpDr: FO[5 a4|(QqP9CptnYϨZ|TMT1tmwp_sh"hvQۅĚZ*r+A~zE/6Ɋχ3L\{>'ӖRzV\Cn熼;vNԍ|ov7&#x͍gj+DʍTCIQűRMy#㽞(rf0ϒr$0 3cԨ 6h^?*&ٚZˆJ%t9ND?`hůFcBnXA oDIJsgaf6l x]Y]£ݖq>TYHJ@X`Ɂ/285"\kF"5u\0 6 MXd=}fpzQ+ᦽ!O@h69P^Vk:xcꑵX^j)&<7)#WGL#o&2A # g!Sd_'iAV߃35iW ۞jΨovH.#"xӝlf 1ǾQ^%uX8tZ0 XNzs;˩/ ->Z߱G#eԧ[4И@ƘMi/f@FQ{F;TK|p71Nlw]5MX,{-g癤˶"߇&̵KjiTG%,f[#tß a7 1{v_L:ћJW*%>#.?#hۍ#Ov78e4r<˭}TA=vfD}DvCɳIՏ>ss;N~6p/xElQrχR}I[)ZV.qkFK4Ga.d8cAxOL b[d1t韜f?ry*UBCISbt4sǹX4; V3dpb$NwiC7,~ [ PG` Y{*`.ECE$*{6F3oOC=i3e}4w|= S ~dY3}kJ4GRXGuPccYV9/f~F` ˝bبOZ} G0 m2nѮCAY&>/+3Mn}+(>yp jҊ6IxSX̱\wd_L[qr{$:$(g[-q*%WQ-·9@%!DδoQ6O:B)jR?^D `MƸ^^V*Ae|q=hݓKP5PRe}$)JABP5NzlZWwKR 6ژBbR`bv/ >'Ҳ̘&OL$;K; 2˵"bD%?>j7'[*܁u!p;¾/HN,95A Bv#! ꦿA7Nt'ީZւC B(U%ӓfFJcPբ,|s B YI6^BhޢJ5 8rম ,c`_0z GYi/nXpл`Z_: s;H7{y69f0>'r:]Pcۙo>FFZ@[`v$[=䂖͵fiGuC|MRJpwHy2?M)wjw5,KY}Ks^! Nj%Y?VP+ )?nqBb^u*9pAT ͅ@08#.CIIoer)mrO y! h{@T $M|Q³i{ݕŵQX ebmܻb wjf$C%WaPY ~!!Dֳe|-VЎ._}D>x@ӛ̏`r(Du̫FdPb((Y >5j!+](}Ss kgdKg$pEk0(EEf< L;CXDŽv8 >0(T>(aZZC Ml,~"iGwW\LWY?5T~5#,iuC.VgE-E1I;/>)+@Ny 63zM5 gKBbh! iLHpXp619q>6I-D,lfBϝCnQ.TLZ Oc0{Ŵ$J'N>a[jI}<)#KQ`K[`JGafY0mt;m:t҄de]@4 /#Z<*h%6Wz|z%j6gvPT/ #'E[)49# >KO)8fmˡ,XQ] i֟UbjHKlSC+-繳W,Xp18Ͻj@o46+0fL$ PRxǤɊR\͊~Wk0WI^>~jޗh9u[1 = Ǖav0dV˓SGh{F O XqG cQ<mxn*8.p0 a# e+Ƭ}@2'zOH#.A/x{M{F4'lHo$̤MG's%z"- 9T;CLR[,:b[CF3bif yRݩ \ PD>gեԃ+c@7n^LbFFY? ,R&iȾrTL$?˱쓟 X[[r+?$c9%Տ0#&n]8E>9ș5Ŗ[2c/lD8>&kJh xW1Owa)&M0" o02(UҲ(iq3@Q_CG&SQ@ߴ0 ϵdAdH𢚒)^_$!Ui"LzJFO4 '%Pi;sU9jİvCj#ܠ<[ܵ:5@Atxtt/>~}-?q'Qnze~jp D; p_TlbC+ _?C5܍>RZFVr0*1-o=Vc!MopvJ)V/L$rp</p7es~cu fuIH<^  d6 W[ߑ84u-Usb=}bTr1eΚ(UٌɆeo;O]ǭm}:u ,kkIk|i˳`[Fȍ]ф{Z9 RkpS"f0]XF<ՍWmAUJHK,./m56mM6#gb)m-"3I7S:[0:}/tUSxwd͙/F M^ V M~7|Ni #}#Z|!ASŢ&:jLTi#u?ȯ<l090s`kY&jM i9|M48\QI\s4WG{ y_MWNU=`%I$+(/#~g<÷?#0\1RŔgc%2y1^ !K6csY6'ꣂZ&(mPoaނLbv}a/#WiFq'j_ٮOm#aR:QRڀZFCo(ʜ,3Z2'OKb^]]U | o36M3QzrtIqr:>@6(4۪6`:Kwc6F<6VrÆ&3\[2 q۝|{W"zLuYIgbu0^GVR+huv(O8X7 ~9 xw7cJp0qU-0=WℌJo|046OZ W~.ZǨUAF4wT%[eUȹ/ljQ3bv'l\/^ۜNByyԹx_%6kǔE:,hmKqmf?v?`v/V.[Ki}vN}0nz=DG9%iASd1ש -$Ɋ#\:m U vڔO==l]yV@6V5'1Ԯӿcp\h7^~QpNz5mI-"Em !3 =j^ĻwDX8g\ʤ{ Wʼn^ISOuh򡢺@&s/8YJkAD'1!](٫5vh JHýG'axgu:d~ݷC-@\v0Iĩo]$ߙ /-oQl/YhSEՅ:zf R r8RzYTo7o#/q_\; rC3|GCp1s(`b\q܏b4a 8\ sWc8n6ji>(K;i~8 ZA1fIO0Q1:ϕ'KS< pv&/* ?EPL_Q)p?ʃO-*h5&0Z%B:+B< TMu𫸥Ҩ40BR. : ԟ5~zYˬDk!q|CERꝆ%&PtLJ)%PDv6vة;@Tvr) k,^;gh:u㫻Kza~ ZTpxI u۸yCC1r25Qi0t$yZV*fȦ$jJMLqZ7$fwj;#-n] ;WoHO-쌌[M׊dYbiu܁iZЀ17EX7{ [Ī9@Oycb&>hÑK?U̖`@+r݃] ]৆2aȬ_N恠.pcV*b'zp =Ee!P$&NE C><CNb9Ǘ yƴF9vH,!)8IEcE Ž\+{t?Uwf:?\;rxŅ5!{!u{QſӁ `D~xڋ*XuX,Il-ו`N' Kp NDzG#/%r:?:D5MGoz^ d4rS\C mi7wLySeuXhFeF cASH(V074ڍ+&P|)a~w~ŦZ*\0PTuEIZVl@憓5jJ<&x#=G~B YZ