texlive-ebproof-8:svn44392-24.oe1 >  A `W^^f5iKBV=w/_Ub+f&TI;˓FP%xdyTྭ#_p}:bG4?oUkBKRo8C4ܖz εwЫP免V6B8z mc醎Pd+)۸!`aC F~`;ЊML(Я yAպqhr6Ѩ;D lVf4dg i`x> ɹwrET_/501d18a908b36df3cd44c3c900e9841d08a6b6ec6ee88e0802fe21b2e386a9f05a0401c6001316f7d9b24193c8cce240827325f8>8`W^^fdx&ɽ ũ 62S< $UezBΤqY(Jٰj|CsB8!3>@ yp׺&(i`ev5e6氫lu-_>cvVJdq[ D1kC-׊%UbW" `эt1@|Z!AXX2I 6 x^ UY?W06ƹ9>Z! Yi Lgip= ? d$ ( WCXa v    \ `p(89:FGHIXY\](^Xbcd 7e <f ?l At \u lv |z     Ctexlive-ebproofsvn4439224.oe1Formal 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.`obs-worker-0010UopenEuler:20.03:LTS:SP2 / standard_aarch64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ\A큤A큤`Q3`Y5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb39675263e81a1a21f3bf25d92da2b48148b13ae7b9be30e2df474bfcf601c882rootrootrootrootrootrootrootroottexlive-2018-24.oe1.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.15.1_k_^$D]Guoshuai Sun - 8:2018-24Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Drop texlive-venturisadf texlive-wsuipa texlive-vntex, because those packages use utopia license may not be free for anyone- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initobs-worker-0010 1621924531201820188:svn44392-24.oe1texlive-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 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:20.03:LTS:SP2/standard_aarch64/51980bddaf3c8722ee4b9b2e86156ee3-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textO"DM3$Ji utf-8b79dea2d0eeeb9d34097d4e44458943af32f475c18a3942ae37086724a714218?07zXZ !#,S/] b2u jӫ`(y,w|K=7я92 wIǨSKI0p7CoX?5o8~󣌢mC"^376]vS[DX,wq" AUMԾ U?2UhjR#L3E*Op8_đC r+H{~` IS%+}B}l9n!whe=nxboJkmݣ/~ w;'J]b4va%tkIEvfH)5oIfS9u*n8>'>9څcAF*š1n};I+ J|v` hJ#zVj4[6~B:\MHFy/d 2)HFp r̛F,\+K/Be`I*%WNg]4@06֥mKܐ^`[ !ͶZbBP=Vߌ:ט$؅ u0v}`+]i Zk{[:3YZ**Jć qK*,)TE+@:4ڰ*] Ѡ𜚃 jx&lH}vz93B+%{e)./@HKxx S:dl Iկ7jZ-]4؉xbɒYynN ~B\PvaJ9`{7eщS*_81ˢ(N^gH.xy4?G7|], lEx@wASrܫ)^{N2ȺekGhutB) ar~-UnJY8eI@Nyc6>yX3bINfel" HajAd ¼(ł /*ǥnX·ID?* a>+q\>*G=(1WL_1 2DIk#͑]D*|vL I'HHFZ&D^6iX 3O=qOZ=D[ ~ Vf 7C=Qiq)CZe\ѻ"44Z}]oNK9׹u˰Mx뻫28&e8MsEdfqg+\n"lҸ9{[L쥱k:_qRɮ3,*> KQ(qs,ӂZ.dWϖ_8t# F]O|F厶RepmDN,1c`h wG<0@\}#.'4Ȉ<Ѳ p\ΪFg}\b 2C_cZ88JLQU"ПǢ@BFV"<ɦ7MBe-ɥ.1[ ܧl]eOn8Jo)BU\mi[BÇsvg | Nk"RRoM8^V?P;) kn'ΩF /HôAbᄃk0?3bj͊ b 0x(HpY Ag*j^$JgV~'\|O~ng6cwd[혲r({_jܗ+, aI+نKcƣCZ)FM*%y |*ڋQvpkU,.o'̫6iBiu,走!tIDfB*mGxj0@ZjL7_eysdGj.Os1jv Q[t AddW.0+ {ZVGc8GU (?O4JDd+C$ >ajDZ3!s Smt|i^&p>3px.q,{|m1{ |8̲`+PhSopNajmҋ0Y;Bt ϪS(tsB$Qvg|\dI Hou(Ud):o8#u+N9a4Դg@J;>k=6;EדPC=W@6lṬxNF])7(V3t>5r:00* ;:L IIG=;f7Hy=`m6O 5*j3iAxXUeHfLMeGI=,Wt"PˊA7ҙP#oe "eSYٽ)OI3v q>- 9@ArS[FAufP(%_xVHM"إM+ YB_n4ؕ M. #\9u) ١dw\71}& jm?uOF?xeT*wHZ}09= ~)A^xKrdza4p#@\ׄ9eUrA_{e=6Ȼܩw[lRQ HFtITOTc; [cLnZ%낼ODL m P._Dۅצ ^M-_11=RH36HB#Eq l UdY%YM-[nq` j}\8xө0|.Xy)'Ҩ6B{ |x^*YUf1Hd ?bH;7$?|X1U"˼+~Ù2Ib,1h N# zwWhyqϤy30NR =tAbQB0ݒM0%#1#v:-6Նx9J^VjFHXWmaK12y lLFʣ L I`/+XoUQdl$/oJꉴ aje"pwU:cV[es[@_vjs]tI>'%iڙ&&ߓ< 93r}P'Иl[oXۓ37bVoF Al*[8Β9Yi|oz_/8,5Фy +>!4ܥ!*_ccflR;&'{d=gvL?H)_KE㮧e9BhUV:AVKړSnDr1jOop;suuT4grM!G4>O.pl#á.0MԔ>@&91 圵x2kW"`mו2k$l 'T*ᨨfkUصLٶbf"m)xh^^`=!cC)w ׇu;>QFmOFUpCv*!{r"ϼT SWs1Pfؔ3I>K[._O%58;hL%?EL&ZNLP6k9yK|ڤ< iOq,b2:KuwkКܶvs o]:G/4౜iPs?[ y6żWQrCmc5`ca؎1ҭ؏-Rvq\ɃF.LQ{TeuoRIqUC_Z,r  bz 0%+!!Pàj_ *6t!&^D{~f=7K,TBTyG#¶|!2-6!4n-5G8z@N**Ŀu8-jz_v`CzEQW%{ 3vI[&b:qvms*c̼ÅJ EI^9lb$e'1,*C~ |1_]8爖ٮhJ4$/񈾛і6UezNJll")-DoI(QPI\`xlqvh< ?I)aY>('d.nJ7< g|Yx]: ALr`8u0PFjL.&A0ϗ ?Gm*kM+C:mgS4_{3Yx.V?B']įVF:1$'ڸw4_vq烘r+WI@* ճ$LD؋ ΄eEMk?Y?,HɆVV9Wlo,SW% aW-OKȔ`jYEihWCh 6H7]*ϧǵ)8~ H𛈆}Sn0A] }m7nhp҄(Z`A,;@!Eۊ{>4#:&089?7#{[簾ghI,P%xAQEbFaS?P2m,T&KkT~Jb7x'x H$Ig#o &ߍuO~Ǧj.jۣZXIH6כaxFgw!XqrTKpؑzl0h <8= ޴c~e*ݪ9,H2+ȰkK -+ڃ^U$>,pG|E83G*a9ς^[>,{ p@5jʽWOf\!.L Bq]~M/4dkUGϣ I7i8EVod^G%;wH~]?M[PQT˂Vy&Sz*{:0NKCbBgJJ%meRƸGXo+cQlxR-3aK 2 p[|2eu*iWZ,cm]-6ѤmU݋k&XR8qѦ YoZ0>hG4&(:9(r[ʀ)­qEG`* /9QF9ԘfydKZosP #5ƚ '~S]-`{1 U 5= w}izYgx3jS7x'"I I_JM1_\y|f:%@r`2װs5o]fΫl4H{+Ve7ߜ}s1Y0>tKv  d\"-C(B9Տz+Fnúޭ> Efx)Sq@Ə/#d\훽qx[ ΆFlG}ZB=jh67F,W3h](Vf]y_Yp7EM ӟ%g[" 0 !Pco//{}K^8=aSwI],aH | %D@i%aͤV@{н 0+ POqraAsv'U0H-Ebr&oۧ=7bFA睹~ET{2ضkhRbs8\Ix51}}0U` Dڎs4᳏4,2|o}{}i^d`a1On:Y_ˆ /fCsͼzU׀b(n nnYeg& /l1=@e( *+󑬮$q[uʀYcQ㱮n]}|Y>%'Jr %& ˉ"Q#Iޟ9W krwm` 5O9 ؉dvͤٽôpd\QM9vk䉚5ЦEqMVP/;cv%mǻi4B[Y֟֌ B e?͎>L&3/GE*wQgyo20 Gn]⺦FPnR|ld7# Js3X="w?N,7A$4)eGE %dyִ: Q G<6 3ñА ;zXIu5$5cϯ5a9Fv@X[L|x6ܒKο:uauSW>6H+<)^%W&/~\W;V_$66ӀgC%|2z`f vJ-\~a~ɒCҤgelLƠe_@Ӱ ;M6*9Rj1Y8H}y*d(9%8a{䖥d22i:1 <0rM-P}\H}:N.s`_#8qY%{ZkN!aVO̤g8naqɽPxqV-1:ƪnZcՠ /"!uz 9:ʦS Krn\Zm^3;B2Qι*\g~a` Ef7+xnʨut:VNńP9#.|a>(~qӛ*hKx~#gҋΐzdh1ɫKNhȅA3<kKT  LMF\.l2o HIj!:^lAP'zS/ )L'1Gawd_#>W֫I'Uݜ4܇$3+Xlr{tQ 6QÊF41}FDUl'KbJ?0-ڇafXlΜg<.iXnEz N!=oXly?E]& +0 ҅++tC9B%6l}`t2$Rs#hde *4*"wJaIH. !qϹ/a7y'Rߥe,`ٖ<6`r_ f!DْI7gޱ{#C*pʢG0:*^C7$U_вSW$$C&S[f+78jdZ]aI6r!PM66P(FȳlQZ&eUczP|@DZ/C48j\.:c 7xaMMjT9gHHTD- *e>y+ (:aryͪ#0q"p-4㢩8;#aLr 0˩巀 MF<)4n6͐ϭW倢pIpvzMR