texlive-bussproofs-8:svn27488.1.1-24.oe2003sp4>  <@PT@7!.ܶujG7oedopeneuler@compass-ci.com G7o GNdeJ*+xU+qd2Fq%/U|1MN>MFA, \MI}Q<5*)=%hc3/~30#1#[s\^(iԍ,C{Ct2)-Dٚ(@* T)yA/R՘Z}==+NsvgyvM´>B|P >.YA8%IboY+*lx R ;kEC#?BnKw3If#(pyH^T "u9-=i&u& ]⭈kgWW 'st2Eܖ֌z}BmŻ7O~96t n5ts]X6e60d4cfaed253a4e6e44c1daebbcba961d8a5e2ac54806db5b73b5c87889f2f45a094dbcda3bced01149510f523e773daf02caeG: ? d"0 4 e04HLU jv    P Tdx(89:FGHIXY\]$^]bdeflt u v (z = P T Z Ctexlive-bussproofssvn27488.1.124.oe2003sp4Proof trees in the style of the sequent calculusThe package allows the construction of proof trees in the style of the sequent calculus and many other proof systems. One novel feature of the macros is they support the horizontal alignment according to some centre point specified with the command \fCenter. This is the style often used in sequent calculus proofs. The package works in a Plain TeX document, as well as in LaTeX; an exposition of the commands available is given in the package file itself.eddc-64g.compass-ci;LPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤edQ3edX85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb4ee8bb0da632f7d9139499b214bf7dafd733c996ee3b4c5ebe87d74d01d3fc62rootrootrootrootrootrootrootroottexlive-2018-24.oe2003sp4.src.rpmtex(bussproofs.sty)tex-bussproofstexlive-bussproofs    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)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 initdc-64g.compass-ci 1701097405201820188:svn27488.1.1-24.oe2003sp4texlive-bussproofslppl1.3.txtbussproofsbussproofs.sty/usr/share/licenses//usr/share/licenses/texlive-bussproofs//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/bussproofs/-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-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII text"a!TQܞW4L -}utf-8b789d101acf5c62f13fd0fcff6e020f72004c1721cd1c6940312188192fc9873?`7zXZ !#,O9] b2u jӫ`(y/۱ uhco`7Y$ߠΑ ,2&-n` fEPo_@ jDX`]BVY7|>)'{(cPwDNDJ >a$5wOʺhRݬȂ6EHFDW]0hIS\%mO&08LnW̼HF}ὅVŀawI¦r*@ȫtՌA_$#Z/|็d>=at:#×EuS!ci[#`%[3YŘ ފq'fJ+ҒX\s5"Z=Eq5c"JA)6T ƶ:qi18#3!/~'~s5X2¾=1%$X;;~LdhlU*d%Cs 6/cOkCӳTk@щ_d}!T`x1ɳYUj-4(W?gxNݵhJj0NH{x3 E!nYāe HR&S8,HL^֎r&1^̂hP%;~O+}Meyדc|SSs RࣜEDWVy5O3;qt.tͩD(^bM j̟T *֦eeg(~j>IJ-5߇**)5nM" uJRƂ!"ޓVcHg# L1l#O!b6e{[y%`bJ-✨*$[2jmolkwV* bzje߭ycg `i|杌GQo Oܠ;KB,#_˰!'a;V9:<{;a~:\,eUZN.MZX'zl&;d:OT~j^gŽ뮰:knǰu`G5 fŧ%D7=M(%[ _鱌ѶO펃Fl )GRixfB2^&NYۚ&b)`tԔLfEu);|ZJ쭰I_n! b+f-F`ISZ+]d~67NN L?\t"!ޏ9-?m7nhL+j'y X?.?vo a@p>e8.G(yЊcˡVИEDEZ@Y2 ʋ m6%Yʸ}^*֊$o.oWMd3̝"8o-y6!Z?lXvU`e1Z`#dtO k JX *nM$ySULF4pHbZN4 +qP&jʶZ0]4I>~Ypok[VbfHYyn$YSrVݫ߭ \x2e/[108 %Աv >>i U 8\lu8{ N~sޯK-6;]QrHiRz߾%lnf~s  ?c&Ĩ Iyzt~¡FxifPFC_JO}jYrG =>v'+qpgoVYOm(p}ƽiX@3zxӇ}HtsP{Q}T0㬯lm;r[%~|d1YCXıog=16k*x[-٣_/u(uW "XF$vH N~u!OOrKwT@dr< nKUY0Ι&@!XXH8ZWLttם.ȹ 4ړ?//_P*}qЖ]w ACc}?m(_=u݃?q:9ڪX||yFdk[ *E;Q^p/k\$ORޝqbpz6D \A'ZoEEζ,]6Ò˚^fQ4@y< ^0j W8oVI\a00I;dwC]8|p ?4Bܺxm,G#Fj0enNN#zgibx& S=1OM CW:8 QjDf+ec9n$⁤pl:g=pj^+ptVI!n8SedAxoc0m&BNvJYZW)d$RMր̟\\NHnB]0͆%z@)??iH&vmPi^v5: ٱgZHzmں+512n8IA[zaV^@g~99J{,TIF`KBӦGFJD-犚p^;B.f&ge8kb|ꤿb6%p7э?i9(.ДsPHE#b--S'Y㼳@kM/g2Z H{s Wsn:%|`¤hwՖ-,JAF_Fl.4a1v\M\;lb=䢱~J32;ypӠ~(nذ !D水} Q\װh3 +ЃMP4N#PK)ZU9OWJ̹=cM91F$9{s 7ߢ遜e?cJA^a)'(;YZlNGrҘ0ci=c2> ~WiDy)WZɿT8u}mC7Œ\Rit XLJ+zuE `aCch9L#ꥤvgvGY @My:W__;րWi֫%3inC ohZM܅@g4ݔ;-&(W{*s6wM>,|%Eå?ZtM Ro)zO/zsJ2 .Q( O铪\`s2Z˼Uwp uhKșZ_]i;2 ʸHGyb'$ǧ$"38<*aZ.rUPr}a)}2O]{5o"h'F00Q׬keϔ[$5IvNk4 $0ZE Ln9"gGX1ϱۿx"S lļ*k#<*$d٤@pML쇔J0G5 T:vv㞙2uG=—& Tt \8c 4 mM$'.)%(!'/$ɝ"ΕK>x/LAIt+vB$eoQ`T=1N}Ab͚[lFzS |LZ ha@ KCKtdJoٞ!؂Cv3z`-ے+Ov:j++SbK<ư-`#4Y#*2g>R&7T[}ukZ` U=PDŽhǦ BEP9>cY}iYG?lqV H*16 C7]`\S`9[hZ8ꮛV0فSIq0> hF&%jocFӴd4u _~ B|BjIPz-bOA@yΫUAӀ,nwBfGJyD[!\_«M$+U!$ `]_ E"]ڦষ'B||Nyy@T=*tq2k0*qEL3S7[A":e^{ ,w\=&alz˜0B64|>=U)0[W¨JI{RZ6bd\0e%wX ֊TEbof/_{)m6"eF/+u$ʢ_6 ap UwW72F^3xhǩ)pR$.w!t/?԰ *~ PE U*FO{؏x}Yux@/s.D)O Ԓ0_`&i%tv2IC AG]#&va!VBWDHc&3Z΍*oP@Muu)F.GӿcuRLJc=5;Û҈jD݅ cu|{MC'Fl:lbl *ʻD WߺS[Rg#w~g( B߻C\a8j2z: ѨIivǐ$do廲7];he"~˻ZRrS~2EXQn9uK\/3z׵,A|iC@HdsH6( 2 9j+E{ulpᰄ*^cuT7ijx%,{@q,۬pab˜Ik4T [X**ߐV6KC`j|31[=/Ђ;|2>ɃC Fv͈T}8G+ +:BMS-^&jX]MۀFBk $^m Xᡴq@J'JI9xi/><L񎰍8 7*|7_7VAUyn iO pOg 4ܓK>XҜ)hc'#U3 Bޑ0?}#gё'<梤+)&<b{6TN86&əo1O3nE>S>$1Q!,J:PT 鸑u#4fX{2װl[k SP}mObrכf0|]}OǴXgޱK)WbW>|R){DYez71<ŋ _'^;o֔LuY9"ٕ|۳/0xcK5W#Q.E\7T!X86fOkesO G k qjx{ehU5;93oF*L3G -$CG-(c=uj(.ݨrQ)krkXw8&}'8oP) &<,9WwnHR9]ڍ\] 9_A_hFy.ю;P+sQ%;+ñB|ތj{d0V($ʒY'5A\2y*s+zOy8?> Hf7Rs%2[c.c`pԯR0BYĢK.*Q>o`غT30:mhg5Q:TfL;Ia2aU,WdP6][mI2sPu&] ,# \ؠtO㾁Whߘm!C-/ϸ^lXP=%kedͮz^'0mFC͔d/ëްF玩qϩ-.6h]ĒQ/\Z2~ l?vh4gC%&<>%v})as~7\"x*}(gHkj0ˤ}QRSps NKhYPw2#v>юJu%$UTp2){Hb$ieE|j ݴ Ȱ>''[ɚlX]26H} ٷEG5~2UY-z猞htJ30g2Xb$C˞.ZDё',[0;z%U 6{tqo4TfJΛX=6nx_3ڡ+%E8Ӛ(8cOC%L?'wXe3WF_Hc$u $E4- {oP72 s@XN߉*-p4;k8! )4 a6qҷU+c**ʒkOf@ YZ};leC &T{: GZ .bs$0l{鄤9[t픝4"so OMzwBt wD}44MVInХ\uMN'Y@:ྫ8=ѹ%@Ҷ}_]t˄{~ sqWM`Vڽlh#Ƽrċ-UׯsjQ9$hcAGNz)Al( ?E`hdHNMlkM(އvYx=jg6QĖb&ߴ2Р8 Pc̜ 87;w"Qٯbt#:V;:N;~r?3cjX7+zC⼸%}­[L e*J]0*1"Q/n__>CAEHs=g#[X('XCFOI.ѕ x=.L r%W-??))$C̀g]J5g*hQH1~ <-JN =@=9K{6jF`ݸHlMQ7ypObE'n[wM;7%'Ë֦ ]62xN[a0f4:W57gߙ^Qb`*rG7NXRQ 7C#1X9;HsZ1P{kgcE## ||{1kLvL GC7֓&h4 \v?gaX: }hJWW 1ܙ|tSjoC FVN BiMQ_ tvCJ]zHŰ¡RqjȧҲuEUL=6F=Hr"/q5 4_|Ř-hOm5ݡZ普?]bHy*g'b  hGmU-6 qBK6KAPrذ͟Yõ}`5Y[r8:S"Qj^/Kq+*b 8g)GӅr@O'][vj>h_AHo8VBոea3|tD}b:*w p ǀoC_JIQH6~gry J^ Cv'Z2 M0~ꃀeA4ӲF"Xcxys[~2w;hӁ\=?/<2yX^K>j25պPɧ(6ǎhEuckA\/Kc,yϵͩ.;W9bVi6?3fnA2 qmtb=^Ӣ2gz&5L顸>n RZ# Zپw nPlj /[dwr` A]-пʧL_`]XqnY2`sXBIZ![M +g-mh)ңhu!RVjz ƈnJTQ"fnk(2>e݌akDJ<4VºoW`.?n `(?v W"xb=BE9h<#(gi6cR}n#Mfu^e# {cmMZYP鲐-=Ԥgst'oȒZ ћ;&,1MSa']`dcXk=/5G ?b=ikEG=_GYB95^X~iZ E'@O!P {[1MR2/7GF3C=x^O>/ŕ©4meQ}0 ?{; VtDc[dHs lhˍH{-4y 5*{MFΩslt] >%1_»&ķ2l`ם-ŲɯRXU_!M׷fw*Q@-6x -!\oh G Mۀ´x3'8CS㻲](^xXx< ny$49IIn 2dGG#nܰ1OW{FzxZ퉏f6sýyo"kE4uSU%jJ: ؜z`DҒdzcشTT4jVKJj3R11toyDvHϒ=RKo3|\렛؄MxY֮"zkH),oN#RwsY8{"gsoB_{1o Pjf 5~q5og=~M2’@fZȾLB%f9Yړ?Av o7aaKSxOF*,^[\eg9I$,VonG7P*̂ @rx@H}>V Ck F a7"o;@RdiViz,Ѡ\ևDdJZH*}TNӹ8F'( jO=/֌:` !EO'NN 'F/(3E%(A4=qJS3nH9ȓˉ[sGEq6Nl$v^T7[C߱d: .p1py0 I?Nv/Z@EJUuM^Ȕ ZL掻>qQnhƨO4GGB{5w"J^6-rRv _P8vx/y<Em)DCQcu޶={^jmhs&lH@P9',郿NgI^[lfrK8ϾiWClfOV#j|zk u%iёW< My*#,+cl}XV$}tA(gc/&ƣ&͢džx=>O)T:Y3NU*D+L;ĉp 8tyg < ' 27:U`@()>|u$Gitg`?4R;T!t$FOxW. @7=ܔ-]om<}tG)ِ [چf2\+-T'q!@_{ !\>Wa$]"W[Gk/&3w %J$DU\-zk+_aCQix_'gEFU/mv}_ag z<#̍ `DW6OQb7T3O9JTWyQ[f@ڰ?(dH y|zܠpP_1[)[Gd!{6'aVTx~BD̈́+,!2?2lY2)P Aj01t :C$&TT@汿8f 8`\FBu85 Hx ɲ8%`w! P~ 8aaaVH4*n7E Zƽr#HXY<| =߈Fa S8l](isaH؉a54gR._m|{l3[IMS-R K:s#+ c)dgW>.sŷPDKA]k3T,gg+qZc&.I 0/l.>Qw*FJ$[ރoyt`jR*𝇁kPRlf0(wCԠ`8йA2%]3E*Qbшz}o󍦘c aHwHm|(k+\#Ɣ~WYɣ3$;ğoS0qbHP|:iZ9gYj>a1\^h߰$$'F)QAΤh/gQA`s6Z0~ۯjVibzv- 9Ł(),Aذ[4sf2/VP]ȷ/ty>2.\ij[h3̓o8)r:~Sw h *'M(n_C=K'$ xC]NX/TV+ӏD4Fjj]\*WUJPd΀śe {hbvq$ 53`MCԈw/q,?֫ώN N(#t7*NnzpB2|Ι({:\2?·E<',вPH|0=Òm:%%K.(sT_u1̀~nL*LmO0&pI $ ]%MЇWbH 7/5q6  |UU o/ľT'LcD(OL7-AN+N It1e)e鍄cj/l ||v_$ŮB΋k?c^[UgI-Cych2;#I K^.:D|&M?eq ةIJAb(cۣt& YZ