texlive-ebproof-11:svn57544-69.fc39 >t 6 6_604 @3!92d LuZLd0| uZLcCAb>x++\˴I /o'Šr5$8L D.=|h>'Isk$S`L)Jy?">tѕdi+;aQ v?.䉻J*xœ|눳pxɆl4P:ªWQkUCKO652QePhTzWLO<fU-6FXÖs}p&#ԋl'Ɣ`tŬ0vlF'|2ỤwCRjS-]qtv ִ70d?{$ћid,Ik: U hq#ݝ^ RD2zxΎ (׷تA}U7&j5| } &sȮ&A xcO'-h@#pףdvEv)LQ゙@Qh&6l_AP@ZF vcb650cc64390128c672713bce80791678b67fe85eecd3ca97f590a770128b56f1af18855c2a2e9149d4ace41700de93a3105ecd5030204388b603e00473045022075bf3cdf269f1b7ab1dae747c3152a3720ddabe590b512dcb5e5e39c3f41b700022100fb509b85025a013c6f9cc8acb820bbe2c696b2761a48591d8d73f2c410d6bedd030204388b603e0046304402205f4b43aaa7574ab934809746f15a61b018ba5b0b48c2a9be5519e24d92fb092e02203536ba34142e81893ab9f99833d3eedc381cfc4cf33b3b85e0fb9b31f33c1003Bd3!92d LuZLd0| uZL}T'/@?Ff0 n#܇ISį1n{+qK2Q0y|wЕlw=gh!ۚdFm>͏YM%ڍ%񸔭fuY\}/= WO6NCC{G0e-Ɇ"˨,l9|=ҤD)ɰV][n= e9?{w=N*q?NtM $"8\g/ `3̅HASethL{:$g>2kFGĒ'}T:P `<%?d$ ( W&0 ?Kcip    $ (8L`   (89@: lG,H<ILXPY\\|]^bPdefl t$u4vD\`Ctexlive-ebproofsvn5754469.fc39 Formal proofs in the style of sequent calculusThis package provides commands to typeset proof trees in the style of sequent calculus and related systems. The commands allow for writing inferences with any number of premises and alignment of successive formulas on an arbitrary point. Various options allow complete control over spacing, styles of inference rules, placement of labels, etc. The package requires expl3 and xparse.d&buildvm-a64-06.iad2.fedoraproject.orgFedora ProjectFedora ProjectLPPL-1.3cFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarchJL{A큤A큤d$Q3d$`55f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb66e0c05b63f6003ad4119489a1df220ee8a9c29fcc44b9887996a855d921fc75rootrootrootrootrootrootrootroottexlive-2023-69.fc39.src.rpmtex(ebproof.sty)tex-ebprooftexlive-ebproof    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)tex(expl3.sty)tex(xparse.sty)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:svn57544-69.fc39texlive-ebprooflppl1.3.txtebproofebproof.sty/usr/share/licenses//usr/share/licenses/texlive-ebproof//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/ebproof/-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-8d27178a3fa0eb6288bea07e6b9035c9faf24b953965c8da9939baa449d71caa4c0928185ae43a4fe9f15592b8801f131b2c8aeebf5016416f6aea22d95430009?@(/h53&0NS',)mƒJHCA R L"V]&ˡ|\:]سǐ-~N9kClx!?oqdW(:g׫&|fhqsOt`B@(ZSM *4UغiJlz Mաh@\kҤ%Ap y=ih[ .^ڃجkH!_NK"o>oJK%[^BI9R^SgE)D1 &:in!ֶΏ==UӆIJ"ĩ~EBSgA,.P,$`P *Т QA B*0l0=S3"/oW!ѓrl!YT/+:;'TDbE~f8ߣNa&%ډPr<ƉN1bU1锶p", Tаj/dl{"Y%uPO c9/z@D\@ AۙIXkD[!@ ,PX "¢lCYgZk VjTa1H47M.""!ɔ(C `"#H0xQG:+[GSIL@4L8 rxϫN=ۉ.]\ _udVS)!tn 5ݏҝKmхojjBw[uhE ߮|a,3ٝUE BCfPSƹ{r78炴!(k"w E^_׏_Ob LY(Ƥטad&v:9A:BeP.I9u; nuT鹔&2i5uk Gz)Sk qFLd|% l#%gCXfI8@l~ʖw~;+փ6QR攖BwRS]O=Hfbe6G-zi9$(ag++$ASrυʘB:F2QR/ez6:=$aQHȨ@ Jհ@. 6M3M)?NgmF,Kn}6I2ժ粡ׯ=>c0ܛ+V\>A M^tYsIaJO{Κ[ .(x╂I3 +,T.IDD@aa;'D C%T)CwY^qa2S4bRɠ`BQȰPa'mXSWN _0`@B"DGpm=ķ_t0թf0>Zka868JQg?ũKwk6E[_k˝BE \  6Vyw& BX_3A`""&ͧ{l$>|kP;tM=3ߪ{\M8r:zq*قC\B<^vW4e B뢼€P6+Ey)iʪ>@i U x#u.k9] Yo@@?EQy/аpIa=s|=Kb}xp$6>T\)đj8ڰM8ܦ({N%p߄bgL=ff8O~|{_ k$l{˔WKbjMTPSW=x lZۺ`:fT$ tjB/2BbQ`PTX75l_:=p.WmH~ 0`hXPШ8y6xj"Yc =7N}㏧NǴ}hk* M~U->W_-/ T; £"iە_yh?&קuN' sXZ^xS&zu4`~gxa%Ҁ'=is2aTk[^M X& i cOԓUИ+iO[_(ݴuLo<5ENM ,ߝ^5&A`霟$﹨P&zP,zy<8L.S&D6I."ڃMH|.0& 3VYchCGG X h)a,ljc2dNvv`/* 4ㅜS,,򅴡8. |f@B"i4>h"~>ѷ.6w:r/Xoi2-;kT<+&A=J`|4@$쨔3HғPQybҩu Q[<2- uJ^ԩ~u' z& #pl_TyXްՁ؁m(Ge굉X,.R&Žj?70`i458˜d @ Ng17(@b ihP p5p׼ttl_v3ZAdc0ƙsl]o(+ __]6&‡q=ոSܝ;o}iI񡶩M0ntjh}oy5 T̈fsҬ3%S*ggŪA-|٥"Ay0Y 8C%Љk! mxGw#-?b^Xk 8']A6~./g0 Y# og\f[i8-AMGE̽Sd_F +fj˨u YPq kxτVx zΆEO;&+e-(Vn#q_6tJ*4aWT{;QxYPmb /5y pfi[Pd?x˷O,ZKX촂g2 @X/e?gܝꤴĖ |~;T,+VZeSjXNFktcWdn(㓣L JE0m."!ܱt'p$ܸ*c2=8 nD# cQnI-<@]F!xˠsZ`>E9 W܄ZQU9t:Gb(vm@ [PWF @{MaeIf |&e?#7e͠z})8Lu &{~Ҁf>FGk ^g*dui_lK 2YWSϊ"n(z &֣h D;~>j+M^O:6< 0EQ]`QVyQ%3,f^ݤ ӿgWo҅˦Ơ8/5JY>hltI,DHeQZny1p4%P??~GpQ8_aQGj$bzn w5\^2g?Yȼv6pG^ܬFX18Æ6p[s|}".gf O9 I ^[ 2e+02s2;eqnjka~H]aC R p pdpIE \h"[l^[>M+v+<%J챿q:4tmXlw H⒖I(SxfP>$E51gJ1=*[:w C;P:(\ /f᳖1ڏ`;W$l[xp4ʏym٧<뫙 fqe`G]* /e@26~gp "_* 4- $ЙޜMz3FPYzTujgѣu_ǁ0QV"ŠG,S^|x q3O9̈@D[Yi<A-Y1[I|۾BZZLRDiMF']I[h`DDC 'x(q'֚cp'({t9eYzo/v80^vWĂbL+Ww3,)d  )?Q- KA׮dZ3T/Y5Mˠ#1#tԣ]")q2H[{lI@ Ywa5lt߶*!rF.#{2qRαyMw{4&vE<8( K!V<{#7!'pe)P4妜) ۃf~! A1|`Ox]V3 㼂@3KMj sO3b487E*7e JuXD4Ce G&Y ZAQ}PqN2H gޯ]+s#a[v@g4N &D]NkB5$!_ZϙEii%uO'kf e^$Ә$y-SE?6≉aqs^BOXIbsI2T;YO+5ٖ2`eF&? '!G"{v$4C &4[0)`I|Vq֥.N^PRkp7B %Za "5),*Z)hIw xݷ{3"w(BG|$#+Pգ r  ~s<}.3E]9J|QϞP/R^-(GM cV7׭?&ϓ`p-͎Cs6!sN,+d6:"7Q||"F\,baŚưPgHL[.Wq>DJp|GsWr+E>N=]YJmt :cOS37ԧ SHԻ' (ugA䫃tkNR0 _^LS}I9 'TiBa=7#J&UgGw`N2B$BĞ":bx_3>ؠ]5Ut5RP@@qt ~ӄFFJԫx~6]{5 Mg5p9Ȃ~] |50NyN n:bͺP[5G[/R_S.aQGW^:Ck 9ukj!Y˖Zri!B O\bqaWvX򻏔$)LLkR̓_V&a =pMٙmbG {>mrw`2OI*QdoGSX#|?$B gk4Vd'L0Ԝ]2P8E3+ҟw :R_;$7*}9*?=jw+ w9IS0`s`[OyD >+N(tUGl_Jy#B)!#Zu=1?Iv01@Q38k"M7x/V7FBUu&PfEq@}%[l:@ČnI\M['FUcE %g(WRSttA5 Mrd"vB:s_C4$Y_a BJF+=|"&CPOw[Z ][jy*<0!?@Fe-Wj栱XՑf!&h>0g_<]/Y։ .#?J0@Qܜib~*"M˜ j: Su=Jۤ" Mb,|@(OB@v@(I#C\f08'(pTb]C׽&=r"G;owT<5ywĜ%S^aE"nj(ZQROLW)bcn1^2Z?#ffGFUL[o({{oq|y\/S@7 va&xB~s8ƞyfLؠ*v f^NfeNwm/k o^6chDD@v1@}rGث 4 ηۍ眖bWa1Dc*G򍷮 b0Q 褊p6Y ySƶJ5MYDy'2;6Nb MS,&x/r_ D-1e1+Ai8M$&B3mA$OJ$6 ߈.Y}MC"l?%`K5l;nCA}}63;m"0=>GHG4* 2̝Rzkyjm_kv<b@>V!Z\QNO6fDf5Ͱ#L|݉g[TZ>照("P|i ۋ>lQ-ui`@Gԓsu\)w:X$3Rjs0U5(\tx 'L׽v21:^Q}|X/eW~{VBjQhYZJ@o3 ɦs-t<'AP7aHv$ಭ:MVMNT(Y UL#,U Swl5r_ \CE%G􀻿r D>*aL*Z<|k^@g0kF: э pyo.j`V74~J;Z5$@ R+:R-=J<$aBƃnP@Gy mSQ[B A+x+7hn-TXã9cר~XV5נ-\dpZ,;1W9E.ҡ͵22ObD|}#VpL4)wlDXQWE HڣA"F@w-"#x,#%0ty(/άkv;PzퟱQ/:_)0A*VZ:5F)ZB^T4B$\S/Lq|{"'fJx1Gz1lGu$Lyv@*$^G`zՈ|/rR^i- B< gQ71?Fޑ/b$eo P |6~7, `kT֐}E|A꺑o2~1z