texlive-logicproof-8:svn33254.0-23.oe1 >  A _(0W^^f~S y-!W!G4'+p\yə3ς<^B \'Y 켳M:h%&0JUvKE?([h5qfWN-bIMQ%?pEUM&!cTN+5=+ǒRcjU7caBeZB !3ٌ8LC<S WH}鐦 d!UJn]*pNm)S[35097c42b3701de0962987b477f123697dc0d9798a9cba3f2be3c8ab7e09a0ca02824d520c2eb3d8a960b52b46f17ac8476f319c,_(0W^^f3VJA#Mfu5 RPGp= ? d ( , ]&;D Ye}    @ DTh|   (89:~FGH,I<X@YL\l]|^bOchdefltuv z < L P V Ctexlive-logicproofsvn33254.023.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._eecs-obsworker-0010]openEuler:20.03:LTS:SP1 / standard_x86_64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤_Q3_'X85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbf2f6ea982eac19e1c7d94a2cc533cf6f0c2e347f0e364839580e61c8bb7d5d1drootrootrootrootrootrootrootroottexlive-2018-23.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]Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initecs-obsworker-0010 1607407973201820188:svn33254.0-23.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:20.03:LTS:SP1/standard_x86_64/f21e64fccbe6b07fc33ced66a669d29a-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textZ:p_Sutf-8ab10d3c0b7048f67e1b46b6eb333519bf1af1c6503ca3b2bf3008ade53207add?07zXZ !#,`] b2u jӫ`(xy2A'gbkݧ%d lL V'GZ? ~鷿P:/IdBzg%jBZA`/9a3XLըS|,σxǞ^Ķ֯X0|@^rM BΦ#$ ձ@\ oC`)̄Fzv!OOTInv'i1pp)VL%hKp^0k5qWDɣ 퉡 $pl%U e.CYW}mTղYOHX]jAb]?N"p y5$4xM+Wb+4eAUWyQ~]8,K 5:{Z99Z3Pnp؋Jg0> :fJ=F].Y@ᐨi%Wr] /[q]l-}Z0`${ʝU#.װfTIs#VT{;18k<%*ֆ}G`Ay6-1+yجU4"0uGDY};{X5eGg;C4"wIR FeUť1 eDf%p23tű^y쮸 VיHʌ<']HPv~e ϏI`Q40%rfC[wk􎩼%`"Uvw KD+8}܅vlɵ-(4DY` Zyhj E%ˣE4qV`Ycܔ+? A0L(C X~6Rcvdodwgh)!6ƒ:y*s+C d6CM׫+pxmY$O3'O&jl+{P+W & ̞^֘RP! GV&1M<98T>ɒH=n94I>˶є52>Hf5s4{% H ,.@&D|iiK2ɥI.F&D>MwȭZjs+O?G{%ԵIdwoi~v4dv yMTvQ&DdQB[ `Gk17;[<=4SJ$X-)G5LŞDwlRZ5ac+_U T:j``*/QX mRĀu@n'tEl-QO&x&]H LP A~_]F䰹2㳛`pcj48}q"Y[/-R龜'!ȼ{>x@pԔdLʔ*cEl5&[aP ,ANnE$t<Ҩ2wʂ @[{A-hۺGxv3:X,V&H4Aٹ'@YsZAPRKbAVp%uY2'&{Us3"X-\k6FGy-wfJ]>͢oa x[H~?X׃sehqU`Ԛ1j<Gj164JVV40l'! Y-+6L\6ud3:^1FieV޹C"M=/x! mĉ"QCS_(==V(>ٚnT5Ӓ;1U;u!a:`br{9 &?xPgըL0ވ'-йOJIP;>xtn5i^իH#B3l2dp!uMZR,޵Kƈ a ͔We0s%*|2{3q=Q'{U f aNXX8p̐KygV/FMi=u x}ΖXuPQ;B/L-DP\z-tc]2[hxm 7U5ь߷ >dI!YDĿ?e*AsiDL:!locI ު,8adq-<ŪoyE9s S#aI7WAiGg[?MQ痫f(z\+=A"\),QdwlUHh׍:x 1pRJH>s*=Ƅ<[׎&2ɿmcc&+.l(;{R&CQx*YlKT_l'¾`ء K<'%i ܱC=;7; {\ C ]W:6H%49;PNJoB$^OL8A6LOUΠw ৾OS3wݕI=dg띵1eTuK 6DN[D(#0e}$Y@*FRaIB"onhB4 a vOu5q^qkWquoOuA~s6<f!KW'MfVL˴{P);bp?!p)*,E’FQ?k*2U} @*?%ev4|`g_H E߹a 4zǠ~jW]Jv4GsEo4g6)jlSV׿BfnG%^خT:v"wEBy1ǡ+To;>˸FWi [vq_f6VI {>2^⻇LSLF\AإmYמY@K"6fO9ͬprf‘V(:S@QrHW߼uϤpڿy)Fp4!]dr]sȈY,1CVXxqjO?̑ sO:х ^\0( F)哟:ɜXo P ȼHF` N[RI9B G&:JO:UME<)3KjԐCNX7w:3^OTj#S{g׼ S+j9Z$A6'|+s6[^HF$KG Z wE]zFV e&hd|`7S<f3@L[:&z7@(>'+Cwԙde)ϳlYTx;,5JJ۠=1c?A{x2}x{wk+\ ?B8|7Vk{I)3itv,-9q`ń Тh*g͑MAe 2<|d,39#I5Zj~§='7F͒fb@g ٌGQQZ2ށdXK-|OqgJ@z=o'a&:euh1}axঽj,:F=nߢD4DzX6r`BxArzJzMz]kw>9@ &1>aJY l?!>GC_ ^Wb/LC~)F3c}x3oZ@"mZ, n3BHXLe8#a9!`v-]j|LZbj6m{AȒVQw5vΩwG{P4]lcɶ"j=U}cܣ(T*So8i"O8V(of })۝ t7b $;MB4o!ybR]PFϞeB/&'j2D_:kb{]+aS>wa.."'2ȍSB2ps/Z1֫A6"iϜ>LfuUyMhQ?1N؀)?ݼ_ICTJ.ӌj]jz`qGB@SU}V7 VAֈ ^wfh}SO Qձr\xj]}ӜMl{~ MqRQÜ2G/~r&_G $TҐ pT[t[HY!.[*D»bDNi FK V Cf7GvIJuԝ=S@Ua+YfV2TB11~( .`S3}A S *vo|-d}UX-J6]eS 9Y Kyb\'R$+8u@'ۉ8?_s?hE0TiS{kjvP?rT}&23k]y?u;\"Gll}bj*wƬlRyS[s6|<}Q׸Cy۬Ja Czhmu}_\tWtVH% A?S=& q=!^R|`L4&(7P^wD:/֚R> YԥW*ՈJ}C@=:'@ =-!t /T\Y 1IH$: @(I LB̈́~}ìph',# <]w{%%„opYG Mj9LJQy/y$~Eu>-:k$3`W8k;>GYpd9 Rଗ9ʭJؐ /bMcvpUfRA˅^uQQN\ymLּ~RGMn%9*T8gS=Fl4h˔v1M(UWwK1Qc ekl3g$n CՉYȶkwI\Ƈ k5D<}Iz]ThWr߱UwoȲR_fx k'<,hȳޕ65 S)U%#>R=/9[8V_S*6z 1?a!Nb^!D"+@ O-՝fBc.%L[aSaO0p[" aDPp۴Ƹ^<Y=n][I.px$g ϿA]6cYZ831 |= YZ