texlive-turnstile-8:svn15878.1.0-24.oe2203 >  A bAK$fA)5uz8׫„©{d_N)1MtعIpD{vMbB <ћOVO:? Lϯ rGMF"ܮ4 2xL e@~#|QQ30V*'4RRȣ`4ZYeU@ ͩ~rZAwS5$!nݡ&S[) Fvbv gJd>p> ?d!, 0 W  $EZ_ t    \ `p$(89:FMGlH|IXY\]^bcdeflt uv,z\lpvCtexlive-turnstilesvn15878.1.024.oe2203Typeset 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.b<oerv-obs-worker-03GWopenEuler:22.03 / openEuler_2203http://openeuler.orgLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch#y#A큤A큤b=Q4b - 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 initoerv-obs-worker-03 1654537236201820188:svn15878.1.0-24.oe2203texlive-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 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:22.03/openEuler_2203/69dae613b2f00520754dd7592b5eee45-texlive-split-xcpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textG*;d]utf-895800fffef7ecfa68d18ad34416d544ca245ff59f654d7bb237870dc6bb34e7ec38c62b4124909d0890d82cffa34384b36145a5980f2b9acee379fa4ef7022f8? 7zXZ !#,JcE] b2u jӫ`(y-6h݊H.#TD֠w]وó e5[ `+2Q=YiST{9Ef6s5\:O5'ː Rgh\2ʎ0q cXve~G lmt#VF[10ς3!{c4~;۴. 2ltDK!6D) b؀QsuiMN_),G'`Y97s[fBUq)D|cG)i-X~a \T>ɜFytq t/0$'z,RV r7B1F|OoUQh,;'=_a.\QqU1qb$~V)b'^'CІW"2/-@bj::cg6Dt0fcg! mHO+:B$ AɭS+,$mF+O7k'~JCnVW0ҟ`锗C$IDGz<9A)(ƟLXxs`K `vB~/C,9h3QsUo$W5 >(YvE+Rx*羲^} 9hpO`LTtGRMOYVBMq> tWD9a̹Qv ,D8 5A|'pLza?+ 3]1N4bOk Dž;p {)5/zM8 YcQ7Я| ) V٠gI;i|eiH'd@)$>F3""-\gF`A#Yk-N-g;rgm RX@Qؑ4p$IK%v^x;Wr';7_ִKB칂_GX `Ow'|G0$+έFC"mn K#4 ,w՜у OH{nHpdmX+鍄b.7= +)\C}M:Oeʹ.)sVL-ѐ3nr#SZ/ög8LJu ($sPuFE8%ae"Cvl`ufDZdOU=څ y(Nn/ i)Gn5wfBB>>ߟ<?HRNՒ=+]/7 F7>5'~oek ڧ|){^AUxwˊ ͉`V.0GHH^}R{jS"Xz%@YJLj ݽz1;x&X'>y`9 1@\8WE@MTo '*s^80(Vu>#;M- /ֲq]mX V!k<&D=ejup1}O beA(8^YU_v-"z~vnfN8)l'ސSl7%aoO CVGGD s=>B"jyL !H(095 />1.KM`Vt\\=|@@\tzvpsѣ i,u'*߾Lh62VH hI@ AO!$\FFU5uu4q@p ^m?h(fP%yAhAkP+cN$OY~+|6q"P#7mzA~J_;B2|zS ѳtА,t\c*1Ұ* %9\U=/Q$PTOdVP XɯqL3f,/OL4M xYBevc:ۚU>> ?md)nN1Y}?;5-z#m>tuK2ut-ݩ7͞* 9st_^Jq>2t.Ua=P:$p˖ض#aĂV_!ёYP23&jA 6GJ;Ld" 4ax\yys ޶0\5_B< vd+qsָmT>@p;\ngwzOpadp?n^Re fo N?I i3R1䍼0)d_)p}+ DHLF3nuYg5py<E1~E6qKp"=3\`X\6IpvsLPehP&\.;M<itݥ~h'J 4O`ߦe&,op˜?,{`jH RQGk_iFФi͉8) ޔ'*9S3BgYR5K*ن ^&enM5ۂ:NLntgĢ$tOrE{_y51!fΆ %IzJT!)w?I%獺̕b*=xDZ1)Mw&M1%3 C`x|Ie5*)6eL8ɰ3j ::[VSSi c\؟I.LM{䕳 -)sj]Xw#n鷲b!]oi>_i Oܾ"lyFlsdAZzgL3uoynfka5=qX.W@"ݪ' iLNHtrCp"R@3  яϴ~ԏz欪z&ܭ'qHFC~?jU曑Uk2MjmA Fo"'/mM+Qx R Z`x眊OQZQPgd-̈O !BAA[U6at񔍉&wjć͙'~; d-dkvWpe$S`&@56=(kixCƾw/G;K %yNWBA1bc9Z%͐?'LJJ>.)۱7K_$uoGh:Jq 2FħKاMIF`hzG,B57 :*T L%3ZΞwCUcդ?^/fI4hZ>W-V<>[BfH8kQ$.+|WRuzFwwb%j6\CM1mgqQ?, >chu껌zMe0R~)_0xk*YY_#-5"ƒ85yFpwJ36З 풳 p ه겇,Sy5RQaOm7W!1T?sk QD${^gxK F (iDah8<w=jEU*YoNZӌ6Îz߳0^Wlş:fV%@Ai2vC#=\&- NÌbI Љ 48K6ZY7p"&U YZ