texlive-logicproof-8:svn33254.0-25.oe2203sp3>  <@PT@7!.ܶujG7oe}ƒopeneuler@compass-ci.com G7oh =<(gGCN8ZWz=;= e\+֓/ mhyȠ^ C6v *KLꭄLe۹`"W&U@vYOnZH&r>-@eU H@Ñ"*^M ASr eo2!h<҃`* ovDkkBbe5js Q,{fbn Z]o0W ĺJǛڕpOJ+By5y'䷀1Mm:@I.1Q `:"a=~cI+W["i@BY|\M#Z)_r\A}t́@!7F}P 0v>.nX-}8Ehg56b6b4e497ff923f2892e7f462b2860c894ae53c05925da33ed3409a25feea96d5e29d6f0415c7fb01c680cd122802871118f0b5,⤗o9#H`>; ? d 0 4 e  ".FLTd l t    0Dp   (89:F}GHIXY\]^9bdefltuv z 4 D H N  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}dc-64g.compass-ci]LPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤e}1Q3e}X85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbf2f6ea982eac19e1c7d94a2cc533cf6f0c2e347f0e364839580e61c8bb7d5d1drootrootrootrootrootrootrootroottexlive-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 1702740476201820188: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 -fasynchronous-unwind-tables -fstack-clash-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textnPUXy!`utf-893c640433a47fde97cbf8eb2e9c3a499a89655cba90cec642ecfedd7ad052e542de366358c5b0942d91b06da398a9f9f4b554393127d525a61084f62f70296f2?P7zXZ !#,`] b2u jӫ`(y/u272\ !2ۏdoٖSQw'\ո^? ^Bd@[,̞` 2bmﯸ#mQ0)e> g:̣鹿/t*CVG3n Ja?&ގl7eV2IZ1윥|4+<&;^[Yt2 _/'~zVԍz豗8=9ѬY3K׳zo#HCG-jϡlTx+La?p+ ~.Wz;ɭXOrO¦Y:7O@,^G]UG&O Sk}d}`YR'Sͅ$i+:\Ă $@&-j4nQ'trlD!fMfhl;B^3zz;$hQxN?yr-}p$Jޜn!$N+nYQ'{y쥜nl=EF &Vԝ( T/QAk>ᆙ0x]k}|UqIvؚ*'j}L; 5q;/2J,ED3ZNt =)sr2S6Evu$ +)=WEF,@J^q&kfd}%S2`rlɴ}~WhDvѳf>#.߅O|2ΨZtYo(&ҁ* F9:uw#+PKW\T tӰME17 R:uM׫ gn 9Zp2CmZ@8|XP6w2QIb1 0Kѡā~tW\Œ:tmǿ*j { B}̬Y#q6A s5=y8Igi1> 8O`d},hވ@58dŠNbn2YmDָ^:A]X]</{ت5y:M#; `%U#%R Tw&͡A'I^砘Ndpͷ4PLu_i~0pc= .YWPZp( P򄛅P<$qcp D^+Pc-k [ o]}6"#@_`,Lٸ}9bqYr o*%U8>"}6GG;UĮMwͅgk0Ҝ9^l#B]oӱJl۰U͢ ">Z;½mo^>V=BRY3._Lp jVSPk)(nrz;\_Xml6bN%n 0$mynU,.vSRǯm!*r"DۿL)ٝVaXeɿ}"0!5: H}職qR9ῷ<"+TC'dޥ0'͕UT;3`S8oh>d!ݧ!?:xB| .[}fr3L+mkF[ 1%)CUB-sOne?\Y\RKjԀ?Hޓۜކ!+̀X|rt/"OL 3vguTuߌ [Ag Wra&2wՌ W\<u 1jzkt'#¦K`,nqD2+܂>ڕ1NHfOZRKREN4kΑFkvQ! (:M2T^]k>ތwĘ`o bTozpH0G .:9495&WIƔʁ뒘o*l5qg8t: ~Qc*qZInUY4Q NH:C,FСpvٱ\O b+H %{ <|ʢ_oPR電C *pYĖa{\KGv ppR?Smxʹ=~GܰI)H{ˤ!7wS!Z{wN>DFkV<=2I"'PBሣ_{{,_spt)J:nouz1HV nצ *ӂ읱ֱJlK| 3fgL98A7Ү3OD}E5G}oaE*'G5 9 ik0*{v;vEaIf`?*TL棕;ؠ e\9=e;j2c`Ov{liCegψ.{i1SMNԢԘÕ)|wv95k <2h+qvR149k78My}٭kmHd5pRMӍSrF3 dJփ8uDa g;]v"WrapO'5q׫u3L!YMK=]{FaMJNwUe H~v`.~98Zvu!0d˟Kd5^͑ߢ)'+ݾJGFdCeIfy i~CG麙\M!Š_~\3d%]x%ˋuo+14\zj&Lfj~"=nX~rUx=@w2Hh g h)S0-,>ܭsuϳYeΆ8d_w-71ߓZ║]4h?t0 ƒ#!F_DŽaé v0VH:ش3;Ł̓BkBV!N,;)sԯڶ1)zax>Kx'3zUI:gR߳'9idiz$*)UH!Fw6,(>I(وgLJx{E/0G7FW Hӎ!TB>P脛P͔QI*Q&[p / _h7[6ԛvḨt>m)=S[3L"?d~ڂE*5=M?bEկ(y:j(f15aU{I!U ;55)sR $3 @D!UR 灋p}7}=䠤>8tcg=_9&;XU@mu˱X(zё Ȏ3iPSGGxX5b|"imJD i${.oP;i]e˶20>@3]3|ްIaasJE+Q7݇MP+)/Q;Y-^wdך/O"8v=Zdi Ga:-8DԔ ۞E ,_+MVbCy$i; 8}AbѷiՈq|0 Q"յh=O\v1 tib)0ct{̷S? '7) : Myog͘{8O( tȴF: `5 Ueqg4BEo4%Yd 8ֆHHsz6@{V̌NN2vE{bד8vT:98; { Z=xZ̥PUϝFWl ЏGucÏ{UwSss:}VAz/J8@!;"E 1w"jHs$y"`oco 1Wf F-Gޯ9U`-sM*X)7ЃCuwieK{ Jg҃a$D UɜmeSepId%mkJLoɢeK$Ao Dx(Ke(ޮ24 Zb]Ţ1 3M_~jAqp:|?j2@Ι Jino a  ;Wק. g.KeTC5-t!a &X5uRs +NK8E67Xu"[&zG l\@}~_AʟZЈĐ ZR0.W6%VQS7q;ZU/Gs\m^ ƞe)ҕ%.C瘿>ZQF9K')sz6}Sǣc?ޭZßDŜur (Wiȑ`O_ -i?3ŇZhu긱JRr6=~"$DTf q.ٕ@?Z6릖 ]@|#[so!8mtMsj@V]3 ݷ4|r~`r9݄o[T ms-V6Ofk2 YwKˀ&o?gVx r̓H]-P햅֎y;ato [)EV q^*9m(8`a|T I?lzX^Q?nOI/%H\F3=mȱH(7o&2H# ژw_vhk#aF(N$.xBhz]L_k%/Ug:BhE)LOq0҅/3;݇'_r\?=sُ^Mូ}\QfJ {lSGoچejC_\N4En.Pۄ%i/=LbȂ/UG⇼j}3{H%Bd4p5;ȹфF{e_$t_0)8D DUfr%i53.ocG"bXmWwW2|E(2AIGMwT 5<:!(GJӚ'Tʓ m]"n s$\fCBSSq8.yg:y>tz}x2`#BsLPF1HiW=:vY%r!Q:L6g g5YH1^.ػJP(7qfpr>QdĆ;W?^gmwcA2gWBkȃLNB}nZL:R2{ٖi$weMЮ1\ |>'m=4n4uJaoX+zBz7EZQl6[m꤮pj8; Un4>XkE'b@EGK-_E@-f5[ B9KUC}RZaOb=G~B YZ