texlive-logicproof-8:svn33254.0-24.oe2003sp4>  <@PT@7!.ܶujG7oed:openeuler@compass-ci.com G7o7 &T='3Hy56>Ϛi]p\H1Qt9B6к˩yC2!(OD몈xuD@!Pn@j̜-<`%=S)i2_`{)V,/4cyA.tDP/IܖK2DvUP2Qg!1က zƍUtoQTҟI^"T.vEFt]@UG0Qq6HBc=^|l7ZUF\|ƬE-K{݁gQ=z,o]d9Io ?@$fe YG~380bd753fd809ff7f93ff679e53a230074de4598621390a786325a6a1621b4f2e77c8276c79618898b6770d67ba8c10fbc8ce73e,Pk B%`>: ? d 0 4 e  ".FLTd l t    0Dhx   (89:FGHIXY\]^=bdefltuv z 8 H L R Ctexlive-logicproofsvn33254.024.oe2003sp4Box 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.eddc-64g.compass-ci]LPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤edMQ3edkX85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbf2f6ea982eac19e1c7d94a2cc533cf6f0c2e347f0e364839580e61c8bb7d5d1drootrootrootrootrootrootrootroottexlive-2018-24.oe2003sp4.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.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 initdc-64g.compass-ci 1701097405201820188:svn33254.0-24.oe2003sp4texlive-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 -fasynchronous-unwind-tables -fstack-clash-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text"a!TQܞW4L -}utf-8a3ef6f07ef525b7edc06516737834bf9583b0df66d83cee6519965984f1db5b0?`7zXZ !#,`] b2u jӫ`(y/۱}`§~"HILi[njGъ!2' |Ps᷵v$;iTR$ 藀#OF&e?73eԺmwV3b ʪ8s4&̗yԈ=nyqc)uz_GV㦧8\u"g_R+h\ke5W>tŏi۔rB8+Ccv!j.{ɽQ@[@+"GgЛC!l\vM L*wv QYyX8bI y9~[-l˚mfHnUL}_{r3ADR(&@p#s`[껷TƤt Ax~̲-TrGOd΂%MB|<#8Ee\~x*2!Z\ա@ɹT$C7ل%u%1M$-!7TMnA\nz" -˝S&vp`s GBq1m^|AeW*!6 J2D%&OS y=w;ӕ~%c+(63 -J=rDofk[Qa}},&bdϏ*h+Ťog3mӢii@.}7.p/pyc܎؜;>^"No``qL]$#EqWm:n[}ݺ;9|6gj#U{QOv3cEOpdn]2^kd=>l# KJRHbJj25tlUhNΩEGRf[-vOa˚]ߴEg3~PO^}lF-pG+`.aw魎@G Cp>ø>puƁwU5W{md%YPf dh*P ^H`CRF/e@]H{g:tүg1Ԑ,jT=˯GI U_uHh+#=.1q,fxIw`oQ=:Gzcey/2cl5*ܿ +5 >ɢj&/hS,%+^ V`!".:Rs` %Hpv]7۩Wrn<>xca #K291D|ĬՎI`p6˙sa3 >'Cv*'?W 8hKg)ӏ1ICwZtZZn?xwQu[Qm<8 9#D_ Aj>`g3}cF6||5iԘK+ݜ۴]nqqb18Cen\ь6D f֛E|Cq-3z76>F ^Lju։jB5J|ړ?ӓ|&׷p!!jQwڂUdS;E?(BaS Xi:I(N(c]0.Z,;Gavr\Xnŏ6[@]<ȢQmGP ?~)}xz]lPE(g'h{F`i -gU!xv~tcH k[R'3O0^yu~'KZ,e+n#&*Xp2nj l=Rl9 9M.؜Dg9G W(]2v5vTmnmc N'HRX ˍ_+NLT:vXWwvU-0->Ht+êRϿ8>)[p>l-i5=}rg%W/ƒ[ʣ|lJp}=s,.#dz|uhZ:/=+ޠi-oMSDNYwƝ?nl{ɕҮbc)&gDtW/vG ^Ew'rQh֮{pCWQ .Y;Bv}Gzr,k ޼O8VQ&*g0u6R Ħq6ݩMHfd]%p߯rV1o43%|EcdI 'u(~P3!ϩ'>F'OqzB(`{f`5H2I)YNq~}$P<̶T 2A30b\q 3PH K?g9ɽ8+/(|~t0V "*~o xѡg5H-cU~劃Ww췬+šp>P"ÖttvDJ&P.vF}>%JJ]sRJɞ pPl/ LAw RJC͑-*7ǖ |5]LViҦsDȍ Z.K~~D>*ko,`"=n|W~۟sm<: kI6J5ek,wfxviJ"Tq \IX&)J=ҩfcyR:A₩"7W-ݻdBs6TwS.;mA-޷ q3~#`Zǵ|'BK}QbJYQu+w/O[Ri*_[5tHkpܷN{Qf*ԧl92lB yFnsXnyuij+|EIdَg. Zm dL3lC <յQ g+A #q*s-]¯ɽmJ%!iKw86-lx H{5`h,*9gf b.icFMP  W {F)0Bal=웘_c\kG~>(Ccwܜղq6qw7:e646~R6+ 20㻅12| p,(YVX.Ue }dMP'䔆'S5n ) /_1p- L9V-/68~&GG&~NϥF){A얧F*zwVŜlM!ūPF\<*^8z*>d7޷+O8;NBj Y\>$)rGXt$?VC;XPZw(`#tV):h p+tKPxQX 2@Pz9C۸y>6t|]AG~P< 7'&\\M/FIq{:Ҳ3Tev\|`P*$S 4?3s!/\'C!{Vi=xF'f96YL0kY=ePaYl) ]Q͔8^?D? 9uGZs4ǭ>Y`hz`Om#$~0tayS>@0/8.>Տ֏^Qagv> y[(yP"MErpKk  }=.Ra)tqZ5a$QW+xl ,zH #vHe2w74^0MTGޱRW.' Wd&ɈE1{%pgїr 䭕J;zWYe5eX6%Ƀp#R:xž~A? U'0sm4?ԓc^*K:n~9E|h0A, F!ߞ,ӑ7͆\u幧0f˜(z<°) kXL^t z>c|o(v+h'ħ?$فJ2HFr_<>58WْWtSF]R<MV B^xe_ycbfR4Nit])Brf/{Hu ff rTmG-|~lVo  e^:p$*8H݊-˜K>fM}E]}ESהCW&Y0v}R@! FP܊N _M/AOnpޮǩDʜZ7Ej,߹lcp> 9d0K o\'E_+t,xfqvG@Px5i#hqK_NUKRO#tMoqL=_[#,6Gp =" YZ