texlive-ebproof-11:svn57544-71.fc40 >t 6 6_604 @3!]W>D] 'p~[ye 'p~[yC ׌a?P!G''gĶƂ"!ϟk24ö`S4Q*̜z^]Q f|p/}ߑ7EFf :S u DZ-cSw$حhLn(~<Oz%i4'wjk&vU\8Ydk&16 G8Q 2/Err\h`DrP^-R$lel[=.hyYDQ3'jLU\_o'YZQBF%[u:U p t -ip$OR5H4@Ty 6-,r4;38e122d1c7bf580ee3e54fb16846fe591f1848d3e25162bd0bc24666dc52c29b161e4433fcbcb6612df3625de85d091ecd029520a030204a3204a9e00473045022100bb7f1dd6e6eb3d2394b6d1f6038a84d6c6de60c1fa292ef044fdc8b71e4b407302205b6ad59db10294abf499db2e7ee1cf6039dc90be7ffe617b811b13c649b90375030204a3204a9e0046304402203dee3a6a934798b41d1fdd3b90a44ba548ac239b4805fd82d7789bffc587acba0220486ef03b4f47b65aa539dd60e4573558d642db9b0d711a9cef77b1da1804f970='3!]W>D] 'p~[ye 'p~[y":@iBȫ{R ](5mA-E;x=mTw3>d+Sb6m\oAML)&@}2 ?c5J2o ìM(6?,/ߖUn(z׷(hT-f28Ap)d|e5( Α(I~Fa#cxe$R+b=C0Qf -ˊX@™OgXßɧ7GJvai]ZưADO%TDqŕ+uJyy"s%h[섇}i3/>Ov`hu'[Tx Vmk)Qbuq eH>/ c 1$KN=ueNyM׆ji=⿧G_V!P [+,9Źn^j'!qdY'vTXMҹ0_a\&y@]_>`<?d$ ( W *4 COgmt    ( ,<Pd   (89: GGHI$X(Y4\T]d^b(defltuv GMCtexlive-ebproofsvn5754471.fc40 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.e[buildvm-ppc64le-08.iad2.fedoraproject.orgFedora ProjectFedora ProjectLPPL-1.3cFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarchJL{A큤A큤eGQ3eG`55f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb66e0c05b63f6003ad4119489a1df220ee8a9c29fcc44b9887996a855d921fc75rootrootrootrootrootrootrootroottexlive-2023-71.fc40.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.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:svn57544-71.fc40texlive-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 -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-8e132dd9ef566242292738d64ef21b1bd3de43c49b5a24b7e8049b03471c5e831d080763df32f11a700e51269f36680829bb0c3416b17e86b94e0ef3aecf2ac25?@(/hM3&1o$*7 vw5O~HW {9_9[*}d![OE2u})*4FuVޟvG޿:m_c(YǶ9 9*uEi/ńL0d5ieqQ\XTPFQ`,tq"mgIL']d:dao\Rbmם/l륶qG8=/ {6 cfmRp0BQ. Bi6,3U4N0lW%,XP҂\J>CG ϴH ã»R c%v)4j'g1`PBd`TpoVTð,@ cDDD H{@SįGg9׽b}vZȵ.>ۃ+̸Xj9'ra |gD%9}_{ȵaX Gn`-';I#8UU=ַ?f!}B_*(><>/t@:Iă"6٫uIK`$cVD|~[_9=:0>h>?<" :r!TdHAtvd3gƏv`#-* 9kuLc=Gl@$F5H %Yi8aBp! 6. OPj},Z0^,s_zHB\)idA4eG1M/EQVAgRo9K‘.j,7ǕڏB8͵b>d?9.c5VGzdGvOY>kTX,N#)j{~a30Pq"4Hf @ Ng)> # YH ` D   @p5K^ibq/D-2Ly6à7p ;_?16(z['RzpO\h:v%bṛ%B}+ %Ы13mv`j8@! biyIı 6b#\lBLBJ]%u, Asvq| "Ӷ6T ,Lq[W[݀(piѾ$ޢ \]>aZo{m6DX}y cRzV1!q̠KJbZx(r[!Nԋmnt-fh{zC]]Tn0咷+ƋP,'ƙԀy' gUI"D~rs\7 c8$rbFBj)1Q )xΤL UAw @ TơhVjP31| @N$'{%eT\2.qz^C&n!\H8n&mB=82'PAh9WkiG眒lyra8uKCI>V+x7]mE"lj`uӡ/e#X <ЄY|jۭfu Yևy :͹߄h8@:H bMiB{ee-\nF:^tle\'yju/d<zw0{Ɓ'"Unr8C8d͢qsmB'c]CÃ_< xWG㱋QhnsFR3[Ff.˨=gAHNlE^817V SUQtFb5Cv1!zlOWYZ9C6}Kח زLeS) .N dj( e>3)A~*v Ca"3 ͸ Y<| ;.P q%(e?WL'ɻ#q28ϥXUf &osS,qb[kų\FQg7'!(Q0K A_Cipi$cɊo[qٕ &JOS6ߍ"y#i~^~lBqMΆ*G=*`eڪ_ vxV4 l)`ScCu"{xt`O\pPBY71T7'Ip*^q7xѥZ"K룘fcDbv{ߦV,2q &d0ZVzؔNW֩m-8 oXc2 K>ሿµ{+JCJ!-t[tE,u& \]h"cEZt"abˠ|-PDQӦa=&m@$W%_בH2O@PC/Ŵ.Z&k79 䒽@S/+R>XZ1tΣ[ˆ}p{an>QgnC'u=pZ=E֤RᴝDh$;Hd8V:? l[h[eS¸GCgƺ嗢N@C0?ا3/r[uB VД)\M"x'ׯ=!;Jqme]!a P .)дDͳ8DxȞZoD[7W>Wm󄒒bo`i(kbUEq]sޙwAQ!.9ԜbH8f$ƛ+*Q# mi+Z;\cT'X|~b_kߟ'uiN-S\cXbNQdt}r|t\,%[?7`, 4%\kwH3*I? Iu$ 6<`QC6d;g!pdSGY. #_`F -xY<ӕeo.W(E|XMtot˾;D_PV9E=]$IjfՎiBJ[cXpa%bX?-۹:$^D[zA%bܼP΄RZDtQט0$RELHG/>KwEwѢ "&D73/hoq$#Ce/ `" n'Sd y#^KYoQN;hy Gkc u+T][_?"z]iT E_"SvXT{H@DItFq޶4r\P[r7qI1"6%6-K] T4@hY65G8 ACgpXR%iO UwIs=W k~>$?Pp>3qYw),TBQD_X8ٯ f(9;%tN/S94HEp"?Vi$@)I|rKŒhSfʼg0*2# nέ*^}x.+Fy{_R\{Pg&&w W>~U|m^W, #(Ipi~H֤g"pnͯ}A |fUH> 3y5sHHYc Uҕn؏LN;2MϞd)|lw|@Sq l.5?¨߰ 'k#٥=~^+$Ѫ\ĀX\X XL#:z"ډ)L^?@ 蔓Эږv`{ϼiE+bki+NśALZ>x*2{1LϝXBmH=EH#m%NְmsɣK4Eu,1 6h uNĐKNR~ I*ta $4 &|p҆˫QLԒXz(GKRj7% /2lZnTTT46`q=4n3@t>Abw % -yҩt(,F3nBKPݷ)<km vD9ny]h3kTQYR]\@ q [ Ϫ2ن7\7I9֚I`F1Zɭ8:雘Kgڛ7=`;oosLҝ[X8BdftYBEx4:-GH[aFHY~P;Ҥx0ߊ,bCaƀ5sdqA[@p`ѬVq6T {.tX%"N'W- pذHAl "L^e86; !(eK|@coOgmA.CڙW8^i"OdqtUzڝ+^w ~ X /܊U紡caM׼ "j]pb|.St2-)62Ue>PC;$#5l??&t&{Ė>AДp?M"bw` ASe 9{ x| V7]`)CHBYbaZê@$;nA'j1ḹM ݇xʅ̭)^4riŕZ& "EoJys;MǝTǂ]e@ֲW>گ1fs 75AF\q?hlQ+Nl|*"x[Ť>>_)RA6qF9LZ̴lq] eDLyGq2-a&B‹_A]vQd%n 䀘S|"T[;{z!\_a>h/Im{ |b -,t%s2).I8'H ͤIWwt"bz(˾}U.6_`i/}4\Mz6N^VEzĒpD,'CPP`f*|KKCQ/x_qb;gT{(ۘa{ 07vT@d2ru|FCshO=lZEf1)9-*/CX%FbrINb>|*ѷ؁piQ ɺv qRr[Θ%\S1Q|wKof+qJYruj/O ]\ ^?53E@BEdf6:YZX1O;/An99u}.O0#)$b"q~x]İA_ I@cHv]g*OSnCY3KHಉ{XfRwi;ØQY9qCd1&3eoR,j|%E+G%BjjH#%(8ŠlD |ú#=}i=S ME]0PfW\`zp|z<IcR*dXlpDv?x9{_{*t!gYs;?E02;TP̞&}dP0 F\.} v-#ޤlD !2`d!0H3h#o xwŊ K.ʁwB<:*s aj"Nn *{{gb136ji"Tn̷OTو+6MeY ,pM,3LTyt F4Ek K*VԦC,wieM>ӊ ^fa:=׀0,OG:j@]@ .wDO~ M󔖾kŚ󧄽 y J8[]|G0^A9Z93y|Ⱥ]^ j8 (~8{--j|zQVva`~bKw4.-.EUjX,[v/$mddo7@@")xFDqrvc #buh 1D~\̽8PŷM c!qGrmޡňpWk$W6(1 WH-mܺTrgmw@بn^F5a'C ȩqF") NԚ?\Ctc7:_X\'$My,a5tN= 5t4l@^)&VxOtZ3`G'ʤw~7;cTw&|j}k%(l S8T'/ :97,NHB5A( ,#Ez6UTxfvCr䂮3i ߷.OLʂ ?J[Պ-pcCl@kA`&!qkf~ttC̾_ %m_k9mrLvݘC0  /! ᑤ^{>yxَG/]= g#6F|[F"¸̓