texlive-logicproof-8:svn33254.0-24.oe1 >  A `W^^fܴcԙr!HIpxb5ޯ+˱6ބⴔ\\&,\{V|+lbFJTXC< ʭK ﮛXB`i0J:a{jlW85G3v400Lg+5lB9U{Cidu!;]@t v31au>]o^y-!mbР'TIjdV@f>;ΡWZ%60SZ~~9"58080ed3c3300cf8953e42a76d79f52ee95bb522b212158801a731f92cb30901074c6bcbeb072b5a307e3171e9f9120c512ebe06-`W^^f=[ >#3:GMG@j!yW.YLɡiuˇsk_ܣd`fGǧO%Ԭ}sb-J: E]0&IʹD&ZC{e]hw +7mRor+yS䥐5%Udϖ% x}GF:YPlM\ #&]scY=-S9Aa:IkEtٹϾm``>p= H? 8d ( , ]&;D Ye}    @ DTh|   (89:FGHIXY\ ]0^ibc d be gf jl lt u v z     4Ctexlive-logicproofsvn33254.024.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.`ecs-obsworker-0003]openEuler:20.03:LTS:SP2 / standard_x86_64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤`uQ3`X85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbf2f6ea982eac19e1c7d94a2cc533cf6f0c2e347f0e364839580e61c8bb7d5d1drootrootrootrootrootrootrootroottexlive-2018-24.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_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 initecs-obsworker-0003 1621920393201820188:svn33254.0-24.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 -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/generic-hardened-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:20.03:LTS:SP2/standard_x86_64/51980bddaf3c8722ee4b9b2e86156ee3-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text3bX,utf-892f436b2c70d0c0bbbcb7fe2bb6d5ac100c93cc7806937b8312cea9a1e83e9c6?07zXZ !#,`] b2u jӫ`(y,w;/nBUSY?k*M,w@$|'$,.8ž6r}k+cHO S6-+g85 3}c".Xg޹]#;e_4 Y;"OH~Ip90.3H[Ә:rWX8 6ʝ.&ֿQZ9Bݥ> Yvc4RT)33NPX[釩m(cCw^X%pni&+E7nSRb3ܒcy8  CeKk:s-B*Ǟ+HvnO/>(q⌞prM%R6pGѪ#=Uhڔw5kړuV_X$ޢtfg(P 5PPE{,.6L.im2GtQJK. `%MF Mp;_O';0~X`2P֒ޯ%&dcJ4Tz@ׅ1nU(e䢃g<ΥX!eP!_2>u:+{rQkw56U ]\s?_6wN9Dlnct`͂O97#0=q]h `4@u, YU,_pﵛ@'ϡ4&N'`oQ']}iH;/69f;ŏ<39^i%JG A}xmr6U ?STEq1@z ~ ~C=sQ]yE<.7?Ь8;QGwɼ7z7n~;:7ӂ_k)䨏n(25J+xK=/w '5KYEhᨷAb7f0m&F)c*Rk'٩ᯍWkU%oʎÍꃖ1ֹ;I,s}qhTfGxzS-^~EB|LФGPkQgR犿- "N#4q} yybERyEFP]F޾9ّ+TkAָ~g o] b+}`6,eak N*Yh[pZaCb4MOB尧Y`PX|'Ak3P`czD7Eg(L*!I" 7旅tlmvwRZ^e82)0)'=r~o// 5UʟJS 1=1SBz90xBtjZHԮdSrW݋t]Ɩ<ˤ;uUa978 =5/[R6 Ď.g4]rȫ1t>xA$J~/cxVX9Gkpht |ݏg-DE#=J#u=J«9$gQÛ1&13KzW&: :j} ΀g.1̘mp@/+ rƮ@zyu#z3=Ce87 0"*_(<'I8ZD@b>Um!/{2/@NڦjJ< R:+,&axkT|x:68\J>rl>~GzZ نniҌ%Ǘ[`d3f7Elb4jRGI.%ъ?޻.OTBnxD"^[1 2NLD t%e0`hư DKs*T/^ MH-N=EpQuApXǹu,[ferr\0ep"dߌab{jQoy / f8qJ@+MvH4$c ω?Rd,}g#=ȯ҇ᅳE"j :NaC슼?K/Yެe\B U1  ^ +|d`"ݠS/7ebZ"2k~yd<\2;6Kb?A G4lM= cS48+&1mȝ21Z%JEG2([O I6Y(6cIA6c`ň@W҄9؄kxP}e3K~N[v| HmOyb;&DXg<.:3Tjڰdlzoxz΅%t:Z4$9/7S Yk@ӈB pZum^yʦܜ܄?3ܮ]iP٠W%hhwY' ]w{Χd-x4W 襯>L>:bR~ "ZLh 撵' @saNDHjE+9l Nd%{aU?^RQ&fHwVϩ:bLVI,5JCG$&2XWhXA]i¢2..GRN%VBEji@%Nh t v!~?.EŶNHZm/ATX*inS{(xaB|[?>)㴜^ApL׊A<FnTK$ἓ޼$ZD..HRypT9`m+$8JԾ-\?3qf)P׮NAr no^ʶw-4'9z* X(?*0&ωt<'l^>GoՆ}f '^;C<\CYthM7Tp- kbB乁wh$ uDv|P`{}Mb4'jDH, h̓uW|H_ܜS4K!TcGk[7^7eG:6`ןeVUɢ'oZ_a?*mfgFL~y̑:N.oUp2t<;!H]rR} E&җHlƺCe4&W2HRfbK1X} OZ`n\`{]F0U+-#OfK誑2?q^D Bc~q]3k+ %1*T:(u>OM*Qf?3qcg?q Ec>;@6KYŏZ1inKO|a>W?0sIugT~نd;,u^xzݖ:o{ > z#S@kwa# M  tem{(;"@Y݁Q5OP; ]sA.Be"x?^US@ >@Zt>fIqa=F B@}^lKO<'?DnLb&/@+ ]:uJ5do kk0wJA|]\&Z0"4'ȀӃ]]1J;^7֕ }[CHn?k"n΁wbΨ>z:o!:݇˝W 78.f}5+(MQElFM̗lڛ^K?2'Z<3V(RQ&_}&gIyqg7G) Nln3  Yd$pBcJ]AB~zƅucEu5IM-an;05EC@<]K׷W8bԠ#i3kI[!)l{gX6VlR26InEQ;W׵IaSt"mddߑi1H*<ϾDgBsWT`DSNjƿMMAA_OJ Y=k A̛4}'qY9b˟æKqQ:l4_bsr*ZxDFWʖ))DE-S6sLU TuS'0)/T!^0 !97~@:[+F%.GQHOX:։*uZt/|p4c?]m>1f)z 0*:T(pm nyW_UTĤ8 A" [׳H[}  ;EVE0;$6Q#`ͩ]ߥOǀ]q~F>5jSnd aѴ*&E2L&F^kLrc2 W<$61.DH~̐y0Ms}q:H A3&bE :4 LRmY+`h1y(5@ ˖TXD"c#ΨfÜFCV?/銔z' Д`و*p}<t7ڢX 1mX-v jX-tٍ<27AXN3Msdg.~E$IR5RY(\C½,{+gnD3a:`1$99)bd7*5Jgs.8k>Uv"|H.]h+뱒3ڪx5j\ :5=Z 1^1ޭΏw11E4(VF*7ªܯ#p\G*RV"eLao;DhAզ dI$b&9Xr+ģ7~‰Kxqх$R?G>{G឴5ZgN=r" NSXH9~'r[ySJ V-ư`D)/jDq_cS6-AoC 8&KO!TZe!+q`wJ T'g}$'G" bVʟ>zϢA80ɓI8hr֖O>qvԳ2 P;aVxcNNpL1ط% tEGO֫]8^k7RkMr9(C"$^ˑ3;!uYZC)b+ Ptr̓ _&%f+It#A$_fObRWd1amvp0QNU gKfQ ޺@[+4zLWxV#N|p^a!~PkOkZYBpECx(βHX啞eABag> ;LS n KM$h~+,1?#[2 G{j`衑rx\d{%hg+}a ɿqKfpP6 I'x[`*"BW0 Z@r)̑.'Zj~DLbn,D2͓Q暢YG¿)4')(X X˫2ſ#X6 rVS4foˏ!T+Dƥ]a¸TWiYq\A4 6K ܾKg܍&d#0/~wʭQ]RUniI+x$M@`塢e3]_{ 8E< ZVfi1u:n1q5xu u5yVyidm){-|kT}WQ0^10kAgQQ?rj Ury&e-PA%"XVMW?Z_࿧IVtL1.sw0 d7+L.Lv|ѿZCL YݿMZ&nc- !?͆vJ6B2%*uK