texlive-logicproof-8:svn33254.0-24.oe1 >  A `gW^^f\U̼9ch^n`g6aG'BBuAzG*ĭ2/0v,Qc@L9w>@.A[M!TBgSL R;X4$:MÌ(;kh:閼5.#_%Bl}R(Y0Ыxpn*)`P53HzsdFg:)Th:V./Io6E^>% y%yNcxR9?b09ae63aee3c707c2ef9adb850d2266bce53df192a73cb2ac62783b6a40c48c606516a5a51eebd52fd2a8a83aa1c90330e61ebf6-`gW^^f^A. !ߠyp= ,? d ( , ]#8A Vbz    < @Pdx   (89:FGHIXY\](^abcd Fe Kf Nl Pt lu |v z     Ctexlive-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.`obs-worker-0010]openEuler:20.03:LTS:SP2 / standard_aarch64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤`Q3`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 initobs-worker-0010 1621924531201820188: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 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:20.03:LTS:SP2/standard_aarch64/51980bddaf3c8722ee4b9b2e86156ee3-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textO"DM3$Ji utf-866c1f78252cc6104667b1bba8499bba424754e2b57677aefc20b492223c60a1d?07zXZ !#,`] b2u jӫ`(y,w|=RpQH9jّnEYرvkdln(>Lrԝ1žPz%킟BقK JTy.Bԡe ڹ DK`O fjsUf:-@#==ACKђ9 ;#8A`greTSnNqgp52h/xYmUȼZĕxiʂX,eja;]L^U|ϼUJ:Tc<ą6oM`}b sѦׂﶒ`(PR~wtMQٚG< ]E12Yzg.i@7spjvs'8iZEvgUԻWZGFXg݆x5 vIÃs=0ǎ OΗ5(4]ߺ9DD޻}˕&wl,i+q~Cq5۳lv6IWF݉YILj$-XÊQ^_ iP,ۢBzqsxmsV&R})2F  f4xx5yq_T\ i=0"E>UJIR Sk^  dS&]owV\XhOk]ùkt`-$ uIq@ (:\`Μm1{Yx-&֋hcG1O0J)!gJ1˂V3z>vgfSmo&0":uKUD/wAI7ԯ\C %#^Iy4wZ)ިsXΙv'seDS)KPHNv՞6˱~=nzX(>~?pDk4Bþ$RHTO~a K0X"QB ?+\QrM^gj0SJ¤&BאZ~n} |rD.`%u℺{U'wZƇr"9W`!@F b͋9y%{̮ժ+.IQ'hH=.B.bQIBZDSg>q&3q[*.oK1d9"/?$ms#x-ir{, ꗔ7r+V`5)rSP;g@>Q~}d&n47nYdHp7>ߐŎ߷&ՆG:Z'3p=r^\xzi9.AbFvV- X&*dﮗ$  򞖝 >mvk;q.|= &q8ؾ+btS!AE (o |}͈Bl8 ^}S1S;U)63w&tDS;f@gVL}YQj0~V.$5FC7ͩ: bnhۻ=Nv\52pň#Hr2c%mA0$uJ?clGzΕ4]dB]`$E_5e_|m!XŃ]ZjVET깨wiV[P[^+=Tz-WUL^_#!1G>X+bwF_r j f4B,YzABЉhG `u [ X@ɣF.ͩ/(bAq>ʙLc-&>?! /S8' FZFhdS NJ Z X,Gl jgu@bry(t;܁HZD`| >lu /ŃN `6vYo?a,I*bEoeEOYr?}ܪȴU&BuO f-mBM0D|e|㤓5A\AUmll}GAY,z| H \jS UBK} bPlS A?maI<_[`riu-^őW$b=>9X+F)DϨ3} Go|_``g:-2MeR|ĭ}J/>F4߫DD@S3enkl恅a .$GWڨ**2bR_@rj8:ϙ,#>׀EOGAmZI: aԲ& TqyL۬`*"Yw\Fl <_3mN[~k-:7rbǓ"wݬmv@7fsK/iuɠФ#KT/Ee1o?f7|@ct5np+2dQϸ] UcNOؼA}+ʻb>[׉4阙l){ *h|IQB ǰʒ?CTPet؁A ]' a dblR)1 C߼{o4"դ%07[8`^lۄn] tbs}*fX_ n7y] nv+^>ڝFtdH\<{ZrlZx\pT("i& 7`G(ڿ j{0"sgY`n?A8qQqz)rGoi⠧ RL=dL[ '; \IZ6УN9M¯ nbܮ4gtM4ϚC+@$0+SR!hls4^_bz7ՉT-PÞs=Tb9N[a`K!hd,mP ts)X}UC *KvNJ1F'}쇢S˸3ӾL;H~us#$e 1s*io`ت\0++)$'>_>5dE0ud%t Z#FqRF%ږN뿃)?W;gmpTL7 l`~WAV<,p߻: 4m*9Jy#ʻ9|cxyaqN]< LļnA,S.+Wp[cpxBf]ڬ N:.kLN P{5;@(ӵK.gLmsa׉TwV)xW!{ޡأ*%2+ka/;c9c pԘH]1ҷel{HrBăJj( d\.㶹6MuÅyX)*W¶h"NS)s mW_I4t-xRxnn)\Qdk_)[\?t1$ޚ.QlINCdfU|[j7]-}l=L%D0 ִTb/`lJ Y_Sc'"F\=z](,؅- .#Z+9ggX7oB 'M>Lh^J}ߊ 7&*9r:M/jxH)̷߬|ܔߌ;d E=A΂׺/o%K&mpw LhQs8e 7q =,]5lT"h]?SqT@pcԟmp1fj6y^Q#b&7>=ؘ avPt ׀{/(syI1}>%!7̴G:1~2W<|[/m_D =9Ke,MlO.:x 0&Q"0 HU>oqg?,4&uO"J `Lڡ_Y(ZϓǓ^XW^ =1wMRYMhDZ>q'7mwu8OY@pTl`OKٓk(K& ގf?' Lm~~ҢNVAu"d6#c}#'-H|(7Eb }@!NyB[_F`\,h I5ظ#&`h֎,\4~Sf}b^<{ozRQ<2bޚS~ IJ&rEKqpM7|M d6X Ll&ϒu? K}퟉Puw3J[Ю_U:>T9[; U̦ս8FƯ$7[UPU?Ȗ1 BY2Ѭ:rXdö6oo4σ}]=[VJ l@3~&D+4 N咈#~%u7YHnEE{<0[NnS^P!iPuP3 db&}Dw0J)Gs 9Gh2G - #K; e";| P,kGݟ`7RPimfSmOEe˫0X!B_*Z'y;AVTp_hK sc)`)t|%L}b4z:JIFFe|L93/wRs.J.,0bsƲYV}nZL'r=:Ҫ# !tB'*fj)p9Qp|Cqm\Yr'@E\5ϻ8)py!)0frt}1KW \b*r-Vڅ-uop.ߩ#jm %>=Nߘw&  x”V2{6@B ?f}1NhNgVɹǦ@O_j4KOȽxm4#v0FS\8k++~}|9FxJ@;AȎ ц5h(Cf.fZA9i0 c]_ c>Wn֏:0KÜ׬~*@z*jQt._12t",]̶VrN^Nc ?A򕭝'ɺ+]|.aK?ٺhb@t]ra'o$諾d#Q/ 6@0J+J0 '/Pa#.S#*z;+6ƌiRg)T ÿk^ "!O/tY*ϖF+Y{&,2)f] X^.TO 88[֍Rƛr >g>`=;ɾz|IrjAU=S$=/|ޥHn m6?k"/yWL;BBX"pvm:v)0Vt'/S9z0̳(eU3q`@BL}465Iz1/2#%'/ʼh~aC&xv_y3(1Lc.$&iw #v-`:$H[e!acIKJmZԷj;P Z*'Fz~W}B TVBH6LG‰nH9̞V"LNގ8uYk..d2x4T`Zf3>Wf%QAgf;,>|wE%U@hPp!uN==,÷=f ||цU4կ`=ϓyˤ$a: φ໑@3TZDa BPji0աXWnji91-}{׹Ywr99%p{q͞2YtzҿЗ?ǙT~%"Y>plh6Dݢ4u?}7=säƫ"v*^l0UbG*ekJdRy$]SSR%URֆ~ FO@)Y*{53<0\ܪ~FDWutz18P,((Ayߛ NM~AJ{@dja6Oޚ$:OSIwAG]5gNα|_0_ޤR'0$ vu(\j{}fcK>yF  hqcӺq Ƥ"p}-+_,%Xlִ`@6&7&cC_I@d;l0cb:owaHt` KE=v92%],U𑡿:F[nDtVOi!oz CqbkfBY 6{ 9;N` 2Nx0Ea|v AVu2:?n?.`/f"օ$ \Rc6*?jZ}Z}:冧U5g>pTMu0[xwAjyV ē;(N6]DDL97ԟK`AF;]û&2~tyD0~HsqښXܨZޖpLrgP< ]OF|]ּ7+= YZ