texlive-ebproof-8:svn44392-24.oe2203sp3>  <@PT@7!.ܶujG7oe~topeneuler@compass-ci.com G7o/- FTE{VE&9 Փ{ϐΛ!9~ ɻn}|orG^@C^Jbdqv8/y> z *k7m rCPjhG5-I'͍QEfJc1m5"S_V0wa%7y1)GVD結@R%# $!=WXܦ:fZ:?85?| 7ou ʔdXѷW6 r |zz0b.UZb$*-0iNJfC~' Hҡڞ{H)Bџ +&!#>ULtpis4PI~gnn-vd٭ʡ5BG?a8749b7e50e088e522fee578f61c6e4a7436d7585562b79195b8cda85e8dd07c5973d4718c72d407c719fe2f61ecf851f409f32c=֥8ސAT>; m? ]d( , [ ) >Jbhp    $ (8L`(89:FG4HDITXXYd\]^b\d\eafdlftuvz  Ctexlive-ebproofsvn4439224.oe2203sp3Formal 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 pgfkeys (from the PGF/TikZ bundle) for the option system.e~sIdc-64g.compass-ciULPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ\A큤A큤e~spQ3e~sMY5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb39675263e81a1a21f3bf25d92da2b48148b13ae7b9be30e2df474bfcf601c882rootrootrootrootrootrootrootroottexlive-split-h-2018-24.oe2203sp3.src.rpmtex(ebproof.sty)tex-ebprooftexlive-ebproof    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)tex(pgfkeys.sty)tex-kpathseatexlive-basetexlive-kpathsea-bin3.0.4-14.6.0-14.0-15.2-14.17.0`_[f^$D]maminjie - 8:2018-24Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- split texlive- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initdc-64g.compass-ci 1702785865201820188:svn44392-24.oe2203sp3texlive-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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/generic-hardened-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection cpioxz2noarch-openEuler-linux-gnudirectoryASCII textOn3ifYOutf-86a4c952629baaf44faed4341db52ddc20fdd1c7d8d827458151f99eeaefaa4c7bea4f19d66f211eba500bd8c1eef531cbf57f5684ef16cb4f8406c5cc7113368?P7zXZ !#,S/] b2u jӫ`(y/vbK&)+/s'B S͋{'A/,$.QF30R17 n=O/^a[gҔ ݤ­cU@Y}E$vć& —GG=}F.o$Ϻd:If& Y$_i7)KP)Co,@_u4i?X4zKYg׎HN(0Rܽi#gr"ym -f;PXj^tX?WaHb`M.'BeΛ~Wۊp!2F!eIDB =j+ ҝ:sҮ'W8vdoLHn]pxXtVrڦ mTzj m5fϡ-1z?逧SeJœBMX8#$izkw>~/ N6X;]>\Ǹe;q ZNAF.i/G}zwvm~A*e]˙}-Q"WJ!q8n=8HPXςp.hӹ=ZK L>5; Xk3{Ko?BCmt?i$tQͯ3~c#^/xq3xٽie<:W-ĐمVTþ~ /֮lZN6p 9QwGTue٭8sՑ_]d.jUpm͋6;t,u]FG|aU()f> Wߧ ,o qf.v_:ˤ/)o4cа h\nrrWuYb|]5Oq#z{-d`oWZm#yǵg>_ o] ?g\g3bUh~ #[}Jt-*J)FXY$I߈68*s=>[xxZa~ab3|yzs/sۯ4BJ|]yVV?-lryPIr{_p$gڛ4um|{<_X|l>2EtNa?(R3?ܦC ܁] lsQO\pNAyL8m 2͝1Gaw^ƞ0.>Q.F+8|; vs^"2VsJR7 :KLh}8~mGWoO!%)lnxLKs1XFa+mKᘺzDthlT8{޹ UЦ±P?xJŦdPMCVTz̈́~ Z\NVP?/#őUjQQ|.fNP;ɦVלZjѶBlPX$*Ct vʊ㸠sk{<xgg\G7FIS15 ʤ+E;:[ׂmG}:&j>;s{lm>4OoE/ I2V*SJիa\A1HU2U&X ":4N\C/@;~F'1E! t_[3m &vM5j]uꎪ1I/rxQՉr)ְ]˂V&,KHE1%K([KFu%yBG, gP@f{~;F'IC7 oGOoR6ȻDv Vk;IZN Tw}#X܃#d 9JkBǹ)A!uUΤ, t]vb,!>B!I$'R`R?MJ΃ᄕC.WyW~g#Q <ԂqTLB[WBq:n+tQ\^pO_ݮHӫqǾ.=3qs n`pɉ㩭1&@m`ZIHmN3Egj ;tՂAUwz W:pkfwJTl iߊp ڊ؛D/Nv (yʖ㝿q-ZA$ f<9k= ȗ!QlSAaœbqo\ȕ)KzHm{^(Nt"$Zβ;’G9b蔮rd(g<ժ <31SZ1 -$< ȼL9A PmۅP(8n.A5Ĥ9mgͩk?+fk'90dϩEf-A̓_* Rӵ< ιo'1Vp-xWN*86oYu8t!CmAMܝң$wQi zJ#(#.txY=,kxcM .$C5ܵQ5wNYqri26(Գ1ݥgr«\9H.(MzXWI)c};<8\ToN(шuQ{i[@܀|7p:z"@01R'Q5+"&u?k^ Hǔd^=Lz#'R;l1jO~5QK4TVeZ%H6^TpMwʙwm H)(btOaV]&vz1+32 Zu0a{?޴-Y&y4aGz{>DuZ_T2Vo+[&7Oؙt7;ҐOJr|X;$z"%",@I4cnXj-Mk,$.({=/ZN<5QX$ y!.UAGTٿֈ,2$7!]Mݜ.Y/~}E?{* 9ԲNMѬҪŎw!}̐dl)VVՀ`odTQf%ϽB؛@ o@f4\d Ee&brUv®=d̜RddT8 }av-'ʸ9Pw\Gh)zC 4>bȭ=gJ014ţ̊Y42$sZv)&KYLKFp Pcͣnf8G>_|?9RN:R{v'B]L1Cg_ETǖ^ZWqe6nCuga1'Y^I\ai.? x)su'o\M%P+U»G!6 LmA]f s4n?|eYC 7ɯgggTWY49o5{Da>Xȟyܛ~\r 2=+az-O꽃WP"G?CsK\oDn;+Z Suƀ_1{i J>8$T$B?042TdIBip@oe}+@QC#[& DZB@"5 Ol' La8KJ3,Ȧ7r_g'[""+*'ftS\N۟Tmih!,dЖBc(5E[wS4?p[K}ۖx2"W!źW2&z5Ȟpa}oP0h> 5k9GsMhz!);BÔex"a{Ѭ 7<,ab4!sr-"5H@Р^4s47J2 dcE;툘J<9mU =.l= y/d^-##~h B_݀f+ YCԜhZ;êݎ́Ekx#[ z)YsTj[Ԕ>4>e0C[UX|ڠz2(^TK]Z໕bYDTہZbWPT4 7TsB s$ZW6a8ayҿlM,Dh~U9p0Q7 ZSJ{v"v7pE6k[o#P_t6WbEv 1Ie4trȤ~v.qÌ T6MnW$Ӏpm7:p*& | WP hȘqQ k[߷{D bC~Od+<ȶ)-TЕ6YQAVfc׊9m<w7GŶewPn8f,PݝߩLk,l}HYP/nZnJ/*,>a{ t\BKNS9[o#jk4iGgLJHLYin\^) n5#}ZktH#.3k h8B3@6G{B79]$?-id{h3ܮp.Mdڔ2s0=o%7&7I*ψ^azٖ?KS.E@Ĝ1h1Lk&DZONn?yS\p'6HTOFFMӍf.JM7͌ `|!1%@7txj`ۅ~S <2d[12m{M#uV*&? ruf0eOYvV#Q g냧˫NnF$1CP1]G83QвF˂x0q Z vR$8PZ5%Kǀ2jIDm wž'E\e%kJ [M<_4ʫ[u`t bvܯpk C/"EYP;nG\Sp@2 Vqt"Ψk->L# a@~)|QCN8y؆ycMк\GeP8W7Y)[+ eZ2qFݖG[,śq0uDZp~H$q4W?X 6GGEj/Vfw0CV\ ZMTju6*n#p]:|e?ƪW1=FAwҪ J%j8[[ZkuWH\+>g=@Fx@ף%9p.7KY$zEN/ޏ%mlPR׍>?阷!A@,M%IW\mF:p~in;@*JbcU4a$T~-=2z+LÒ5$,x,cDB9As u׃iG7}6;#DB_f/cRm|o ,r9t6ka 9Ԉ'SYՎ7{F)@7C]z/ (:NZk$lR5k}'xƣ831zcՏAAp1ȧu9 '񹊚/q+ 6\E[ML?8.πY{QN(9m\̎=zSSme &K`.[iZE!S~K.0g؎Ho4bJb$ՑjBpVG!ױטoUAOro<ڗ2gjwdw yPY>Nb&$t 0wA .ey@zRg'08KX]^]Y,?!i?8]VCNOXB@zB)L.@25<8x|+$I;A˳OR}|$ۦeIRszmx[F&اtxF˚ 1y )@hi_A%׀=>~|IXJP='*p-`7d^ &.5o E [ns* & ʹ׷"W0‹HZ-gn/:\6ۂ7X~mܛY4D%S3=f+Amfc249,lIw- |t5/ N]|@2G\CtgߒGz8oƘV|bv83'h*򭳰jʮ i'/JQJSDLT_Jq_l` YwaZ*<~!A(wJP%񺬈2i1R:40_mx*ݒdf%BX% /nx}eD?4ߐD f{;ri!'_MR`_A6Oh$\j[*SgSv XpQ H^Sh9{LFF" ^o+L2x -:Z7F{7d\gREà)uQj?MgnLv^}1>?D&&w.P- Q B(7!],\?bI=O5}{ |AEaU H\v%'?:"է@.n}:ANT8J1΅~m%DA+7Hdn\MM]:K&:O^l#q2,F'ZuM%nߜ-/^ ¨w{XjC'pnku- ܉z4NNQY>* ӎ2EF gjpo8z%J)Z-lm\ZcHbabĪ6{/Gt4^Y(cXrCzєW[>]\GI5&*A*`Ҫ2 [<#<":YuK7ݫh(^3#) ߋHJsmN)&l!/~{'8&ٺuIqa?J16|| M7&vgWK&)Meve7Xin 16۵6>@?<|`p''"mLI*<乼#nAilee$quycq$KiQ /yO1^LNM^c tܛА@`wnD:4` EX͌p3O0ؖ3)ƫCkIqMiîFQOB}[`H[4ǡWRȷL5:\ҁRHS[k!NEFC{t0ObR%PԻ~4 u0# G0j,R2wk-UȕkU*x/DҤ6 ) a7 !uA2qݫ O"D̲=[ 5@RXEiM>GzJҝmNO#I- IWTЭ KN)7CvI)6̗B= "*&E }v|(=}+Zv4+ ԢnEx J:il ZWOR=c*;(?6?,>Ձ{e ZD 6իFvQP{SBrEUd[h7}z}D0ڄR ,[U{>~^&FřVbUzxӌp35A[hviN=Nh{ꪭ_W-mr%rŠ@$@e2wT?k[83U.\ b=l]_n7\yrWIhOlr&DAYn&hdpd`=)31խK#pqشB_Dfo{Ћ,뿙eX֚NC[S?llŽ{,4XYljP5 R" $k{ .РW5r?y6J9PFQsk8ir@٨v趃8F\V&P:~j kf,K3r7BkoB2ρ߅wZ}&!9-GO-pJh3cڿ|+"g9MG $@3GĺeetL] -E#Ro lSSX4_./a {UK~dM`_?Ѕ_Az2NGZ{1-Luo"$ʶMK&aUa ƲkՏ3Kj]&-} (~pwNtuך{\EYا [*C MSz,0j5e8sJ[ZdBD(U*e5@jR [k?ZB[]2E`h45_Grǵ*`-[ pN3.;wsCk7c8 Au9)QqxW4v@UG=Nrj o'zvLjAU'&qw`ۙX,Nr&a _־n$ sBSHGk3{Y3n1>>>ހE+@⾴"#1^|è5wۃA 8 ցb3Y`1Qef5 v㫠2u6|^-Ae}ߐ Sd\_:h1va)z.%JYjKMg0a}HyP(uoHsPM2 ̘=BۦWG `M? zӇDZ&Im!-"z1a8(\/hM'bof>bҟ3'[1%92{|%WPo ?̳_*|SⓍ9 J:<8x Z P\##NCXo4tWPVoyWu;\|=~r)$<c-T̲Gj*Q:"!!xH>vťy9~bNV}K$oL{D?V7Hj4A)}|EhKCbRznZB_lIO"|fiPW ETj Hwf,c8Zn~Hq4b?Sçl ]a(n &J#k*ƩgkjbUgʌadm8M44κN֖u֭_-%",Pɧ.-:r-uOv0g\w7"␠ƨwU&C"h3_-XAM5OkT^sj̹v ib`7e2.m̩ }fSWhNl@l\3h`pe YZ