texlive-bussproofs-11:svn54080-76.fc42 >t 6 6_ t3!XPȬI^DgC ȬI^D=Mvfɟ={ydWOȥd/ z7KM`8U"Ơx*h_P5`V5䖁`"0ƻJ5cV(f-%PFPH׹4?4@g5̲{{(/)Jl-Zev&fz40VH1' 7M_^"Oȑuh6F:!o;HINPU)Wb:[ϓP=5㥆HN>tX#YD}>sTaf;N[gBQ5͕!x QЛ&r]*7gHKƄor;ܭ 1L] ls.sڠ NܯNTW_8w,ƙ( L${_rx.jǨC.#hG{=O1?",lHlvፀw'W14˥OHw I%a`E״Ԗ7b5fb85aeef7b9ca3d0f547a9bd73d19f5b1700c10d60e8ca105ace467795f3128627a7c89bfd1fd1eea0d3302cb5c1a468640b903020462f02aa40047304502207a3be9d7e7746623139158b00866824d4508e4713e24e34e0fa92c43ebd56d2602210089cb16ad61abdd46f32013ee117b988b457a4a95f18593daa6ed9e9b48892d1503020462f02aa400473045022100b78939c80453d001cfed7801deb3cb77795244577701ff32fbb42e5e31460838022010ca85c3ab1b6809e69fd224979a347c921386f3fa76421abf542cab3cf13b99PIߺc#] QIԎP>`<]?Md( , ](,X\kz     x |8(8 9 :6 G lH |I X Y \ ] ^ b d 4e 9f >l At \u lv |     Ctexlive-bussproofssvn5408076.fc42 Proof 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.gLbuildvm-ppc64le-25.iad2.fedoraproject.org;Fedora ProjectFedora ProjectLPPL-1.3cFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤goQ3goP4 5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb4ee8bb0da632f7d9139499b214bf7dafd733c996ee3b4c5ebe87d74d01d3fc62rootrootrootrootrootrootrootroottexlive-2023-76.fc42.src.rpmtex(bussproofs.sty)tex-bussproofstexlive-bussproofs    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)tex-kpathseatexlive-basetexlive-kpathsea-bin3.0.4-14.6.0-14.0-15.4.18-14.20.0g@g@ffe@ed%yd"d?@d @Than Ngo - 11:2023-76Fedora Release Engineering - 11:2023-75Than Ngo - 11:2023-74Fedora Release Engineering - 11:2023-72Fedora Release Engineering - 11:2023-71Tom Callaway - 11:2023-70Jerry James - 11:2023-69Tom Callaway - 11:2023-68Tom Callaway - 11:2023-67Tom Callaway - 10:2022-66- Fixed rhbz#2271057 - Upgrade biblatex to 3.20- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild- fixed rhbz#2314476, missing dependencies for package texlive-europasscv - fixed rhbz#2295803, Chessboard requires skaknew for a font- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- fix missing tikz dependencies for tikzlings subpackage (bz2255556)- Remove unnecessary dependency on fontawesome-fonts- fix broken dependencies in texlive-naive-ebnf and texlive-jwjournal (bz2181838)- Update to TeXLive 2023 - No longer in TeXLive: elegantbook, elegantnote, elegantpaper, tablestyles, pgf-cmykshadings - soulutf is now part of soul - expkv-* became expkv-bundle- update biblatex to 3.19 (svn66405) (bz2176089)2023202311:svn54080-76.fc42texlive-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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wno-complain-wrong-lang -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protectioncpiozstd19noarch-redhat-linux-gnudirectoryASCII texthttps://bugz.fedoraproject.org/texliveutf-82a0801a3e11fe18dcae0be5f4ef22af8decafc9147aad8bef14a2267b925820fa8f7fc114dd757d1832b2e0e385cb25596bb9a0db411d6e7ab4f937656236ea7?@(/h]Z/,6nΖTfbjy2-LD^S "t\z*Uz ?_k4Ԗs| #K;3:vPKmyf,s $v¶Gވq>)[J߈Z49v-nԵ"˹O673dl$ɐчcӎFG'CysS?&!C,oz[IT)GwJ ~QFYU p_t)nyb<~hu:u c.-pVdpd:M&AbI }.GA#)dT~N%ٯ}U+a}mkj,⑆djc"W`"]}Gm usdqz~$g[E i+6A`p6F9C9<8*(F"d.84bsQ FOA1&#U Yʎ#6Y/QrGJV|Vzql-^UG }X{*Di FO-/p\}mHrp1"5:4bVKN$XXl\0<:ct(zmi$![ԏs_jUdUGԥ:{KElbQ@AEeԱt91  E)TѡaR4Z7xP Yr#I*^ńewbMAVXxϊ¢~$ม?#(D 8PHTH?-ߗ5sْAe!eVA=d6Nolx]; B)4bJԒp(.)M\2vbdJ,wB1&ΞJ~՟A!T bCU r۱e}X elBICw$)It!d!jqH:Qʅg<&AI薒yi1qĪ ׌L[X]V^ÎP( S\6MWܺi˞9N+׽?&q M9ۇo߲Y\+ckN1*FoZ2daⰝr+Ksѣ G#yq#a$wԹ\<<.c7-;dy ZɠSʯSR=$?D?ބ}N`K[s'J',$Lđtn̷0?w ׸~e+bT9e]/SN՝w#?'@t Gp| 5S.|- >A]Y 8}[!/I̭ag|5f@rµ?˖cӟ zDJ,roE^-(ȐAs[Ě:gGDnnؓG`ؖA% ^T cdd.866z0^}C7sHBJ~:CtGB+I ߡG'WMwn6i.2z3s4F|||d,:. u=GN #KǭeѷO+ر[Oj1n+gt ޮT: QtD6+y*WvѱA=WX\F.D07):bSf.ӅøX}QR\R䇟l ۯ݂~ޡ*Ck6om܋tAza~B/G-<'I) >#$7JZ ĥP{Är[iR1aP%<lhcbME р(b0 AF,*(X|$)>DKhK{^!"lh6;GK~}ef$#WJ)stRu#OVr,BpjC/⧒! GC*JEnX~zTH~\<.T5jcf.JXTbD^DHRRˢ*!z$XV2BBu1,"W<#"r\CtD^"FE=Lbh26 ظx\:0 l.@l8.#fb20H~AcUst"Q5Ƚ#/Q3a?Ոrl T|-Ko ^~>q,%(RCu~\N'D} zMwxCDծ %O U}9;#ĎщD !.bDdz#h7}\ d @@CI  ?GlMN[V qb jb:qwgJ)28R2C""@@ &:4 , 0pk>^l׎萺Y."+AC8TbW>W4Ȃd SS'Ep ~>kWbI(^Np@AkċCLiwi;2c7}CH2]?'vuUݓL»1T܇7҆_Cxgk:tMKmJǰ:ȩ\Aɗ:b2۵~6rF1҈C+ظ&@wZ7y(VhIJFϽVc|eZ]Þ:Nq7,s1TˎD5*Y~(߹hmU=0H7F*: ,ZG{bWDt3-䁉y--ZRCa˟ h~ZmmU_I =5=jtTodA$3g0fg e*o95/yX]mp5MAِY#38ڒ$v"'A0tVmD7>nW}5(LJ#T?D5W:`/Fw~b#]/\_C?LtcXn4UqEV7+Zuza@ǵ$[yld^ޣՓW|"+.X B{Ŀ4ҷ^oD&NObLE<E~X挨hG!1|(ۯ"rĐ8 |O!$PsUaV0D %"> b SByʢ7)#'UyCy,VB B,XY8|͏%qMgʑ_Z|'Us67)Tp\>KW*Ű)}t?aI'J>n1r}G"޻Y Z#Q+eDW+뉠MIL옥tq#;.HuS5E˼qo u]bZ u|)f섺64J"rȩ0Hs^RGc.Sf2SQ^I M<:D:Ѳ8~#ab5Á#]<t 5:`1QzْLfݗ/&c[r'i`}ҢraZbu8Խh%xo@cwg]AT X|,hs2Q"1%G'| 0(U^\o|W@"`خD$Opd @~˴B`tGYq.:EBBqWmfX`mtĠXUR}G)H Lqч׆{}k<1W-( \U5E*XG[|1%[3o{!ʨ>ޢn..p|;=*ύ G r0X`$a n&p!o~Ix!K+R Yު^CoGY3A8 lf+ |`s !֓xIC1 1qwO헨+ _'ɞCXצB Ď wkPau!Jqc̸`>˜ { ΡPSP^4PǸuɂt?9WN x5>R1MGyC';O$)/e3SA.AudU )O"h`:˧btWqJlxɖjb@Rs`a"K=+x I ͒z jyK㑱hīт~9(-~&eez0Lhhf^Jۡ /|nG|fnudm֦dҀ9iɟG>gXBb6H YӵJ2Ҹ}Wl|] m@f&'֘R ;ffe̷(*3&A/uE.mg$w<,sȹ*]!'DʁTc deRZ|#E;eo.fGbeO pAgwqSf_{%"*i 5)~؝S垂ƊbLTX<%PaCi$C͜6M5[>vv]6rdKNR}ѴkEfE.iZ[R- pGk'nӪolBB4Ks0{Lmr &g)Ѹ#F |mO-iI4 'l^ ߊ2X;>^:~]^[BԾhRXloG[l :"c\51hIJ`eYUꇔ=6߲yX<$]` ktR5ۧu'%] 3\nsEX>.]hz])GְJ@>a'5UhEz1.Zq"ȃq^U״{E<2tV#QYpU Aр]o}lG)T8u4 < *SҪ5[I.Om&MH]Fujy<>ݜ0^k^#>6qfRsfgg/o" ,n ֧aA~z7_Zd`ZƝt>٪:(0"? )D'Q^o.cW!!M(696 6II6_s&6:&.5ùb@]gEHYʞm;ڳ5`&\97 7fHCWPf "#7[ګ9sz%@%R+&>S 704?q|H Q|fDqpvLog~S/ 3yBbJ9Mg HC3>vmx#NKI 0k)̖H^!# 0d, KuMl.$B͈j ;U_ug b/Cl V_y&t~J6+}liB'tf+(nw&L)&((P*~]>ALC %vUS8<QwnpFD1cs%Fb]V>r5Q絋Զx4鼹sO4E1V?lOhJOO^5b4_^s$. 3oWIEUC$|!cư5 f@ƼC2)`g~U{yN/aY }|FRن#JqkLS VFUhce\ת5غk[ 8Pa!ZOYq" O[~Q ?U4Tl. xuG%5] 60xJ{<@c^psܹbhy;A@ç1a~8P:r UI'rԵ9 F&B62"`+FdY4Nt hdpuH,h'*_d#dt22^S5g7TVCbT> P}DO!9">(Vy鐣?z$ΈHX00>V:A+xߑxQ]L_q[u>?xP)֘+ThjU'0gIjBq6Gտ޼aSD+J'7K8D *9-=w~Xw]boc+CS='̈́ EgQ=#M7ҏB .iks2WZ;zr{ /. (Z6"f}Z߹TQdf8KdLbM?DRтBԂdVr9E5Y<@a^넩kSN3kwE;4%e $BD Q<іIӾP$$}!1$)lpRuH@w荀GZ ٌoƊtީķ܅_81`jf%;!}st[͊HRsPKh**94Em]"A*>UkG額mm:eH!q lLTT%q6k/&˦`&63 3y~+g#o,Kd:ݘaK Lɗ(~7/9bRu1]"yѦߞ#s dl3G u>›2 4Lzƚ檂?hBc#2t E`1?F:K?Tct6u$0,RHFXW"psۤIR2ZJ-z=zB"_~{?+vq oON%4 7v&/EoIR,!z `[I"F3\s@퟈AuQr[}"Ѓ ̼KE e* y *4!r dFb:2БhĆj@pE1 W/EBAHmxRNOOn8=y^wP,b8 4Kd)`IZ$n^x>#Mܿ.@(!> G懡.a`a X~[Ġ>^rvcēWRR%J 9 +z^L)th^ ͕7~逻.|B 䈃V`.caSUw \Xj?NZ@BӈX%S0ATOTTsZp*Hi^5ަnYƅesH8q_Sr/VRv*8y&w$Ԍ;6!sCXmg]:}ƦfH49%ޑw%HzGK"/#Mc^c0iLgj|CntiQ},ѣꛏ'~^ʢf7 >"ߣ4Z~V8L C92蚹/F_Myۨ+"&MqsA_zTю -aK--mv̘}4<+)}#Ɨ!9m!\cT KQ]2AadyDaIِe"X213[=֏Z~Ɛ n:,zn}bygC?Dܢ#7ZDgs[08 ؉(X$æ{SX&FKӲ0 BFƅd?Ȁ93CI{NNhخ ((k? 9:e,8Lv:ph3Ca|;#x@N#)N,ȣ¿Q@v, > <?eJ%A3x"ѽ"O;xP8t~%q 'FegWɪ Le9Ѭ1a>n}UqkV2!QpZSx.TOOQ^Yr; zsiJ+2> ̮.̳9[C#&՘$l'n ,rbr _,րi(hl|R+syEB2$/m݀\V% ݖQщZ2v#&:w:p gM:I |4iFm~\\wO@%[.Y $XXh`#VT +94j^ItcJ~W.euW1i>p|$+^\*)ެV# >˵4&*+?|Vg8-: GW} Vsolbt1 ye@/dVce\m=GwOGǎm2OG޷mW!RWNq8mtA,&J~w6lHLE/=_mHh7!W ÀjX冱vK̀Y;äS.cʣesO P)C׸\W1ޖ WVYi1(Bd "q=VxTBۋykgb=p, H^$=dLkL~@LSs>eT~&i$hJ[t;N˂ Sֻ;d"`SO5.u2,c> 1KS`{)~2ٴd!8r5Pq p΀'^UClt4>dTyxuXzL 4cBjI!j m:`, ɮb@!CE;:kJ k\c)[uI[xbb썳l{Ȥj+7kt.ց,Z>71A4}_>J@K dmG' @Ma U&Sh"khEH}9ux&%~)  ^N2j߲){ `>RT M[4$49V ~kKZ#D~bjkO\.+$\+_J#<IDt#x2,a,G2P=Qͼ nlBC$=+囶JKMĉ,SbK\urTcnsǹtAXqJ.}tgUC5ِ82g!9a{i0l~1%Q 9 n^ȱ .#:f^n^F0țR87!t-́4iuh!fP0c3sha.2kqo&ly!{i;]Q$gv:t#&"uΛ Z.I˶"bf4i$&A#&[KKXKBR 'P]%|R[{70d֖<^s*WYS%1$0o{f4K" epmå?4|,_wyX&TYz Ƹ%w3(լ湂Nꉮ`E\|o$!p&dX%9t +=Aa1kCV(Cv Ɩ(Ik.'>R2҃VY3Y|o8,dʣɅas>LwTITk ml59 P~X*}zXp:2$cmq ||%SeŻjSVd=+C>[uKSþ>!Aݵٜ]%E8%[z6NMJS#^C4lh=g6jQ^x?>oUNs ^jh&tG4lTK(e];siꯂ,!Fw[j&BybBv,)~F$1=$~D5.M.7Bn< .aYd* qUcp*,ǀ\gdskg %+CV?\B93J]^ )>6Pԅ*^l"@_9(TYIL ؉)c{݄b~b-ıEbv*PGu }W8]ふSAv&[# l6<JuP$ bnԺ$\-.4` DX-׫Cx7.kFQ;jiGBNRnZz@4 ꑹ7>17ˆ=ZP3a/aN9#!:1];5":3e/|(tssj}Eĸ#^BȄ@]~m!:Vܴa}Sl+RJPM8_EIT\'8zp ?\yQX&[إp}Xez{?+;FU"wܖQE$^!L$!0<h"aiC,vf-`)㖘ݭY, Χ>XXO37q˶}ZCb0_u ﻷÁȇ6bbA:/p'x$~& HLjL񂥞gBJNGk[lZ]b ƍ-ɀF1vQtB:V/v Y(i=+)z:šrf?jE0~X*f;SOADlaK0OEҨ6c]yf 'K؋ U=;g?mQ"N6員׌jzజcaE'S?fRK=S6<ۋJ9t!8q<],[s-1Qѭdr[nĿ ct#_3BP+/A|Ms-+S@ҩ1x(xLGCႊ-*KwO|T ZlʗՖ蔫&HU8mt4@7K2' #[=W^#VUdPi:iB~ȑj }{_mKKahdxoWJ8vgd^`XVيEmLyVc,2Y/X$D -!QZ{9b@s6S M]'HC᪺Kf15]Bt"W%NZm=;.jYBr F޺U[rξ=Rvfj=X@zSڪ̊2n@hŃ< U+IڿxoRO׍{-~2?-jj9ϕK%x u:cPTG=]RAk9սm([*O /#5pF5/gi 9nf\.56c9hȌIJ&qn.Tn?j$tPb2[+nb{%%*O(ٱ@a#Ʌ0Fj٬osR,W<1ljB5Ќfu&+sdB0 2ӵtHdGA ::dl* zkF{E"B5PKޖe܈.k^)!um Fo]a nLw"Uoz% }òCuM6H!72=60O7>m./NV5 6{y&@*#''!BOHtn?H >gd|FKfB.-#!y@tEkqЋUC4VC5- Yӕ3 cF