texlive-turnstile-8:svn15878.1.0-24.oe1 >  A `W^^f-~R0E:ܲvHJbLܳKcTX2m1w#h] wB}aRĺ >+k4=g[<]+_nlsI4N*Dg &Gn2t,hkRKjO32OrReM{<10[;>ʁaqg/Ur[񛰯]ҼVgVQQ撣_* 3^q17\9킯 beWJd>p= H? 8d!( , S J_d y    ` dt(89:FGHIXY\(]8^lbcdcehfklmtuvz 4Ctexlive-turnstilesvn15878.1.024.oe1Typeset the (logic) turnstile notationAmong other uses, the turnstile sign is used by logicians for denoting a consequence relation, related to a given logic, between a collection of formulas and a derived formula.`ecs-obsworker-0003GWopenEuler:20.03:LTS:SP2 / standard_x86_64http://openeuler.orgLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch#y#A큤A큤`~Q4`X889358c7072db622ba6d8ac9b4a322984853dd6d870f93c39efdb3f6a22719cd26d58c1af9f40f9502c6a316a24ac1d500d327305a971a04e82543cba5fe33723rootrootrootrootrootrootrootroottexlive-2018-24.oe1.src.rpmtex(turnstile.sty)tex-turnstiletexlive-turnstile    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)tex(ifthen.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 initecs-obsworker-0003 1621920393201820188:svn15878.1.0-24.oe1texlive-turnstilelppl1.txtturnstileturnstile.sty/usr/share/licenses//usr/share/licenses/texlive-turnstile//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/turnstile/-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 obs://private/openEuler:20.03:LTS:SP2/standard_x86_64/51980bddaf3c8722ee4b9b2e86156ee3-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text3bX,utf-89d9244a3e60cdbb313107bcb7391772ec8b33d0b805e54b72f36d6d56b0ffe52?07zXZ !#,JcF] b2u jӫ`(y,w;/S%fӑ q; "3 dB] c*iPY D8M)Z}EJw~ a`+op:K^I,qjojlL#(?|pG&q&3휆3A gtnA}d6{Q4%oҘƄ8,-^{յ0O3z9=#AQ O_{:hCҤ69 FEVͦȪ誈 .K cOa=ޫW> VRX"C@&yphj[VsS^sZLvqpC:__9=3YގD,kj[UoNܝx"t1 w[kͅdGl>W)&*7yKuXϣoI`og3;5Ѵ#ƌ5TRR^ KH/VS`2|1p{#NQ,A ~ʌ) Ftg!SNxNG1DR,,ԝOza(~.y2^E kZGRǷEe!oW-+W2dxTz-&I{IRx"D*fl'xߚ)JMt h 2v48N&^+A(,6QFu+`o@(`#I--ΞGN7pÍլ vSU¯KZ,g^I'/$бJ?P^E-WEg§n)eNfVMpJ`}X\渆}yF;)xFp>3}€Tqb#l +M_VpQuhЏ< 'K6J2čd 8&=!0xI25Dw[{ CTUՈ aLmה{P"Zc$1Ք>^~lSD:0m[=M.1*myOH6q&P&)n;kc 29?]xco[Ƶ̇]/+*xfJ0:Ҹ:yrr;t)fӤi+\y]C/A#jWݲ6EMˍsw)Bum,ω@|( PA=3χv^Fnf+ࢣͱ?ϙ(Y.WfSX^{ԎV<z6ܿ 5kw?#3 ַfD5P)NǞT)ca!d\u&&{W]I1L\ c\ Aհ(Ϩ˽ae?rq.ݢψ]׌vq#G]4z>Ix-MvOIZ5DNo6:S" q/8cvtLA3込[8ym)Y]%F8 p7v9gV:w<̓yqJ7պM[TnfkiZcL7Нnm3 ԭHLʔyݙZIl @M3+w:%n.gEuUD"@Y#l0=j$mrURDZJHtHQ_#9M>N_Zh̴a 1mQSS1cYcz׽2).mS?(iӦ$j.V  w/ ދdžU f^i;7nyE} a !UO=iWɓ$Edk~> YqݰߐDtаz+1މ&I9]\9@vNm_!n3K9XDvw F} d}$霳sث _1ֵK`Mdn&{hb_D5Ac0qm(4'@P~5.B#O22)9Otw-rZ29T !A3O1~tyJ5ZYKd!> "G, ]y&j8L:!oE?L>dц= \pX\s&PHcЮs,:jk5Xp`jY jI}aLVa`ĆpB;<;gAV ݺL} U( 06S`)}5jq` (Nq 5ᄶ_t[wSmDQu:vAnڂugzT:*=tIݝ2' F'3, oVJݙ)XzGոJuX_,^k^4 [#gu< ;vğxFG>s@\-PNJrP'i&>̍DjWgq80Yڶ{n*"t$6rUjdc8 eJ5ƢɢH'NIl%e䛿͢w6x*%zp~xu*190P"ɹmM-ާfu8QyV7Ɋ5@x]EB=ƾ#S߭S=M̋9MFWbW-2p0q590K.1j ꭵw)oR*S D'^8x 1PIjli_!TSq2)Nxd@;ݟ<2J?eY$\ *v7}Nk]fsq_mbef` [Xs)ȸi{3xi̡7-u)f+KQP`5VVHH;nK=:[]wTx,ѾPD[(%`r1ldŭ}7iRRv8ݺ(htZΤ1i (l+&X rl׻CA8N$Qk^q@}aHn<lw]ӣ*IRP.q.Mۙ^ aYNpłOkgjd{A,ZhUrFwQހNj~#}R݊ w2ߠOH07Nҡm rI]'N[_~uXtQYE 2`؜uc/a X~<Ԩ*#fmU:E.~~բIƉ *?{U:w$\[sˣ6I[/qg.Qo47y@==rܭSlG$J## 1 _EL+