texlive-ebproof-11:svn57544-73.fc41 >t 6 6_ t3!Flض zE>b$bjfa b$bj R5OllautA?w"2Fزg_nWC"'B"m!Q;љhVkW|ٍ1ӂ 7A^bol 7,;ub4^o@d8l%$k'4,"Ϩ1D<"j9"9{ 7"޲x>v; Qu  FRf2VPdǔJe52VV{Kv!YMF`@b *e[ɶtڶ^b.aF !汮\Gjm@LRFmč4bo7z616nAOEmlLs^%dOr:J*e&d:ߏW_e%6ZȞee-`}._d->O b~n8[Sך?`@r3DZo02ޫ! 83e42a1043f12c73046d9d08083fee5762c265f661a864fd907eaceb77363b7ba90a188e5de93a989cb6b98d45143a15f32f9124030204876d743500473045022100e3c91c16d28286ad1a036ba0ec553c06736af65dce7e1119449deef9f8b7405202200d45f9969faadd8ded92209f949ff583d221ef04b48b48ebdc30ece57888b3a2030204876d74350046304402203d845b59c7252bf2eac77af375481340330c892ad4ebe3a0376a33a9b4302922022031c34a4b8e68a193c5d3c75cdc2556f5bd137f40fabfc8015db949c45aa3999eP:8{3togSw*'>`<?d$ ( W&0 ?Kcip    $ (8L`   (89:)G H I X Y \ ] ^ 0b defltuv\`Ctexlive-ebproofsvn5754473.fc41 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.f?buildhw-a64-06.iad2.fedoraproject.orgFedora ProjectFedora ProjectLPPL-1.3cFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarchJL{A큤A큤fQ3f`55f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb66e0c05b63f6003ad4119489a1df220ee8a9c29fcc44b9887996a855d921fc75rootrootrootrootrootrootrootroottexlive-2023-73.fc41.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.92fe@ed%yd"d?@d @c@cc^cc(Yc*b@bFedora 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-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-58- 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)- 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_Rebuild2023202311:svn57544-73.fc41texlive-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 -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-8260250e84c22e299ac81df9244c09da4e474a6d0e9227c4c736f860f4e7cc1a68bf83d0fcc3097d0a49d2236791439788c97798d6adbbf9fad4eeb482f697aba?@(/hM3z&1lSoo%r D+l/#pMhי+ 8L];Z =쾌}o?8=gvr]C6ʱLy]pVxFJEuƏ㋼=sWJ}xXFHe/dL/BRAq+(݇!sIX ¢7(o̾(XGlu"i L]<;~Ա^4uZBO[b{**izm7Bk/n.VM[Gq{?<>)mI1S9}/eS=j,6(0(ƄJ`@#BZTPCQ1!+(a1b1B[w7z/^3Ze6g?j9hRސm_Ƈq{qQܧHbI̴f|:zlԃ)t}ZkcZq[SG VeAA Zο~ǯ!nolwk,}B/}>>q/O=߹l[=4se^,23ă|)☁OZ"$,u )X@aB2ve!/ZrʂyG‰8DDB*!!Y!`B#H,ދهCz/cQ%NA8$ )"m#" שSoNW|#g<Ņj;igSIZ#'"+nJK) cn\0R0ݷ;_l +2Ef[cԪABAq!3(-k:,IuEHs"wy?gYlbƨ׺a9m|iOzy燥6 jqe`2t"kEX0.0*2*P2!a1BQ2}یs@qې[{:mi}̶^4F/FCބg̾o)n)ߧzMӶe:T)u6rX!7.~) MmLiY`rI‚G  d%v)wa^iHavS8bRɠdBQȰPÁ#'ސ[H=_S V,XО@B"`B4IF}t^:/Rj.4C[kaxϸf: 6,ߋ[2N7kFJr}޻Z[TnvZ 0t#^`-'N$B(>>` &_|_9;)%ҩ0ߜav}\][k&{ w=|E=yZ8l5hgT =<$P_V:]օx4R^bV ZMk_Wjn`E=IC5q^ϝfz upx$F֯)v\FoζQK!0_lO+&hȵ0מ!^w[: H,o:[k\+8Θ^MimZ4Fm]1qhMl֬N&v.6=tS*y( ?Ҵ6> .ߍ6n ,XhXPШ<ˁ^x J{OqS!:'cB6n!;S|U-Bߩ_K[0&XTSqQ$HtHE6yF F:bJ{gNą#, q0`D+KACn(bv{hi{Q)@PM,4<E8i@Ũ'&h ѐw6_Qb<%`4`Ã˺$(LNނy65*^)+&ϱ $% 2NNFdNS~T$TT u yhj[;Eɵo{0Q)dWc9Q:)d鉓ޢVJ,'1'eCVם^>$?{X^bqIT3Aq @458˜d @ Ng97(@b ihP p5p׼ttl_v3FHbAlfo+roy\g=ոSܝ7;o}iI񡆩M0F:۸ajh7h,5k\fsҬ3%S*fggŪA-|٥"91҇'Xљ+Љk! mx 6GmG#wu=b>Xk 'R!6~.tMϸį+aK" V)ZXY5f*ojotS|ܖOBAA#["!i~tK~Mxn$1[1=4 8ɝ%5XFmt g :2]-9oJAOjĔR)ѐadUE]G1q-߈Nbs}ĸC}Txq*ըa΄A:Qпwtgny]i rkV֚N 0WɅТ]F-i'46\ #FNSw|KгWBH/;k_/Y;0BM9gJ3qk}vxߩknU1xz`v'bvrTV+83jUeD8<1%k~wp~X9%y}mv>KkRk.ZT 4Y1`>̽Sd_F +fjuYQy ӹ政 W@@i ΋rLه ZRfVnKz șdqxTZybV^XKpTX[~H#d?X\wO,ZK[쐂G2@[/w̮=!̄l:Ye;R3>ZVXU+[rW&/MDrn'YD҆'G@V`ڬ]DBcN8hIJ]q>TdJzp@;܈F_qOH/)m5{Hn;B0-/>ǻq|&Q((! ŧb6ctH)q$C`xMtћ B>5[> 4FBF^jw[UnSpҟraXaIJ\0li<<~rλ ;©9X)dMsH 6!~V~!fR(3߹ J9YcnR8N\$ɂca9'Lp7aԏ@W4d Y e~&-_)ȕE$z+V#XE3$Pp;<2TBsy@ @xQan`uw) ,41K 93'gXd^{MI] 30q {s>6g'!uQӢ 2q! dJ~t~TnF0@wR9_/ n (5|^'gŶ% qxl&&0^Y1Lc* ;*d|_.!D]"qSs]~yl463h g{s-DklpM 6VgwZEv2Z 8U*-؝x%QR,=:n.+r"E]B\^x$׺( MNr"#-=cI @{7Cݴ8*`3 1H%aDv$1%ZLjkyVv"[]dKY=sF!d4>*9!8kL(3޹x/Sj媯{Ġ"]=Hhڜh  Ug܊A!Oy{M x= G-⍼!p Ρ{S`J,j)?mjo(X-X\PlM׏%Wq&dD6H-E3P­!] ppgpR.#{l D4][ol=jt?AUUB*d;[LMG!.z9)=Vt Zwf+s#Y/+~8wTR|x\V#~=2j|׎m}7H0j&(?I/B>uOI(SlvCu("tʾ6?oIJ\Et5~ [zDд$kAg&KxsBeR}S=LY!BJj8x2P%mHF r0meÂCjoh3oOE%~8B2FØ'(DB*sHOL|ZwTsRbKj{C.+}ihM$I|^drec ߏ~\D_>vyō5?H,v5=.䛙ֳ'WE#_yK=a9[.+|h|Ҁ 'c~kҾ2bE4qC9hrܙ[<,ϰS/2o9 n^M(QBtKVd"~/vTc'fLT|!ptg&C@n8Z۝'osOu?y] `xOs(s$zԮF_4/0.M_ےQRPhIwsdfxE2(QcEP>e*zf7&7_΃Q !,G(4%~[u$)!Fųl7-CpB~;$_i&kބ`8Fύ󥤤:or|0;K:6"w«Z͈r0Dg76&>5c <`(@p(,Hxc188))f3Fp(2}jA9:#"^*xRHd VΛAEYy_ i8ݮi3 iHǕWBOl=;ыt!J><*YF;ݛ9CH'HZf oeۨS4޺?֟[Xif#%&eHw 'k{-yvUxLPd o=hL4(śwS!}AouJMH`(! sk[/l+J:;yZn&vhQOP Bq jF; &GU6 mv͈*. g&; Jze|xLBQXV* &Z'φ3k?Ϡ=uţ;+}Q%Y>{B*I; [y5@\rn,vNp[ fGbc4OnBwm_48F1z .'pOdv۸<|8kgRk>P~ 1228yV)A1zAnן\Ec.X JRos2SgPH k|^5e輘≴;y,oH;ShO=/}J֖sjݥeҜ%Ι]pLO 1zP7j剝#s] arђLo$r`邮>o|(LDK515uj)B WY=g{WʜAE*10a`eT^Qi|(Pg9Ѯ/L~xp(ֿ( U:1`Dh+HEPuX@9"8Vg¢Ҕ,R-+uQ  +e *o~.D9E„8)4&<%LnЫwĜyV}'`r\:\}w\`F;JW^צ;UmES8@4'_&:T B p^6˜(Yd~ 5_52wsY؞jugh-_UXbBTNņRdT ^Ӊ&۴%jU[k֔MzQJЅ)f3Ek'P?ZhnnD*ԯ,1k^t/HLɮ51'$W9 bX,{Z#9%T`DxS u}9 WqXH$M"{fkQz'{@QD (J3_Z]{I \Gps`GiT~RDY,`7-M,rp`d>k6:&(fUOj72v*0ft(22Kzm҆},Kj`7^sLpjW3n(`g^.{n\mGf qi`(.g`s)ıM\pbQjnQ TDIZr=OxEy"P z?LGal}Szt9qB-e#gʤ%${L˖p(`ƅT årvW؆y"*+ .ʴ]ȪJɄReӗI J0pV3k^Wkz#c=7}'u7 2ѷqJW$U}WU DLj@".CHY%"Q/xVI(i;l^T1|lxafgΨ_2uƘu=#l2 myd"FFsw, yLO揆JԹqT~]U_ƀϓ.T#/:;OΘ3'xtw#se8͆RdDSbn2ù_%),CbT/zw$a^.3 Yt/S:9.׆BYncØEz$JmLoYٲ,̒;LΨHPjz(>UT#3Yy=b}y.9cPiҢ!/RQ$Lxs9lPRP"(B#Ba YtLҬv1Xr1vHg ˩el٦7+7el;ω483=DL `"u=h>ꅀt?|G}TZYAM gCOn+C'GDf&R@H;v17R+,FJHɂٽ*& 8GV2{ bi|oAMM^?;aDFIM 4E"q!&3qEt=30(X#DSChv->(Z ѥ; SHL-S@"PxIR)Vpbb]ξO~P?A9ݬF>COuK$U}cȊ&JCӤBJ}-O;l߼Ո=DLH'#=J 0BP e3eIFšΜĉ9cYz@&k H