texlive-turnstile-8:svn15878.1.0-23.oe1 >  A ak(W^^fSJVeð'a`DeUWZȔ=KĴ-'?i>)Tڏ%CLP^Smx֮s_.M*|IagαߘcXRvrt輻5B8Q0KGĎ" `uZ Gm(5 @y\El\)!7:?M ۷掜dnW6I^iq4V9m@872efd10f4c2e954da82c7ebe55a9e62fa93ecad4ec565f2efa77d7d15a114d7ad7f643df4a90c15b87017c30a994468d435894db ak(W^^f1EDZ(K_J<ل^o"],@m4Qi1J#Y C0]HLىo23| ?ԡ r&9'}+-~8B{f˼P,ð1gOXη6lƍVo1"iے΁Hp^z k %j8]PJeK=pۺ8P!/0?]B}=OD]ׇ/zCry_ϯc$vxk1+) 6AJd>p=?d!( , S J_d y    ` dt(89:FG$H4IDXHYT\t]^bPcPdefltuvz$48>Ctexlive-turnstilesvn15878.1.023.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.a`pecs-obsworker-0002GWopenEuler:20.03:LTS:SP3 / standard_x86_64http://openeuler.orgLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch#y#A큤A큤adxQ4a`X889358c7072db622ba6d8ac9b4a322984853dd6d870f93c39efdb3f6a22719cd26d58c1af9f40f9502c6a316a24ac1d500d327305a971a04e82543cba5fe33723rootrootrootrootrootrootrootroottexlive-2018-23.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_^$D]Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initecs-obsworker-0002 1640980592201820188:svn15878.1.0-23.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:SP3/standard_x86_64/abbc448fe7db60563655e2f379ce7a34-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text\?ZK6=#LCutf-8ea4d3d5aeea042977041f7453e2a60783f5561f14eb146177ad7e48462d20bd4?07zXZ !#,JcD] b2u jӫ`(y-7g>+D mDv^(U KK@wU4bEU=`)){vf$#l'ۨ\Fp"V57')Us!ů_b)SPۖout\.͹B;-a|YnG4t%.aTDJ ~Nh"BBxv>;+`A9)1PkxYD!!԰9.ԬXGo뒉vwkD buF+Rhb31̺Ȫ8I)g/phu(oBz\Qjoe@MjLqJg^¤=!uyM-1s鄸wvh%a fT<@"mk N-:!*GWI5+H$i^>E<3@JZ\}`yHgL~yy PS1Tx; q2(%o^{_`)ߴc. D;T3``^@̆KVDb Wԧ^G)7 hyʙ㠬 OrcQa "ŴdxBK\re"t! { Xѕ4~Ó22#xcgg\as^5Qcc4G]o޺F+Xju MϿU!w»yl zICrH4yJchm/7H|1_+Pq]ys5|fOSXvDg{*IN&V 2ƅ[A:xYek+G.$dq4 Zz۶$2>2&o9'>Y[#$Bq>tr.ͩjY|(qfHw%&a$_.Qg\P/ߣĚa=E_k{^F?RB/"38*-+ A@o18l>{ÅnŌA_kGE.jB8# yD[N*y'=:NR š U{xf[7ZEYESXC^գ2ЂRlJWO4NZNK,M@b*ɾF tA?$ϰݰh3^cOCP͈iy!X~{rx^C]ۑ\\`Lwa#]ז\"Y= wá&f7P,ؐre첯nŴH=W }H!;d׀ex|9L3_?\1waAsn0tAsf02O7'1cdM-(. jT7>):I0}LEtLK1.q0Z  kG9\lWg!8-'6Bi.xC.{qGkpلkkHzOSE7g{^wV*Z$[?Z E0+q]1Rz'!-j=++=+ FHadSoG281.KeXmVÔN,Srɻ+%I!Wr<ܳFCzvyD])qTxn.5vQV <|Ѥ40~` *C̡j_QOL9"&q-"*Wj1+or"K [3$aDO,^%&ҷ@84pp1fA"lZJU>V1RgviP=ge%Rk/F(y./ g̹7t%\Ka \Ye;#dLM߬Cb{(546XWAF]%W_!ϣiyvp-`]1E,.$DF!ҵ!#l{ 9+XM暦E;V.6r]#Z/jU+nnʖ '968Xbܘqp9ǭ?&G*5JSIN S΍lo!8{_={IqH,%- E=}a;Z)H[<@ myׂ<VGLvYdU҅̑< MS <+U;%ifvh{E+( C UdE8nN̼X].JJB8bO,tPp**/s2 &%z]dzdhĞ]u ־'/#Ӱڷ3H-TC|HG}I~+KisxS* T5R ԋ`sƕ)"ifW?S,T1iX~>K^ WmsDй9Ʀ|JqzVVQ=#tPf?BBdҾ \tW(5H XWGxw1jXu9z!Y$znDΙ;OG/2/d=Wan,h%??i֚ ޏsJtrh@KJ!5s]. :E+"y@mYz̘#m&BhRh"NZ曣 f :nP˦~@F/*eNS_v6 R\xyju#y-MY)7#|Ťekw^͝wL'F0vMupqm M3i-]HDuzWNp fMh4 =adEsD =>_tG5R3;uvc^:%9O5rL? fucl9tMo F;V4NL`!}o"U1Y>g wf<l2ʞLH乺?Y9Kkr|Xt~S%8%|8yԌdW8^Z kـC4χM :'qj6A[l~;b}0g"ߣ X~T[X 4ɔ'G{@~Y;16=LTB,ޏnk(;t}=17FlTw:/Uas:; KqHm_q/UX[55ߙ,t5S5{ @KMGxmrPW,ziS-Vt2 Ԉ& OA.$n;G=O>Ί|-c3=ILIPKSW{[ "k3[V1ku+/̃~Pa=㶌xٶ8I@\{<+S%[e`^Y =hցUîC:D`J~tӖI^KǠtFpp;~(zÂ쐅TPfg'͵˓gvjah#%Lot i7zbS~ ά/-`{k2J4feOa#gEmGJCY,`%ˆY}.ВN~-Vv.Rpe50?u(Ģ鴧+la)`7}ykOGj̙$k ^o6:gE :^&Tt