texlive-bussproofs-11:svn54080-69.fc39 >t 6 6_604 @3!92d LuZLd0} uZL3WE=ѓF]á'r*Ӕ=.i7H`-#!thOf0u 8C20SyF*F|834: ONþk #yPmxE\\1B{3߷xՙQmoɲ5|gNŃ\`xư}qnH Eh^8wL$EV?{;R辱})DukX6Bʵ,!yavd… &yAA3_DiH-NcfиFz9"`W$T,iTҠO @a\)HaTuvQLAzwBѢ:AUbo  7)C 5 h=" D[E )b'Od=ЯaZ_>:C'ѷ"|jㅱ}S0\}M(9@)Ŏ,$DQ1mq*!c BJ3:]GӢFA725fe7ccfa95eed5558041ae95240e50d464f389ce98d0a9961fb43d1c77974f1bf4a216c897e09fab93d5a4ebabb1b3bab06b05030204388b603e004730450220217766e8f5007489d961dbe24cad6ebd6b6b440cd6bde9f7e72afa87daa269f8022100894cc2912dff3e081ce53115764b27b7be92dae397d6cdda7aace68ad297e26b030204388b603e00473045022100cfd7376f87e03d75fb46495558596454f5f86707ea180e633a65dd2c14e3178102201b43ea76a952cff6d6abccc32d346028d40a7bef63b10b107a1cb5cd5cec54d3S3!92d LuZLd0} uZLb:h!*ugZcBo`VaS &3\}"ݮ3V5 ,+ =sztLg{&>)}Uт+ *U Rn}G?8 w1f|9`qO>5xDhxN=.P,žĿ9C^uy'oYag{(W=M۔ `;밁6bB=B^넕!ʞ |U,9A%ED{_YS=S,%M.1:ϡqjRe v!=ێzк$&ÁV ԇݙopjXM5;5jkdArUv35;("u#/Zd'†45#55{8Q^֢ȴete}2Yƈ  Jd)TE369~ Pp@Ew j%"+La`ix^XP>`<e?Ud( , ](,TXgv     t x4(89p: G\HlI|XY\]^bd=eBfGlJtdutvCtexlive-bussproofssvn5408069.fc39 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.d&buildvm-a64-06.iad2.fedoraproject.org;Fedora ProjectFedora ProjectLPPL-1.3cFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤d$Q3d$P4 5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb4ee8bb0da632f7d9139499b214bf7dafd733c996ee3b4c5ebe87d74d01d3fc62rootrootrootrootrootrootrootroottexlive-2023-69.fc39.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.18.1d%yd"d?@d @c@cc^cc(Yc*b@bb@bV@b4t@b/.@a a a@aaq@a@a@a9@a`@`"@`@`@`q`eJerry 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-51Fedora Release Engineering - 9:2021-50Tom Callaway - 9:2021-49Tom Callaway - 9:2021-48Tom Callaway - 9:2021-47Tom Callaway - 9:2021-46Tom Callaway - 9:2021-45Fedora Release Engineering - 9:2021-44Tom Callaway - 9:2021-43Tom Callaway - 9:2021-42Tom Callaway - 9:2021-41Tom Callaway - 9:2021-40Tom Callaway - 9:2020-39- 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)- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild- fix french language hyphenation options- add Requires: texlive-newtx to texlive-newtxsf (bz2027444)- Rename fonts/map/dvips/mpfonts/mpfonts.map to oldmap, we do not want it added by updmap-sys- add Requires: texlive-epstopdf to texlive-epstopdf-pkg (bz2002690)- add Requires: tex(ifoddpage.sty) to texlive-algorithm2e (bz1991713)- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild- Rename fonts/map/dvips/psnfss/psnfss.map to oldmap, we do not want it added by updmap-sys- fix typo in texlive-dancers Summary text- add tfm font provides to texlive-cm - add beamerthemenord component package to resolve broken deps - add latex-firstaid-dev component package to resolve broken deps - fix typo in Requires for texlive-pst-optexp - fix deps for texlive-kvmap- start the 2021 madness- update source urls to use https2023202311:svn54080-69.fc39texlive-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 -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-86eae71fb96bda5de08d51bb1ff1f437ef2880db7465c894728b8f3ceed38a663e2fa27fe736e176317f51c4a1b784298c0bd56f444c8cdefaa0286d34a770858?@(/h:x/llҙe2-5ꯇ7Gp" bsDdDu:DȵBqL2.( ;>5Aг:0Ց_eC7 fCxܶumZyfRZ,+n/G;Ԣ۔ ʂa~!^W߻^2(μ6)E査WB\ E丰@H@62& Eƒ ̠ 0bBoS\. "sI|L]6?ڜt^MͳSBu(MV}SFW(=VJĦᰲrQKJ("j巴(59 7Omb31Ë=foB\rSQ`%?άlRKpRkyիKM9mbIQʜW-U/71ܫkfPZX{jWڥji'Nt Al=Z]Q y޻>e$PWJ*ztK P  0ɘP ğK"Ѹ1Zc Ԕ-j[XYL[P*)[~Δ2NCN]ru|񀵶px7vpu'u+fl-+|{R_gJ Gd9*NqD~bHРT^\gu--Ep-M#F𕽶^m6hʤP>5>;oUd}]-yl`F"tK-isRLKHOײT-)JUqj–*&[(b([.KR^P S[QDzN)otSŰTF@P+  iwQV-S%^DMq 淐'+͌L!{a*t2GCRƹo f0953lk{Cey+sBJw.?1^R~VwzEJ/aRi4{ l jl[Z0bLS"ςH11L(( FKL-,&y%u|8ի:.wS xs[>l eݶiRLdd({QP7%TV(Cp|:Oesvߋt}P N=/(ƆdfLZŹΥT:S܍ç86o{ޫ/g[{M"wAdU"-]]=:ޖwж`+M-ͨV˅" wr D5ͷ4Uԥ~i`Ջ X<+.qg3,v"]DAs+{ 9Kfoڱ|Tac+$\H 2˔<<^r5m+OġRِ#4 8@ej;2D~mQ'۴ƒӆz<>iLn-Km˪z^m{l(,Pp{6}Qr3 <0 0 .P4ͷ jPPkGjӰ"1D՟0-\ͬlLmy #k4tSSgx^tiF κ\PM[r@u Ygeތ8) BbEF`r)\.sDڸl@5J`Aw>ϩy)J_SޫSi1*33c@0D "dH F@ 4g-ҴcI*6n^"iQ:!tWw9="}u B՘SvD()*El[@B`&IWZED[d3 @~! #0Fӫ!٥+fV &FsMy$H\*aDYXP(ONWaؘu>#:ܪV@.֡K%0B0SEb$1tOX?I(g? KJFy¢84 )>уFv|Uoʭz$N Wo]&IНnYA+ZGL$[K\E\A@,OAJic3!&2,F. p@_ˬB9,X\8 |(A;>%B,A:dQJ5{pC_:22hX?da32D^J]9xK<ќ-pGRpA.{?M𥞔O:!`i$aiza3 ʝy;U}#i @0كjδ=~:dtꅖ=yY؇=毤"&\P5=%ވVh~#u pc$$\!im B ,$k~LK +UexJ2?T~E,9^FLIzO x4=3 ~FY:1cUXAԕf?؏xA4SJ^A)cxFl"$X/Oe#`bI2_Hy7r$NvT)t@lɷ;"#gx@>e"RZvw\,a!,UywIhZ&jb*QHM9dGBt<&/$ P4qYiMA ES,n̓R 3^/~B.M@9!JƆᷘ3V1ț&{(qq1lbG^BGPR玴S!._cP̿16L q^Ȇ4txCAaTYM ȽNC)@,±(j,r?'fJiveJ$ͦl֥2g~ҁEqƑ߯$\)#91aL.)"l  !6c\g\h#Gd^;|%D=sxAʸ{)>-BQKȦyʶdX#o,@.7\nಳ F 7.rBT~0lz))Eˊi2[m ⥬5/^OR@!/^p` g%5aH~y4& "B9 Cm[ ՞|:^ ,} kr(i> +51[.WH~xe V߳+}OSܜf&Vcˆfkkly'{&;Zuv%ܟh-qSn¨^'#:̝P&Y⯌.]:8OL,r/byHogbršx>]s7݇nʚٕ֜))@SձBMV6ub-4XnRԽ!{z:JMk~2\e򚢂c۪9nmO )AC('QjaWw@9IB/L2Zt bWzx ; 5L]d}ǥC_.CEiKqJ&P Tz̤1o:ټgGUjJ*秎N2= nX4l/nt@>ԅGQY9ń4ȃpE}~]}՜&򘄍IIv 43DmxW2=t2v˃,ڳxL^;g--I,|hTmO'Y3͂4yYIg&%VNkWmVdPW˸J'u ҴM ~N[rqex0^{0WfXwmMHb-oz{wv̡ ]HH{îQz_\hkQjM!cT0Š*6ROP\20٪-ggɷ.C}-P-#:j@fR<$?[(irDS.F :}9ʤ{L̖a7f/ Y1&qyiz`bF:Q:f1ߞcO)8Yît8Zzې /~Vb )*9Q8܏K7Cc8nƷJ0s t"U1J 6|.\QF*h0Y'uqpD0xJhA+WApQT!.dcX苢6|sRA*eY M-E4Fb+BAE$e}ncaյu8Wa#nR!C[ 5g+- itj5x(戹AR5(`Tni<P4# ^m uv*XGJ|ݸ ^(k$8X5* 4Smcmj5uCvV@_ºZ 2`K6i~ b_@IxCl*Lpnx+#WIS)#䙰_sŲ[2qhpA\-E#]­ xi3m Sp?PUNqە2Eس̏IE>@U{-uh&P_-5Dr:Ç m+u .ؔ/QLgG¥[dkᣭ,.esu!U&c45vA|fXpKzhj-]:;o #GC>#3¤w D V*O*_`X] E#t h.΢!E]˕53֌<@z+UD٢/CI (c&r#f!P|v҃2 R(ZLNI.l)>Ǯ.Ns5"fwJH(w_35 )>aiN„TB)Qv$QfcZ+L^xŪhM&? }P__ gh@-b0EJ!kany@BbV&gUZ:hT2%V/:RJBo;lb?D9RKVO :a~0q%K}ݲfT0'ҝA櫣_P4 Sm>4r-+':rR/-^"^jP CNCX!揸W q_sa \|QA=bRorβiC4}vC胵69,ѼKvaZ[,o bеkUڸmga4њX6''z#ԨZ%w'*yo<9.q^1EQTzWh:rr`dUn<\0hU*IV\li1<}JtMTMɾ 7,ð{e\ΕXEx4#X}w?~U'TBSyQd`[N+N9<^:9k~0R[82gN=FEPBxrh{З곊P%JTlGv84rԏ !xGE4t& GFTڿ=W݈`[)A^>\6SRD{⇾hA6O65<GZ]c\U0(+rDTXFa岼NEj;B`z1m' {9(ߪOCEJQ& G{~̌:j@P`_)y-_6U-зѫN0䧣W#}dDa~;?&ի8rB5w4pk]S b{&HyRڞSNC?y J{9 *vq!24 9UVm04M TYgӄ$ pC%pXLsJ{HiCҪu$>3 ܶwƤ# ϶KĠFV(1 s=]o[/?^SFƤ" QGAI>2UYe3,sJ,ܜ!gc ڋ8s9X̖"-ooKe@iWң'm nY̱Br٪9vQO.4&0:dIM>0 Kj]PdꇎR6'Vd1͇C9ӊt ӷxS=*/HX- VH1>#g'1\>C ;當PcʆwgnT$eWN j%aYd0_K­`|kJ4T+" Ѥeӯ[ w |Zku2a|k}K_u,^Vwp[7 ]~4Ҷ:<ˡ)nxF|ne%2(De0$6eMIfŵp>X7ڞ%aAPNhA_cMB(]}6VGe^6ȼDPkSNyʱ ˪1KAJZ o)Y0:Z9+E)Nmf-P$:#3{m%R,_s#qۇm8 Rߗ GI٭PԨG E,􊋮h+ؿnNzS g^X׼^:GfmT_PF Т'qzyvmaE&m:"7j5}B Np!$(j+3U8yu jh96}2,{D6`a%B MXgߒyg4BW tڙrЮ"P>T/<9Zy{kCNy+1Ҫ}d-sYU۲R:SmeX%ʨW+so1+/U %*:EaY O j, e$ v'xlzAj֏{ Hfl(5HÊBSz~ef-_ž*o OG0|"YVb*]F_zٔ2_dp5 nLٰ%6ՠ{[vҎ 7K4Q}=60zDCmVw7!@͕R[WU7ݐolJ|yaA['nhiWe4*J6;z<"c%%$+p#.Y(^6"Jp;>sLE{֜AU%Og@6MiX|0"ӄ!ʪg=AϒcPtaQ:1"ʎ i %pwxyzK]3Eay^=2T5Њ .Nov8Er}D1,5=#\$W7"YC_i\!8YZLNUѱ;F Gd/Klu|A:!hH͉1џXF\Rc+qȨ׸l.;_|7nȱn$J#,NSQ?=h)mޚk:wvR=et|r0*c'Q N 8h\5Ǩg8R{]!X=M,;$>ev "8 ۝BQS+X 0N2m3KP⢻fNDs'sL!a m"fwNcE[#Ffz' B*=rè/  Ycۊ EzƔC _ 7Wj@ոtYU -Wr(]=ęTfl"P>Nbe8Iġ)Y.>rޟV"eAЖ89`\cZɚ]]6[(rOC%tL;+3TO ˮk> F/e,aXMCLV>ki~w :6,WPi@I*i~ZC7duIr"0`\Lq DLl'!%geFD^e V7o?JsA*6p@t=X A] |f@q|&r$2l sWYRJ)nE.) d\(r_'X+4V5[r[1M`:U_\כe그IihIMKl6 lIEONԛY(.TE,ldd9,% V¸ *2p@y7(ӧ>6cysGnVo@h)}XW?RôP 1QĘP4:}~y* i".S^ dypї[8 1 !F '"g G:\x Jńk+W{t,Ff1%hDzRMs(pGQ"GEǽJV@'5D@h쪍NV+ ){Y.D'EM"zYR(uhES%B-G;ꕙZɞܲv.)’nk2&o#'KjL>,Gvt5Ql0Ws Wv'al5Ayg4X6ɯyFh[n.8NQ\6 ` .I(X)e *(`a_ϙa2ǫ#ʑFvDNLol#]1wt"yBdc*"k?F=bV1sfԋgz$ e