texlive-bussproofs-11:svn54080-73.fc41 >t 6 6_ t3!Flض zE>b$bjf b$bjoK w=4KnjFYA+ВjRwA7kG_CJ2D ) "H# Ġb2zέ Gc ֖cwY-V˦ {pAޜ 3_Ei̱C^e] t}V?rvs9)`Qf!ҍ/v-;79lF7ԪXC& 6ѮٔٯJ<t2FlQJ һ ȵ#*x@mimw(fD`<?d( , ](,TXgv     t x4(890:YG H I X Y \ ] 0^ ibdefltuv(,SYCtexlive-bussproofssvn5408073.fc41 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.f?buildhw-a64-06.iad2.fedoraproject.org;Fedora ProjectFedora ProjectLPPL-1.3cFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤fQ3fP4 5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb4ee8bb0da632f7d9139499b214bf7dafd733c996ee3b4c5ebe87d74d01d3fc62rootrootrootrootrootrootrootroottexlive-2023-73.fc41.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.19.92fe@ed%yd"d?@d @c@cc^cc(Yc*b@bFedora 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-66Tom Callaway - 10:2022-65Fedora Release Engineering - 10:2022-64Tom Callaway - 10:2022-63Tom Callaway - 10:2022-62Than Ngo - 9:2021-61Petr Pisar - 9:2021-60Frantisek Zatloukal - 9:2021-59Fedora Release Engineering - 9:2021-58- 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)- drop texlive-ketcindy (it lives in texlive-base)- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild- add missing dependencies to texlive-lua-uni-algos (bz2158837) - hack up tabu a bit to try to fix longtable (bz2158820)- Update to TeXLive 2022 (finally) - update all the things - add new packages - rename packages (tl seems to have standardized on lowercase)- Fixed #2126535, Fix symlink changes during %post and %postun- Update biblatex to 3.18b (bz2100167)- Rebuilt for ICU 71.1- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild2023202311:svn54080-73.fc41texlive-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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointercpiozstd19noarch-redhat-linux-gnudirectoryASCII texthttps://bugz.fedoraproject.org/texliveutf-829d500c203667f58321d719defae724d9de4922cc0d29b5c4eef362ed0ffdc1f552f47604afe2bbf59b04227eadda59d976cf7c0d7d73c0cc236398529b0bb28?@(/hu02 m'pITӍI ɛ7Hw_֊` cP1TD*<.??*㗭Z5ڲcoad bbpFǎj轍G,E= _^V1g9eKO˶"Ǯ=mVd9ƱV+M桚 }859Xdl*7;Ssk2򦭡GiC|MUO^&N sFfCHv} p_wt#nyBi7,ZƽT}X{^64Ww8>S\} #oHZWku$䡌E0"C[nN;T# ٚ͝~WR;}ySN=rNS~+CEP1ty1HD) %#X$]fxxj#ARz$^da큤J$H;S=@,rqo?&HK $86}hy{'sH"m*&0}"lfdS7p= {xyH`T#!T}X`W~՟)c VQviҞ*hvlYwAHR_1t7E NB+Iov&U.?}R.ߋX>?.A+ RP;o8-1~18+53 sBz\?-6Z CX(~9u寷=sV{6r~շ߾e{Z_([ 5I1z֞!;JvB#_q^PvGF 7jHq?  %LP {ඌjpőV2D+FK/:JvV% {96N7!h>h<1y5iUq)L#Lɻu3BcEEq_[ʖ[hrPeɩsc`[RcOgk rg n8N(T~zN1j.i%f9C^[fr?&k\wM1k-Ǧ?CfQleW7MVnddF,Jk~N֊=!l2ȗW9=DUIXT,  >c<6IvO~:oxˑJwшa_Mi9$I;8`Swz]~6lBL6~eqt`?pk$Q? S}gBjg#e퐹;~*_Tce*) %?lߒġa"ih*tE@ihpIYgIHgk1*QPBtaaa\?>ǿ!a,z ҋy# $Hd(.Jf3a:#E"D :DMhCCA@ڀ&8'&%uyM8når(P]>gtᡁ$4$`Sq^(3Sţ/AA5"D8|^`G,RQ *3Y Yn@tr]J̴ %BHC{z6V7qK~JߖE, $*!>xHTpjÀ᧒%0,,;Bw$I=n &4,tpDH~P2 jtX?-KF\&*]F,P@.@{@^ި}I7ܟjC~qY1^R|-C/~'\?8j d](>>(WЈv!n <L10\1vD B8kPl*(NCpr2! 0P Kh!7yliZY]K@ܷXfF1t0G)d9R:T""@@ &:$a QY9 `@ ( 6p`k>mpwSpt۷ywE ! ʕ]EuS8M _ Q=5'1bWe]5HiF;R/"}PQ wkPm+>Ue[withoNd;ӞywpDr^94rʎ7K(.xcDJэ,. y;IgJW\hG{%yNec]3Css+d^נ>AKfP~ר$;.,04ڲrkE㝟 p[6XIAϡ" JEi.xUOKlD>0E'% U;mWt=>a{h_ΉCEM-dAj Ʒ?r>7y? ǹA\+6ewg4+i8ߖK9g6 d0R%]{Hq \Xy:Ci}[?dׇp8hz~ЅyW'.:W/0o  c];}'A]3)8%ߍ4z[SiҹGd:Ey^,񪷕odo;em}7",c 'ݼxB/S!*aH9nM5>c.zoO-{Œ ߛ"9{ gĸ a'~KişMWz6 ]Pyccō D$S7L6Y%ݮ_2pFt !EXiba@4tUp`8,7Zf7-#Tؒw$R6"-0Gom{o!ij9P䪪a,r\SI=WJQF=-Ŏ(tT0?҃=)&$kE9=" ztX罆SxR)SYVdCLZ1D,(16RVf7 NOoJ8@O` {Hߧ:W u\zoLh-$3( I( m#ls;VVNj@r Ns#G&î,t=ۗC:1МK(FB.48Oc3^{Lb_.  r :o^8o\hA::]^`( y9aI#ޖ8?+*69Hͱ,c "zg X@fB=Hw 㝵hj4`ʌ[LuAJ| o<z[e(ql1ymzbTgo>0/8x0[UgLYH9ѥqY`7 bNE( ҸhWp/TohɎK4U븾ڑSV=kӍќSSڥ31d G C?Et J!&I!7M\u6.DfئƎl$uo5ZʘrwdV^%.-%y&ᡉͿ[X5.G/T,S ä]5 .˖FÊݔ7E;'?7KݫcY/Y*Z`UM<]tA>wQfKOZRAgg1Sh(ʻ R)N0?ŜfKPraԾY ]Xql=@%vz)~R̹P]~=0{  XG}!Ie%"H k׻;hZ%h(@KdcM5[Ӊ! #ÍW xح& K1jgJos<. I&jW &@/4n^}t.tXu `I4.6:'`'..kry@gHё=kYgglnK)d`o!#\a$G|%C%[4p0=9-MÂF"E("b*3 )fnUQl 1LK ,6(4 PY/IQ2k),KH Is!Snyw[RZ)]%b V:FJS+rńO"7%UJI XIwcjU߶86D_[_-'`LWu vgEh'nl2uI z۪s?fX5h@^ + f/9?td:V ي~S&C@.f H=K mRʛDjC ,-=|^DQ+S|A I,ȼ"^,QC]!"0#k ]iԸ%##m7ʈt}dkǧ2>cF*0W[y<0KCruiGi7>HA+jUgk[&Pt;ř#j%h5ㅵ\`7(6R6;F&?8*G]h#=ro0|o{)bJf\w }\yv!b(2TԴF>[Lw .Cl䪄 IeUcHI'R(q#R0B)HhI:hf &T=+q+4[{ͺ>Ƚ0-Q EnkeGPZ<$eסeܪ܇AYn$kbxA_#$5}u5Ը}s7Eذ)bIލO=21BJV_ǁ9_ ]WU?K?;TaUh3B=l?ɻCP/U JURM{|.@;6*CGqOQ0gn¬ a 2*o٨^w.JNRPqU w}"61vM{%u_ԒD &PI-0 (fo ebJD`I # F~6f&EtÝhӧxPj!+8 u!"*5a2MP Qho$p: HMRnpRPبٖ*zv/&}ƙ~I5sXʻYxj=|@j `ڷ5g lYjy gI="Ս7, XKquvk t)e%:6)*"A q2FѶ-xIKn=)GNz@2A<6L(tċy7= p6 "C(dk ]C.$m%l< nͱ#tBs**fXi5,9fLpǥ*m㑔 ?pe1!|@t .c|+G^\)ZY0k9M:x?W~8 Ϡp1 .WA,r,~t~@Ƽ SȬcnvз^#3cSi788<J_O~YV{]2h9W`y'bm8Yώx̙jD(7o|ٰVJC]E ,V1TzI SbwfG)2:*͕"1ǧt#`M;bO~fl )@VYDy1uzg2iH,{?":{ȆK|x`4 ;EaZG{{`)m`8mRM&vюWr!y4xEW*8Z'فQfе%*3*!v$ A"H=<鐒uk<&eyg0R8Bl\-Ggd3?Ɲyρ$< ^l?[+jҪZruX%xp`95,h /8]X@p=Ӹ*.h,RHRD=*-/hc`FFW4C"cvk(`/d}>]?;I O&*q>ObBkPX,ƛX.#qb36ߧѰ! VDK5D[ u}9/]fI[m%w dh/ZwI8&o<&=($7}LS,CGqIv秫ovm:56R7)l;4t\N%$VX^QlOp]mpK>)X[=BVm}*X>hZ. [)i/ `ǕJ3+?tn=2;u`c3`E2to*e|d2a!+*P%PMRIP,e*5X!=g2 ?o"M#ŔMJ~@E=t[cl@Qrs)Af4(tƅIS?-,E1%bNƆ/ǁPAw:⚬qK<>[GhG?K^76VmJ JYEOu]?ٔvfZUAEt V3ʜyJd{ S1=듫4+Dor6C1* Njtt/u/$: ; pzb3-G_XK-J"|n8`FLBWM -60f8Z6}t=rĝ")u/84KPnfA@6drEPWݙc!5lEU>3EUM$w\"&"n0`IX{IgX4 cAH̴өi:l q'Dw+yn~cAR?CSHl8^5eF]1# ٳ}~@a f~f7Ct΀?`臁J |zBL4idxdmͮo[X f@ x\fܕZ! 5mX-SċT;k\A0QgJEɸs:4]*w49~6Jd=tz} הF!ӽh>Z5'r_!<, 'X)Px Wlkq9uKBF7me[u}?2Z]̨ÇdTedMɧFCIk`6u= O*2URp.ԅ>*Iع>A o>ư/6:Ԫ 7[]7 pl!gqmV*Vm$e;*jiv6rˏV CF5ۺ=j+;mKɎ g 4FhY<\QP˥8ݠ`Yněk+\r?V*?"WѨ)n|{E`&kdԛ(cke4$^EBFO|fܹsDh#8qkSm^Q ?*r34^؜1z\:.L&4Ÿ~]X}lԯ` {`Ƙ\S,1jݹſH ޻axYP6ġ*'n;%"&J#'zɁl&X]ɡ C(H]MAohm?K歹)Smz3|Ed"{Ŀג]iz-3]Od"sؠf4%R՝_u UA^rr, Ul@^)ۯC0ZAHm/ C> W7 tџOGa 3yߋ bK(6xA3s0$<oq("[ _nj@p)9SBw&:S$`Ҍ!K:oLP1z9(wa48@S4&X kÄع0jH