texlive-logicproof-8:svn33254.0-23.oe1 >  A ahvW^^fзVYLMYcV'N|s9-6Z"kߙE3}hLA'cvhT$ Ɋb| h6X(Î@Gzo4:ܤVB|21wd Je2g<-A*'YdM\o_FEWn-jen0FOvkbsMb:R@"yJ0_bi|F'i } iBC@Ы8["+]d0635a6c0dc305621aa4f8c941ba7f312b781fc193597781a61fce4e5d9ea3c9733eadd08aac67c53a3c3ecce166b62aabd21f02,hahvW^^fTPV;)QF"cA@hSz4wo`vR%xf*'wqlm\cE*k9 sm6AFЪ!Dq}آrCّ"Ekh+2%_k@橁6q]M,A`G"Qj8eq:ew-3_MJd/orIusJz`d[`,oyCm"`>p= ? d ( , ]&;D Ye}    @ DTh|   (89:~FGH,I<X@YL\l]|^bOcOdefltuvz $ 4 8 > 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.a`pecs-obsworker-0002]openEuler:20.03:LTS:SP3 / standard_x86_64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤adsQ3a`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-0002 1640980592201820188: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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:20.03:LTS:SP3/standard_x86_64/abbc448fe7db60563655e2f379ce7a34-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text\?ZK6=#LCutf-8e7aae60a490a0ebca5c92ba888e81626107e669c59a436ba64ab1ce3cb2e34ff?07zXZ !#,`] b2u jӫ`(y-7g>*/㖠ڱ jl]=25ɩ:JE57\b^3Pbfm7sG!:h8}9H2 aQqn\D`‘=aEOTb~ژ8ÌhWWmQ. hcf=/V%LL¤\Ɠ{ꜚHlg"~/bR'/?yU 'AJYw+/Q m;T&U#-Nǿ~v3TW˞Tn٬Ცo&KNN) +|&0"fZ3/4D Q-//}bdE>Qcu97) .g6~BVsH>&nBVn#3eǁLTV^89tIð|'ט^A/ )MёU9H.}9HٕqNku]wjDK+LJigA+YbE=UT>l.ސؽ 尿66T_cű7WqYY@jB$s_C9=S ,R6ֵX '3Ӏ!~'xO<>8wVE4wY@)xʥI:CCu|h'@m\Аfb fQe -ftZ="Tts a$ܼ~Xa;'gV.sRE#|)h+e : 7XҿFE\lӖ6!\e(\`k#)ƕ:xn# PK*$^-=B$%S2 )QOCqМG=…~Cb sH %]k<$҃r_=Js p{  uJt숗cSb7^.]_tf@ֆh$x!̆qH2ҋmfwȟ!NR8%C+vf"0UYs@+Tr_DE99PX>7Bp9%ȲhO(e"H]l al+T(18 dw2P۟=w9^d}y v 6ѧh38<9@ޛ~|ݿj?XG'BkT)+T)T 9+ZtZ%/Tc!f ^΅2i{籡sFAw ʬ&e6kƌh m+'9KLۆJaV93Ki4uNr<#s53X5<5e0G0-f|~Q ޜ(@3C`!3<2F+DIIh^u կw~#Zoʥt|RoTS@f\ozJEc:͢4HktNdss`ͣ/ " 4x`(#\/v]QlP?fj94ڿ+)rL*v SE;dfk܍c[ G({L~ |:eThq6֬*Zs}fevPhbnPJ-3q Z$} @Xd>nt5}LraΒtm<&w\ oX# s-yK%G澲Zeg54I#`Yl7LH^*wl5L[sh !Ts1?H\9_7G`L!~=G9}@i5M]Ii*K]AXy8\>4l@Q#3BDp$^-Tt׉O[١l &JٗyZ|B(aWxِ Ի7}OVPHM4ԑ0e!OK~-[s鬬es@иmo_[j&K Xi;h~[=J@8%Bc/>Pr0T,übhYB>?Bvkr;R5 ϗU= p,)ٛ9C UeTv+:vR.fK?fX~TO,mÓqkll3>ʽ\"IA))1\3䏼jvlR]/k{#:kƖBV+zZΕO}/BYGGm I6H%gvy&vsPU[@RloEbm:m*D ld!JiOB+Nnj2ctPxX=APzz-~\ՕĖC59_ͺ%nN鞞AO rqPuG`.:n(cY܂*&C)q8NtN_Qd‚9WSB] , {l[L0TKZ΄<(pa>܊c՞_V烂|0,dcjl )?auyOqg1LB:N..݊vzC\%T0Q (PGPbJz73.DN;F G_:ZFgS}< vg_9(oqY+_ɓ07SbB^NCYi2*1eygsi\U2 VX7 0H%=%M{7⋶3C!P/H4T]PI-N!~ Z%1%d{Ʋ%04G&hEiHPQS[v~֖[zD\H)z\!Qƪa ^HbYAB-;J@5'ILjb/]r"1G%`,!`^aJ?w̽ݵJ̺LA|&YdM^)pFC?gGϿ!F* ^|L];󻔑F<@¥1iL<p%pҢo?J_}Y>&O^29qcN$V+~LTe,ZTM%*/)R&kFot*1;R3.޸CT:uq C#%w0͗Uv`E` ф-*W㦻":0(Twܑgn JZϠ Pdc~8m8}PvəTqy)P4e+%`"kCͺV/eO$qj(-%<}0Ou}oԧ;ŎU=Kmgqɧ}RBػh> %-BɻQkY}G&'ǛLEb,G 0 %Ԑib.U's h7xj4:8.סL5&H²%Rs;^Fo;^yh 5!CVkt0b [3w.aǜaWᶔ]M0W, XzwG} FL15*G׏^HnA%<t(TT$W#n8U@`q=)[ܖ>\@;͍F*cAaGθI*? HVx\qV v:'\IPKH,Ƽe#{VTlÀu~L=Ӳ&:C:7ڱZ$L <3Ys=CNkӨ%t)1_B2ri'֓VA;0ٗ:Dg,\f4y_){Z6c~,7ɤG2q4c]ĽE@}A|:$dEq\tug3ED-{0Vsڊ,ofr% n3 qM$C 9. Bڌ WީhU7] 3 h'\s E/*TW1c #w,iF #Q*4J)u}s/UCj`dK45OM&=N.xMFB}voO_=M h71Ol/$~w{wֆLig4 e7O @ m"HC0ܪi%>l (@BbEk^  =CGI֬'0Y7*@o[VMeuu,}6)(^ tUɰ8nCBou:>~6D[/nɢF kb`2tGIɠ$ I$uwymZeX8jƇڣ,;Ir"ʈ5}im7jպYbVV=8#89P܅zEr_^< mWrjY5p;Y]ИP/UNKAȴ9N25ʌNeaY߹`_Dt!ʏH " 4At˴rNI46m5>M?M^#(  3jYaD~;Jj U'NRQ hk=9k͸Iif~ $swZ/F_Ff|ލ;lxtNp /e@<doD[L&uVHNc7yf?0~js}5״3d\I_lA{'HD"J/Q5"dZFC1E>?C$ܫ*3tJV^̼/Z>yĴ\bR׎ѽ^Qi_.*JZJOܐEs%0Κf\0WÌH+'茟T;ՂIlPvm^F(= YZ