texlive-logicproof-8:svn33254.0-23.oe1 >  A apW^^fIB+)N UA78[pmzQp {0'쓍h'N5C]͂8WMBbnid[iBuLք"Pϴ ,`c"(y/oFALE'0֔/Й]p= x? hd ( , ]#8A Vbz    < @Pdx   (89:zFGH$I4X8YD\d]t^bGc2defltuvz    " dCtexlive-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.a`obs-worker-0020]openEuler:20.03:LTS:SP3 / standard_aarch64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤ahQ3a`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 initobs-worker-0020 1640980622201820188: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 -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/generic-hardened-cc1 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:20.03:LTS:SP3/standard_aarch64/abbc448fe7db60563655e2f379ce7a34-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textXq)cXE*+uutf-89dbf49b62a88a4a42bdeffd28febd98a909dd7aba161350cbf606e409f0955ea?07zXZ !#,`] b2u jӫ`(y-7g? Tviwa1م\@~2rbgdF+PMXF ?i+4˜Ľڮe5iS&\+xsVLsL?q±TV)څ|$'W.;;N-R0N vPAqznOuGҋ$[W;6E%4t!L b( \;)C{MϨ8t+4^DzI4j).{2K#FGB ϺZSSw^g\=*X$XݳФ4tofP¼aG\]*HVeÃ!%xBky;0qʡdҩϤrXn(]&,}v7t&zmɐƽ8崍L>sTRDݝ,.;W+S*2^yLiީy=5_V Ȭi?LMR?;fY]{|}I8)~5Z2+0SO_;XxiFKCm䂻Wy3K2b$GD1Cg+U&7B3j{<` >f7;ނaq̱QDL#7 B&ҳ+b/m %cj71r,}V.X#HKtHVW1+oDEIcǯf'Z؉x3%P p GSw;ꢚ {k{b'E7A%)ǐ |:y™MoڛDFUrƐoaZk.'F 2ii)޵<7!<UVh;dV̈́h*94d?A/(]0 g48q ` $Kڱl0;R1ET6{T1dѳDo&r[O]vK l3smp3vy;szD82g~'vSzx%&:qw:!2Ih0i<|8W,  q$ݔ2hc݊gȴ15Ӣd0аpQR` /ŖbOmaIPi\|JȢcO K.`F㶌6c~NlMcC17&eYeL9#qpLN*\.J4x)i=9A!;񊬶LWxz=eUylenu{NGoftL?\Ѽ|s_j1ՄSderN~%դ8#坶_/@DsXo!$U"m) "HC*-o|KS\mXd_!sz97w=yB]"4:|edk&#UFlZOFW4zѦc'90ۖ#~ +`i#aʢ|B$sZ^9D/x,x,~%Fvcov 5ZW(Lj`.&o⁇ 2vf>dK>yQQӌ'Ziμ!PYOQѧsS1q_2skqv7?>.9dJqҘk Zb`'GM; wMö+r|L[/$,XW~@ \< 4.c@hCRS9q*"LZG3B㜮خ6#GhWuuATθn!T/(!qFd"L^g⃔`gi^4o'`ߺ4pVf!p Y5/Ƃl^x:R X>i>%yˤ7+> 5S7yuYK}p.c(qVsf~+O]/qarrcGWI7Ւ&(F1gK{0D 5i:̀ɑհ\d^ܶ55be"{KD甖H?S|O]$oSCv(vp5<\NsCsI[X 0ʸQMrV7j Z,Ee 2e2Ooep/HqK{蒾d4HxS+~YΑilpCz$u^tWvQf'{C/űnj좹LG翀kOd.j@8˝_xjϬ{Rd@afhgO>Ǭ$*/Rk, <%DJw3цG/B`~xW/LI.Nc?R~.p_}/-5$@̵Խixއ/\n9üZp9Ɇx̀[`r C UMIxA\~Bnťj "ojiEHVb Ԅ316؝V]UY_ 7ȓ ORUw6x~ %fV82tۤ`ft$!(|Nj.ѣiJXEmPW'6 ]7Ilc┅dU;  DV%v/̳kLcP唵l* jfE}gV0tm78Wc`<Ն0jGڽPϔ>65b l :D*%zW" S+-aKia"CKs><4Jb0ngnt~Qlf%".묕/rZǩ.@?ARB<̩/7Pt03bɑSb9CcaTF@N9]i\%5R& _V7Ms`t" 6N9" S {J7lng\8r(MJM4#y%O@ֹk{m~Nݪ֞\m|Xȣ o*\}c$0G2`w#֜.7d'f*3UﰟTٽyI2ny8o)Ŗ{xSxiY :{9P]Z=ྼ2zFxlQ"Ј1}~R*=rQy1ckYbZh8ǩ5^_cҟ^^^ߘ|1ERSUX莧P<[X0`{\*!wʇ.RB;w&\ ψNZ''a#R{ȾBm&y1U^hug 9U:}bKև#V` j~d r%Waz9sXd3!ϓ`涓OI?S0O 4K{nnƒN߆Vg!Bo Ut$5.DѺnxOz%uh]2shĻXZË5l2]^uh8|?ٙ0@ѓI,کaN$%ŧGutbM*.yr˝!2EZ,h ƮgfhEǹYj?Jg0vR+x)oDC>.ͻFw:60Oc!,w^HSwֹ$v H+0PC9N{^>u#WIJ>M>q78aڀ H=YVT6-]%ju#2m~T0I5Tb',I!okO|YRy6e)7/á8w A"Ey% %Y&)WX=šnj&,xD&92le sd{kS11Q-ä*vsFW9 e6M#i֒G.S`ꄠQSrUP*G2NoEW+&XQ)ԸJs+xGBM\xaܟܚo'P\}"d҃эon'+,gB\^Ȍu ne1W}N]`?IIXyote ?ZX!Ħn-/Hn:}`S%dsQ2n8<VW5ÞukjJ zKG>7-LCN{/ݩ(BzJC㺊~Uj+X%hjN]U5e4dPq;X,rRJ1t7E2nEɠWLzcK _>Ϲ\B`RY~}0Oa^i:h*ꭷt Vp TO+wl";hv{ʘ |˻0nx``*Ptސ_PXO *CBi}W)ZUApX$!ppOQwLo hj q1qjUSYU6 O..ü !qƪQ"Ќ 66֛t_1@{OWL~NuYRqZ5*GK qbEGu1 f%N8;:R!0rR&.Gq_ FK 4?=:"bL BkKk8@|L>@J ~3@_6.R3;x_GYdÖxʙ*׸D)(5)r8aP3{ew@~'&XyN,( CXy2 [HJ+#7ߐѕ?̪=9)ky}`#{W=Lyo>J{XR >IښeKƛ|@4-p )HflZ*AyzkDG<'ndLjcB@Yxh>AJJ&.4|gUz5f%gT<Xϗu̥<Җ?E(0 }A^rEoo@ED(x8,X]fJʵ\Ebey[% :@][Z ;3I/0Y~w iY K]^X)z V7聟bE#:Ļz!h8 󏪐SF PԡQrF&0_lAы`SHc)9C[h7〟T0(&; +l%`^hHAp^ uʴ*[̀ǏR4ۉdg)e| ^\1C}!xUuTndy\.14v2k%Y4kAda#]ӽ~' h)V1%l Yzmz>IVT!K[Ax{duOğ?o>ⲑ=je 􆩞7~&5]LXUe +]Y"^>kaaѩ;t,u3n(5%X$c'l$\B&v鳎6~URAxYuˊu2 ^ Okr9ٚJUT~ubD".[gd7~3I޹drj31x#9nx_^ {f^[GkX:U,x?*& OCb>x> ,Hq Ju1Qv4hC #ez5Jb!C8IQCe#+3tOj&,qejnms4U, NtzxaFWeSF}"jrØF.鞨e05)c[w6e"0xOj&(hz3^Yxd+0 ^ Oɴ> ]!YXL(Y)C~`zˀ$b])ȵIlqt|l>D\2vYhpX㭑#[ByqI%?EDjMnsBmLYƞgkx;s*ovnֿϘm`p6PAUIcgp],#֭z₦}֑%"5p`~R;m\U)<ٺ l6nde|ѣٔ!S6ߘt?GηSհp$rȎfSbj!^yOT;U!D },8Rԝr t)m? % \(~FN_PheY畸Mjh*8+ӝ[~Uk7Σ/J$>rze5'BXZYwܨ[m}hPp5O\C4fY$w,<-~WskrjB xsh.U rL>䞠ýlȏ.3`=TNsijLy&~h"W,p+`%0uw;s=" YZ