texlive-logicproof-8:svn33254.0-22.oe1 >  A ^yW^^f Ekb&oizyYT7艁t4IAms'xBe|UJLJ^uF5 4-xEA$+Mi2KJv`O?V1&Z_Yf#j a |d ;et13"8v3D# 5.Z7rHs}ʡX%U j))C^1WA&d(6kN)MY؋~dtVW =ʻ/k䋧 Z)fF29a1c200a4babc28d6adbb4796cb0491080730299b8b42c77a9d75c823719a730739fd8bbbb4a77d14f8103f116f9468b6e3322f+^yW^^f!9ll%akzߍ72t0n32櫢-=\ѧ#6T$ {$\G Yg$ivPBz/>z$+XʞkvdSjAL;_`5Ju!B{|IRTR/$,6`h}fSWkzX<4^ZdS?}ewfF` t>5sSqGFV'"DzZص}IkD#es`>p= ? d ( , ]3< Q]u{    8 <L`t   (89:AFGHIXY\]^9bcd2e7f:l<tXuhvxz Ctexlive-logicproofsvn33254.022.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.^y3obs-worker-004]openEuler:Mainline / standard_aarch64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤^yQ3^yX85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbf2f6ea982eac19e1c7d94a2cc533cf6f0c2e347f0e364839580e61c8bb7d5d1drootrootrootrootrootrootrootroottexlive-2018-22.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]daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initobs-worker-004 1584990259201820188:svn33254.0-22.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 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:Mainline/standard_aarch64/0f6c5be2488efa29360c24141c1d6c20-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textiwvƀWutf-817405bbba4fb7269057e60b8e7c815574697e2090edf46558f17e85be13d8e52?07zXZ !#,`] b2u jӫ`(xyT $$/0Z~ޙն-BKԺlvUԬt[‡Պ|Ø}S/IFSᲥּ)IGFC@2fB&ʵ/sD:[rmUy2%jcU9vkT%G^}A!V$bt`EFtW&O_kp k*e0 d03* c/}$Vqp {/,a]1ӠpT%NFl搬@:3-HaxgR]=?H<~|"v%ո0ife?TeLUzB񲗳dCLJ軰'0Bi)B߻XQ$OU,@DkGD/``5bcCyl q7,s{-x(rcF=6ԁ/!e 0U Zj6/H_9E3ij"^i/$H;&"0 耹a10]#'OYo7ڧj7TƗ\U`(؛I,5zVr'B7);pg=_ÇJC̃1eeގyLC:1]POZ~Qӷk$yjt#[)[ 12 Jj`SmFZH2Ra%TF:<> տѭO/ );38(NUh-=f@w!>dDpMvNj&?~^J~~>_YJo1=BhC.Db.1zk\5ŠٞX2N5{ͅ5<)G'2q!1K(Eƨ `g~E;yU5SK(dzu~D@H*o3"Jwgs(œ;* @!AMH|x E{lLRˠZJQ͡:0^ߨI-^RpX.x{OU2:x&9 ^*.s%;xNV^J |&5U{ +z9+cMKqOÚj_Y*0F>a9< xۜ9( ėY#L_Yǜ˛ɞ!;!J(^B"BsJk}nlyӱ)/oj[0h`"!QC< JZd=H=m_v-趹2RU< D0i96 z%t@㖤K{>9 hTV8:X4Zdžz _RcQZᡡ_C~>CLHzzmI'QZpZwAGw|#$"z[}sN~I΁9c J.3(hWp_9 7-v2.EW}101lkH |PA%3%Lm >7\bDzNsZ-\/8ZPL>au4~hEY@ll[WwtoC_ C*/MLa[TY-\j' 3RC"ɹH3OoY@Pe3wˎa($gX;O#WlۋDiv EunGj/_hQJ˨vWU;&680hail? ^^HI?tuR%_<}uV?ixleIܡe":$BSMi0x RIݵ9/2G3dX|7x{$*ˮ핵Ֆ2 j [&XyiZZ=jҌ[-Qֱ]攽}ktptQ: $-^+h 4ek[ k8X4v(}5Ϛ_nuݣX5?xǞAJU FWOy1}P>@E58;*- Cj d/= x*d%w c զ/pkg1Yfԟ-{A,юٔ%M==;L#L,yEIK 5~^RAM#ˮ5ϓ4Eן1/ OVW}p:`7Ӹs\C'4^]1/7?o膒7Q]9d#]Q;'莢1c6ȶu?.F-ISSm*Œj+38 wCP&>`v+K, ;|[Es2jO! &EY99s_{,mhX7ֈ5fκۈ'#Д"@?{vVPg&#[QjBώasJq :|nlp{om‹!g)m/:&VpoWZ mɽwBI3/HT! pqݐmQ -Aki~k\J\7P+i]lV?T6c 6j Lzei2G!1345~^I:ט_@"K1Mva5w>)Zh)S/,v֋ ?&frSP /acu4%H[ tilE!L_aG!n$ZcfBM 5 YtM{$d=lCmz˛QB PUaاqha)].-˦V]LhxJoݙvͨʞf4 270`̭;?/1G^p83Qϑ>]m0-9;bHFbԶ0ۍA9Nɚ%yX͏n4NDk mUǁ2֋ ˯Sc!a$>Ջʴz[KQ LΧe7h]WnF{~#j.#Wx}ԏpu{Y Oe0.Rӎ1UȺ77KTiJ{&9RzzQgjn3_|Їss>."8{/mLf(\cm/E 2uPdH (~9u ^SuFQ6;Nk`HC6E:M%#6|R¢_J%Z-_7ZػrȒy[ "$e]`!%/*PŁ@Mk`K|r}7^\}!. >AO7wyM;#U8]Usai)jFcbT_elenwF7=TWǃuUW1fo3mU~7vv3Ƕ$-Eu5Wtcy;Dlq}Hv*ɷ\i#_={gh/Avu7oVBTbm>{~4Z+TP:噋[Y,0"W`t`ND종;Pą޻'è D ''`YE<)E=:oG4vȔ$f{[`hZ  w"]a! jP%E%Y jI),^p|Z42\%Fz; t2[<nmJaJ-0L:ua).T6fZ@m P)d+I~I쁕ɵM.sW$ݫ +܂k&;['"]{i TnpJGUyrbn'ٓ`ԠbIYT=4e.K1\M+ ry5`~GLg {/q &/a2;t-_ȅ50XCWgU@ShXNqM5". zcuƷ}P /fzʰ[~I>3N璓\hj_@\&Knp{ X$>` =/qnd۞M 6uxL[B%-՟OCQ%1qs/d@+$K;m8njOߪlnMʳ ZSPpdbN\B~*8-@tƠJG=-c4U>T}9DL-S'i?2DAQUtʽ0H#q6& 3_?9#,l[Kh_a ^KVkiR1Af}RY(' _a23Qw2yY9~}wֺ=ȈKME7(?QO& {s#V5H4ZI\yƢaJOKɩuuTHhvH[u SvLAh<;!u^Z_U/Pm8=[VNˌLfi'Q=#&N,O|ˀ<,u5O9/z%k4&&y>#jRB\s{M/k%=닠Zʐ7zK-ӻzkpeH .Cê`Xhs 1bUQHVT,D*pL/AW{ye2}ljb~gBa5 =7Y̝/Τlz6cBy4LjX={wNyIozLVe1>޲Ӈ5sԲ>Ny"mJLZlj9Ŷv%}82Ѣk I/Z0+oKfD;!b ΦE{if Lf6/8 $pKB_:KyskZ^3!WY@g)o9K}E.By5J1obuDЕvoz Fӗloqܠl@%sZrc N{w8t=7,"dr]rFXuOj^ !cNGM;/nXU[MT5KKڣta).Nk>:{3i1[O!M`p6ڊ۾Jw]"vh2J ]5(ϮAuA<D`rƚ~'R!o 7 ~9)Dh9 h.}b)/H? 9rd2,wL9hĤB\8Nzr‚Yȋ3ow5Wq_ 7ۜ19V-z)=PiX'j1C<1zlc)Pvj0"G,Z1$٘ z@4Ǿ a"Ť_;^飕F2Xu%qjoI 2ީ-ehH ?Bg,E=!ˬz =eX~v% uZD=" YZ