texlive-bussproofs-11:svn54080-71.fc40 >t 6 6_6,0 D3!]W>D] 'p~[yeb 'p~[yE+K6O#Z>+dշZq2@z(#[׿$XMTakU=9 8ag[(v"9`Ϥ[z)NN>Q:/6_s)9L`YICGB`%d˖p<#I^x/ZKX=N!w CƑND] 'p~[yeb 'p~[y̰mY4{cf5.Ⳇ}r5W$J V>bgDKIL;/.**U^$s 3Vy'sߵ Q;mGwݻ\۹ TAOx}Mr~2yylK^,i'¹lO(έӝ"Ee`pJS ܿnQw2C:i?qg/#Nv,=R;P3^Gt6lSƇu.A/5iڜԳ >(ZJp+幨LB+kYkT4+M. XL~)5 <ߎ+ȗ~g< = FrE:Palr "/oQYeEL9t) &Ysz$LV$8do?G5Ywgftז2Ļ 4#Q+бJa%. QP>`<%?d( , ](,X\kz     x |8(89L: wG4HDITXXYd\]^bgdefl t$u4vD\`Ctexlive-bussproofssvn5408071.fc40 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.e[buildvm-ppc64le-08.iad2.fedoraproject.org;Fedora ProjectFedora ProjectLPPL-1.3cFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤eGQ3eGP4 5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb4ee8bb0da632f7d9139499b214bf7dafd733c996ee3b4c5ebe87d74d01d3fc62rootrootrootrootrootrootrootroottexlive-2023-71.fc40.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.1e@ed%yd"d?@d @c@cc^cc(Yc*b@bb@bV@b4t@b/.@a a a@Fedora 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-58Jiri Vanek - 9:2021-57Than Ngo - 9:2021-56Tom Callaway - 9:2021-55Petr Pisar - 9:2021-54Tom Callaway - 9:2021-53Tom Callaway - 9:2021-52Tom Callaway - 9:2021-51- 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_Rebuild- Rebuilt for Drop i686 JDKs- Fixed #2073753 - texlive-chemfig is missing a dependency (texlive-simplekv)- use biblatex tarballs from CTAN that have correct {DATE}/{VERSION} fields- An empty release bump- ____ __ __ __ __ ____ ( _ \( )( )( \/ )( _ \ ) _ < )(__)( ) ( )___/ (____/(______)(_/\/\_)(__)- correct bcfversion dependency- update biblatex to 3.17 (bz2048536)2023202311:svn54080-71.fc40texlive-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-852fbb72303bfb157a5339aab5a5b03e32387b0154dd9f225ccf7dc7b14bf3bf36b9dce0c730ddcaa89f7190ef1407df1756f3985ea10accbce627bfda54ff761?@(/h*T/llҙe2-5ꯇ7Gp" bsdDu:DȵBqL2.( ;>5Aг:0Ց_eC7 fCxܶumZyfRZ,+n/GFQ3UZt2:AY050Ls/v{WKEԙ&EsjYK7u@1 ȡFHxpAḀa&ܠPXLXM;~բD^dun ˦gQn߫yyJ^j]e$PWJ*ztK P  0ɘP ğK"Ѹ1Zc Ԕ-j[XYL[P*)[~8;uڢ6MֹX֭|aaFesK}5+m' p:W!BRzs}׵+µ6 m[WBlx!J<)B Wfw֛z.F-isRLKHOײT-)JUqj–*&[(b([.KR^P S[QDzN)otSŰTF@P+  i[JFr+%$@0o!OW՛B\Qu4zUeE3@ s2farnkff8W1΅\rb`8?򋔺_(~-=oviXȶ)ƛԸ=Q)(ҁ,(XɄ2`lRé^ՙtɾZhǫ{eKŴW(dMb%#Cًj{JeO_GuIqbx=>;~{q qe"ؐLIk8׹ )cvn7w=Mj՗=Ȧ͘wAdUgXW"-]]=:ޖwж`+M-ͨV˅" wr D5ͷ4Uԥ~i`Ջ X<+.qg3,v"]DAs+{ 9K<>@֚iQLsӏpu"ur(Bӷˬ,SB{Vcx&մH>jHgCc 4^CG~l ~LԦ0y,}jȶ-yqOE@E6Eɡ4`4`D@6@U84߾B(ABƃe@DHH8OÊy"WKr5g1慢&<MMmxE]8rAZ~4oɡ~%fy3)bt*0 Yh?ơa!F|4˅\ѽ6.ĵF9l0c .Xsj^} Ny3i5 c@0tDኝ I"dHK GXG)G#xor';7YJGS{0mDŽfTEP0%mZTrJ۶mBW;`ak!9_f]VOFm>D5k8pG>u#jvk^D󑖴0*e<zQkݠ(,ЀӾe)iT`[zY!s{36#.p$lDc].O d\ Hi4CUi8.5 kt( 1_?t+NlM6E8(/$Qza }R؃/\.0Ohς};lVvgĹ`ZdBs,/"R( /)SN6Hl8׆kEЩx+0@fWPU!Ƃ,M"%+#ږ[HBjම?9YF:duY=D3*)%+s1(#4 *+1Y&R8ip ǛjZyz' ;- STw{7ʹ\͐(n3{Pԋ0@= f9+2T_SX ;6o+~`QK@{ UG:aLB#g$b{̼ >hKTW՘vL6eXW62|*\6r 83YRQʫ?0@I#̜_ 1o)8iG tpG||/c@I)Wgg0פ(MدjỴ: H`39}&:-GocH&1'IcQLh Th΀oiѷ;bFdp o"ҽ*Eꤤ 7yv¡X~qN ) jIhOVa:RK77<:GtpYk ݭ"o2rҖMtBEHwѩBpT9^п,#7&$h!Ćw۰&}6>(Cx P_^'[#9!qJ*y/må`4*0N('FOPtK^}7j[wh:#5tP>:#,7HS[pc**\;;~2c{8'Gb #gr8$ G)NݯV YwTL0]9nX\5V'!`p:Z3vڐNW_qM2^ao^^²) l{ybN="]勭?&YbA[:{PGq(9J!6<eŚ yS_ĶŬ|3y鯍Lt냓In,Bots3e*Ca$h0)IuZ#'TFC iem.@2`ߓR`S㵋7X>yKѥƤݡŁ{Ida1ЦGS͕6{C lׂ{j$B`i:S %r-j/:mS 8BAMG\vd fH#;h`Us(@w]g,ue-y_Ԉ#{ xC]!W MYD;T H~4K 5R*VLpbZEn_rӿ Q}n?7( ;^p-ea2:)@?y^\ޗG AO0Ui lE=S"ЉG$ʲ\:ͦ,iP("l6L0Ҽ7zeyX ّvF"j[GF|E[߽Fc*@'wt#`_h?rEhλT'U,A N/5~ګ\?lAP C0{B5a)(K@1X?{X# ='˗Lo]3[ A'Q4)~6ۣ*]@J<n<cydq,Mz8N?1-S.aWSE83 Iu780u)(lg7JZzTx/3ڴ %C}%lCnjmxk Š.zTwe)JI`S"$ĊR39ar!OL]vz y]}-6v_ C_TUMwܵ/WPQreUpVA)m nlbZBxQ^doFT* Jo&tk`֏D S[^_`< 9?pRQZF"& T |AWt1~fFv$D|3G-< D\*+#uOͬH]i1;NY%ܩPebcDF>6 P}HZZJ% ٲO1#l D|\|9$p1"(כsGΕfp80AM;`/\U@?;;󁳄' s2\3RGj2&C92'Yz>%sB }ґ ,Ќ!f՗u(C/IJĨ Qp׵#ND۵A(3m,#]0>7ڜ햵f'"80!yL,2{Jh+8mԬ2E# tmHd|X~E9i6lFەc j҇B+|5,'Vq#{p@Q.wT )S+UV! 9FQ^ ܫ̏f=ȡt7؈}2=CŅTDYWpO'sIGtDJo#Fлx oOIx޷*5܁°꓁X6`s6xTpڰ71sZnMEGtz<"%4FhQ5%84qLt]̒(fkYDSb凱!2*oeU$ 1)d ODP0^06;GM3gmQ2ɁՕPx.MJG"o?Αf- ս@ V/?5Jx5 oFCW4r%$~goҔI͔:J'o毆3wZ4MCgt[@+{t;@v^ `qXڣd⫕*99mG4ˀD£ֽRi`?Yq/~`dցuNp;sTFۓɇLjmE-|R dS/ɳeQZhb(D+oWBƆVK0mΩ[ <2~,pnԌ0ʤFɊ m^* T(v0qs-vv>~H׬T)EǸ.V@aF@[.,i児F _CAlǡ`9g[8meWЌƹӶ:^3s:/ŭHj[n(F|cUԏo& t/w턚ԉ.~\UM!."~<U i2@ 3 Op/{s!zF9 Kp-T\ Wxl\LTvgY`*@VdDm\R H]vbBYM w.,܋!uM.Ap,N^ QwMZP[#bWyS=x\\h늻A\1"^Mk26-NK}nW:.k  ԙ G+RAu;.# H+=My# mc)[pNb Cˋa"HWgq%Zn^Y䷁hVv%Rr^/0W;.F.rGvd <0#_J. uz$C@| 3ȶ/@p**֝٫"eM&{i'pzOa1gtRT>oAZff!dJm^B1]+=ItHy;5lld[=p+0}dSU~%G*hy?C=B nl])ICv bt"TmEϻs>zh?+}^١}7g|ӝA0泣P4 DW"4{.k':;~ ̲RA=^^hGFzWCXCq8b?Hq6z1i-3>ƃ{ZˁnyJ]oDcD*iy$"McGmPj'G^c.a%(Z(urW|.#Mсg &A  6U?=ԩ3Cg΂H;ۿYItY*up*5ufNl?wy{7{Tf*𵤯{7[wQ?<˴,۶T4i|~c+ /T^u{R{l4Ug3P)pSϮ.ms]UUb#9g>SIE@ҘK~ah,Ca?3Sb-.>'Fu'J^vIs녥Ƕ^[/¯/OK-zTFj4U緩xVcSR~Ca3PX,>(ˁQ eo+Ul^%hlua VKg;XC8ף""6+=AIJ'<@>W<f< +"'XցFULa~Fi T!U΂lv:8\NcKjA8p_IEk֕d!Sj.aLDMzÅZlTXbXYi, D4K΄ 1IՕYW0O)sQJl?$tywp7J)3W3R{N 3NޯO4[tjnE3񻖣X%d&((̩̏'\רsP ͅɈF)qYh *@2 mB6XSgNеbqa9]MHO`\PJL Y sʊ"&o_?UQ7( ޜTI.9s ӣVWXHx:hD8ݱ=FfP'DJ;ݙ嫩k`[o!㢂UDޠɚ%[ h:5.Y Tc[OG[(%al$zAF],.~,G|~_{5+޳yW*+E,cJb ?P488twڦ1$}8\MŘҳQxٮhbAO)SЦc#vg~L 3Kz]P嗌F yUԺcXa2s ))K/ UF"K@ B5zv9~@$eУ8>s2fy`[ 68򴒓E/F[>h,?\ϸ SYV :c%kt.*kfNx#^rX!BNm|[c~ 2dFu]9""KkPCsKtR8$t>c6Wm+*]Z|Ym,o*dNkV]*^)ؗӰ>^:N._,}c6p.NrAwѵ0~0.hATnx6P9F'Y,Ч2^ S=+` ) !U-iUJ ~鏶@4{GZk6"?OTb@1A|"dW3HuS9URUaDrI&l$m 6`BYC~#uSW#W0Q+vަˍAIVh RlԎR劈!8o{[l X|p+T,uWiA99<үzAAƆwK8qFPYVXavQ9.npE͉T@n$ρP!ꤜ{܂sC94Ϧ0O]&t9ih-f+*14NC4j[Q\dR 1.l)脠'ְOdC+˧+/Iїp>ԃi #!t%B,=^qʋ\ʅ}|YZ>D%p3*(=ԉt94x&ZהCU^VLjX4/41~4*7ޑ",pQ"u( Z ԇqpugbzf{q)U k8r[ק,.݇Ȓju@}ȍOu`S 9Q$bp/ wlCzt@on`Md5N=2zG%IV.CPj$!v`v!ث18sڕ.>72tЃɍ$P|ƍ%BSO/`!=kBs~Y%{8CKRIpP}9~ [}DKgpQ/ZI y.,2.CV k1oZ(xhZ n3q6gFM1':w \l Œ$&)vřXj)2Z][F((T'Tow}h YF-Y%]k$h村5ˣG!+Q/xFEKUYFkqB>VMZjD2S:>J;93d@7!ߨN)kvP:<tm?!t1 x醳[XHd"3JH&٭:%>ńm$Z': ԻrMȭ8kFP;l֒иdߖ8T*&`Bݣcǣ^hL[gM?đ=KRsӫ)Dٳ$1Fi%I f#$z`5݁/)uz/;+3gw1Kf>Ǹ7]$" 'w6`,U `'ZOhIUJ#do9sBX6gpBSq $xLU9&KB%a'ү=\^FIzu1I% [R[;Hm)Rv1=C[p>CbK5_?ouhyYS>w͘OEEǣzF8LdW1DĉbzBFt.֙{^/>.ڧ?@3`qDv֬Ky5 A(@Ϗ9g;,]& % wn+l=F`su4Q?:kؼ8LfD@FԱq($kKFk?ُJ+G༵jB*Z"z1Y-68 88tH>vR[`EK`0ݙܝ7`cͯ]e\K KӮZށІ69|!vtBRXM {` :F}FPF6bn:ah)lsNw_{ Hyuсl-(\4^tUIeR oX+A0BQ9n $H$hYp0*S+!w(4`I7V'F' * ڒY2c5'LBh}3ŌGeSW946SGvV5Ҩ@N49DkP_ ,Vf_,q ڜ=hUƓf♚pAmcoFK>Mp*T6 G]JhzrA`k  +RhUO59`㺒Kb@S&VB}g01_ܝ LNjL Gtd`D*>P*FbJF@#$Xoa,VG{FE-#ӇT~!fکj;\V[O,.DfO"9&|@%'Gb.OE3š7ȷG,-;/bngv1y;n,j0,'aSTR4>VY7դm$mv+= HsNll(W e(BU- 9įEc9XZ+ch&"rP2:=|] pKn&Ɋඤ B$c^Z#ǧ3 ap@@C 2UL,+&[3~5fįxBTb4dkμ<2 CrXIH-(" 1H .ê6UK}8]*Y;%I4Hw{!܁M2LCA{9XRݒOxٜS5?sˌɑhʩqpĘ踯l5Mŝs9c[ "Է:n_H/J: ᳂FGtV^ӹ3p7mU-3qbb(t^ g=8qk)Ä)'-n LTjɮ f{a ~Ċ7᾵{p2oۢ 1׶n 'rN>VNY_9&+,ji8D0/M٢LD=N(I 7=Fv{j܍V\Wt+_"Θ@ľ{Ż\YN3 򑠌ОHm̩$X>KTQͦmIp2SM¯e/‰AD#vcF74o[YcߧO ',LM8>MXKm#g.4;3AQ,{qs@oN((Y`A.