texlive-ebproof-11:svn57544-76.fc42 >t 6 6_ x3!XPȬI^Dg ȬI^Dw+Fmu}kiQChF}ȫ{ӵ;йx-hvU+r#> &UvK8l8X|2 /B_hM讕m"Ql[ ׇ k] Q2='(87Ap6Q$!e%J^f\8 T2:kmg/,swOAx,?<=7KE!{mEd sp9ܔ[윹rovdxۿ]Tu7 YɹPGBh890p݄ 6i]KC1$-J[iܝ !x'*!_){j,,ԇt7upVѿӉ­{v"(]$ Sekд,T˸0ŰɣJ.]rt.F0WDen:u~BÐg'>/,Y26db592e80f90f3ec767f3425064e843ae3e7b42b9ca7dd09a7e71a81bc5e74c8f0dfae0a3ee1d2ba0c269af0bb1481d42e99c9003020462f02aa40046304402203e504bd06dfd1734ecbe1f84a5b5424bdc27c40c21b5c8b542cd50f4387012950220093775e930e2c31f0a5426fe0a77b69f91d3cce3ef21c61b2bee341aa3b1481e03020462f02aa40046304402202ac53950859d0e74303dbf13364f104214aa12988d8f1f203b3f6fde3f9672df02205ae35c7ab4a45afd2301b923142a8c9beb33b4213d270020e55a63ea8ec933ccO8_yuT.?hV>`<? d$ ( W *4 COgmt    ( ,<Pd   (8 9 : G <H LI \X `Y l\ ] ^ b `d e f l t u ,v < T X    Ctexlive-ebproofsvn5754476.fc42 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.gLbuildvm-ppc64le-25.iad2.fedoraproject.orgFedora ProjectFedora ProjectLPPL-1.3cFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarchJL{A큤A큤goQ3go`55f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb66e0c05b63f6003ad4119489a1df220ee8a9c29fcc44b9887996a855d921fc75rootrootrootrootrootrootrootroottexlive-2023-76.fc42.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.20.0g@g@ffe@ed%yd"d?@d @Than Ngo - 11:2023-76Fedora Release Engineering - 11:2023-75Than Ngo - 11:2023-74Fedora 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-66- Fixed rhbz#2271057 - Upgrade biblatex to 3.20- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild- fixed rhbz#2314476, missing dependencies for package texlive-europasscv - fixed rhbz#2295803, Chessboard requires skaknew for a font- 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)2023202311:svn57544-76.fc42texlive-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-8abdc765eb07f4251e91b493155548f7eb77c422ea63919e34854920d9b3634d2271978edcdbe426a849b9d42ffcdffee4509ece39d40ef153b7d8ddad6b6c31c?@(/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"¸̓