texlive-logicproof-8:svn33254.0-22.oe1 >  A ^yW^^f 'v@46!f!ZӃ!v3$1u%=ER(RG+^?忝3\{&Q `ga᭷Ѩ<4T%8ɍ7SQ/uI:;I{f8"{"oA=q+ JI?[OZP- \!U0>*Ry² gBQX)Uܥ4]:PDw3:C%L_4j`v=277a8462b1f0ec6dad6c05b5140c4b5d329fdec5ba6c1f4379e4721b67942888725362de18184bc31f5932aa5bfc4f32c32f4a00, ^yW^^f`1ATὄTvzX"onM#g !-)F1 m޺6<CB8@-c6 7-Bd.Β4dmxMJh")Zqꍣ#yuRTs= Z[Kp E@i ^;{#EHv{m?$ Zk"Uf8OÍkt2UᙾFp-WUU`:]U'+MїZ 3CR; kU?r+LW/;:bD`>p= H? 8d ( , ]-BK `l    H L\p   (89:QFGHIXY\ ]^Ubcdbegfjlltuvz 4Ctexlive-logicproofsvn33254.022.oe1Box 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.^yobs-worker-100-0002.novalocal]openEuler:Mainline / standard_x86_64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤^yWQ3^y X85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbf2f6ea982eac19e1c7d94a2cc533cf6f0c2e347f0e364839580e61c8bb7d5d1drootrootrootrootrootrootrootroottexlive-2018-22.oe1.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^$D]daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initobs-worker-100-0002.novalocal 1584990433201820188:svn33254.0-22.oe1texlive-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 -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/openEuler/openEuler-hardened-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:Mainline/standard_x86_64/0f6c5be2488efa29360c24141c1d6c20-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text1u(E')xndutf-89558264f4590174910f8f7852038d21537c70afc335e9513d82fd37d63c7efcf?07zXZ !#,`] b2u jӫ`(xyT2K 7^s"GF ^5ATRɕbK B nQ!gϰ[-l׍MM{O}T[5<Z@c%au90^EKVsd=)7-wy~fb9f1Bv )D됳e,\[0M>t<-תhxg]o_o8~'Xk!x3Jrpl8!|H_&Unt^x ${&`W gLqLL"*}(g)hq?2 FɠX[>U׬,획*li"k}PGͺ lQњ@qMV!tZ{cammXIigd)s^_TUB_Ӆ(B\Rѿ&vOIނ<&9vaWuhsQ#t!cJLVq7XoβiUE!4~`\=a'Dw3"!2+Ͽ$:,&'".UzD낟Ɂ$˾om,*Ki.2ar&ɪ{^Qnڬ]lvj\7D߽!U z׿)k^ǥv`MV 4UƠN+(roE)s`w4mA`-~}<BOd:>~|!δOm hi1f"C|[fE&aM6󈏯a h*""=z~kowx",,?r3eӝ{+Eh@׏Ǡx1ՂrjyϦjʦYMր X xd& S$] ǪtA"vi7ˡڃ-6 HT~`yT2'VաGDcBY;/xN?k3LphŊupWSTT=L5ĵ%Nd LTEV9(D{( 1qQ;~N*s!Couh!usZ"kM%!4T,MA >1T'9 7( xDZk{t%,2UTrs+s:h;/P$b~c*-]KBgj]#z70|tkmm >^,Rw;Z>rG!|^ظpb*g?a\t*,Z{$ w;WҦ\~?җ[oMs kfSn]l%?Ee #_Ec? Tv LZ1PA@ C2XͲ Ӫ(\$kFF 6ユf}n;N]v~c)2-X1,2 h=fxԽ .̤|$ra@]:sᄒ>`8o2cw7ֹF6*@ۋyf ~vU٘$j*As/ot{V%V.>_BAFyۋ,Af L?J4Cr.<5l.A)]㨈B_Hzvd&\o/!1Kٓ]`r<~L𵄻8";/ }D?6!kϻčYգKit"V^1/` )E9K EְC 1Уߞ|gHEOȴ>ǚ 0@붙N;O] %N_a+\՝~%`)=e@=(8B H}7|]ew@ L~I${6t"ͦNpTzUO6 =A!4zN;/bٶS%[c3MU0T)k8wRtёx,7AA|(Ne[ nη:8T y`@ZBW LVC>r˙ʴQ(l54BW{{˿u$=DNfEhxf'5-x|c9cvLHؐsA׍,ڊ{ȮN=AnБ+ՂCӛƥHݛb{dx45wDjuXsT*r3ɏ~W8μ' cNf*})xSj =vU|>(m1JHgjx紧_ -vP[isGؠ% R~|c1Aóg\&Cr9GЦ>rK<9#'Fȅm) ܚ}q9toCJ~% ש@?vc`ڝؑA 74)$OeO`u[=Ix;Oݘ0|78K? ƪS# C i<BdwVX5RToTLOE 1ٶrߩRcj:ظk%;d>NG0W{vކ=/TMܡ"Hq,\ŗK0-{6c`ERJu2zYNjYeEHd%7a7k[>5w&!I.{/lJ0IjwC ":3)r"HC2QFY.0/xV)pW ';CZN տJC(57f "0<$E%>"}4d@qQ=#}I%$--baGV0@\3|!~/'GqCc1=˥au^ɒd"V HO|a Ĩ%zelHմ * !ɣ"-32"R˴gvЖQ\SX*i~FbQmT꺩1-8R/iFJʯ 3w"})a$35aJNsxjo?7QBbu{v# \V-&UB-䧊u( ` :# 4`=h({w<ֺ~"EegavN![S0&pt:p}3%:˙B\:SlVf;֯#efYaa|XH{K^:ռvBLuzd@{7{X*O*`&>j)Q5ft0MM|@,JmggݓUjp|½{6b/R䤞P| Aw!VNv6sXm+ړR7H1Nw4.pT+ ڲNv:~rFf,YV`<*hA@}q#TMB(Uwt֌ K1 1+ybB)kW.Ep'T#D (/-J#\Q7^ִwt`p`vzTpdu?[+HiֺӢY,[dIJ6W3|l%o^yeQL_[FA#.h.ST_{wA 8=! 9] ׿#?gPlunw+=!֥!eWf쾨a䌾z -õV;"m!Yϕq_WsR\\M!Vp#8K_.$)3]5mR]Q$58k4&c,zZ_rtE\kRfv0f+5 }Sr jӠl?_xd-Q(]Eir 0@T8Fo񅾽]b*(3|DH-r?0 Aj$qn:صK_R +VRa qpq ׾x0Z_mfSHost3*-1v8aXf&w(޸+5$9ʚ[w _*%vjz)}[㠲A\ɨڢ10qUPIg,21҉XQrrOP1:M.bNqfD[Rs| f2oib[߭t_N܃x}ت7ڠNKځ~ I~_HƑ[2pDC\Жw1szI #@#?qہ8L\G[YEɩt*0>j3s܄ʑ&*}6DܨtIr wAфq'(NBTb)!QP ߿6kHX3ڌ MÒwRdFen}`1'l2J~mE;f`> I] uBI{],ߌY壽9GrV%*QJ0=v|ggdy9 UZQ@F=2OxJqEI-n7m}M*!; )hpÙ"rh/V &F/ays~f) D7>m0a6+e[]!0/WkBubUA΃ gqp15 1~l~#sP-;0r +w!d$pFf^~Ŕ쐯v)Tn>Tw~k8*9Jei~tPe/fNdGh D CXܴ'1`u.]FZ[bE.!oB2`nsODU%&dk,f[hVOn}Y?IʲNm yv>׉A3ᆋ^ Xɕ~A;\|֭N yͧPcw*B|_*≒ZLoxy#:*yT ;*˞u  ]gR!RM|ʳÃ}P"؞U"HWh;y0RVK%LlDZ!DgDĴБ60Yg:6ASG'$1MdMg%u$5+)*%[.N+H X6Oųir +gPSIC䕙^87 qD+SR~g >@5,E>Y]J$qA,(uUF.d(Pؘ-O\O: sث33LfeJ6V -[쳛YPxAo*_['hFn.ef݊Hj],>v(3z+f- RWe5;mqڤ2R<տsG$ ܺڇMZEq'.&K*~:0Zk=H8Ŕy~TΖd&?xZMu!{K 6_,fÏÏuh{\B59PZzZINxrO(9W ڈ:2+y6ӣ;b.8?˧l~$RWPB@m'SP+t>s<0n9q>μg~rq*P}-hK?{ȏzʆcS5yL 4Zt9h;1dhħȦDZ}Еi}Pv{PrKmYsen,xUx~Fˬ>َjGt:cq%(  }i mtGL`+a *Q2ÅTϠFutN_ĕw.lqC񍦔8Hsࡹ-0ֈddQS1;Z;#tsXwW)>b<˓CO?8HvAC)\YNOVwe8n%ڦ"y@r S;]wm6rJ5v">Cܺ Z {׽