texlive-semantic-8:svn15878.2.0-23.oe1 >  A ajW^^fYT]?Ok.-944" YWHCEd0_DܒIu\%ɩg(ennw +טރ K]e,!Y>bS :r07(E熲tDE'C4V<.Ņ0yg Z(?`@' zeͰVݐ6VF4~+GTn|Z9|N҃]58דEF )u w[6~蚀x ~IZp= ? d ( , \&;@ Uay              Fd 4(89 :FG< H` I XY\ ] ^b c d we |f l t u v z W h l r Ctexlive-semanticsvn15878.2.023.oe1Help for writing programming language semanticsEases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees.a`pecs-obsworker-0002openEuler:20.03:LTS:SP3 / standard_x86_64http://openeuler.orgLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch#y  lA큤A큤adLQ4a`X8X8X8X8X8X889358c7072db622ba6d8ac9b4a322984853dd6d870f93c39efdb3f6a22719cd243a119990d2785973d1c538918a4e8d0f3faa79b9975bc08722b46078f178436b02c0d84401448288577b6526112f891a0dae2e9ec7e23439346e1648f01e809bf143714b266f240db0f9860f67d5fe0b218a8c42fc39e2c12a389dce9be4ee93d7046e0f1318119e9c6133a67676884139372289db85a94e9054212515212e7033a881f7c67137c9bbf4b8db05b648443992eefbe5d9bab40eae1d7331d113e710839e3aee0d0c9606573962254362e2644c1ba981c4e43314b4cb271895fadrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootroottexlive-2018-23.oe1.src.rpmtex(infernce.sty)tex(ligature.sty)tex(reserved.sty)tex(semantic.sty)tex(shrthand.sty)tex(tdiagram.sty)tex-semantictexlive-semantic    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)tex(mathbbol.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 1640980592 20182018201820182018201820188:svn15878.2.0-23.oe1texlive-semanticlppl1.txtsemanticinfernce.styligature.styreserved.stysemantic.styshrthand.stytdiagram.sty/usr/share/licenses//usr/share/licenses/texlive-semantic//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/semantic/-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, ISO-8859 textLaTeX auxiliary file, ISO-8859 textTeX document, ISO-8859 text\?ZK6=#LCutf-81dabb96696d1054799d1cb34342265e6a4f2b07b0584f7e18808ab7b93f468b6?07zXZ !#,K&1] b2u jӫ`(y-7g>B8 YϲY##Gqj*A`%P5Q[0;^9Wg!- r(vJˡn4A#֊-K~'a\ O&YmR͵`j$D~9.!8-hY4(D(KgPtO~WsDn"nݏ 6KLƈWSgWv8P tǸ4Pt>c{[ˬlKPPF ۱۲")h)?4MlX2?~5t@mF !m[pvMRaƣ&jE?gguܔ@%)04NE_TSt r``<(;=.H_ z![,瑄<ēla|f6dWd;Ou SGvcj=q ,m fpl.QS]#-CnGĖu+<6sŕ:"Ƹ;O+d͹Xgf=Ikw?ìUfJE+jnSShfYVʂ&gH߮^:DO?yNcJeJ$\s\n@KIHJK6yeT7qcH$b*Wqp% xF{h}^{oW/">ZVI_veuK"6w(Oqz23گFV1m_DQ)TöF&}M0d(SegQrEI#ʥFosxMwы\XTo~Ah~34 P43q.*ўަ,3_Rw׋;UmuvsН|?) #s{r/iaͼzul3-WDeV?>0U%oX)Nwʦj"-K'=5,ؘVISK\W 0^J>wӟ`ٵqb {3ĪˤI*VEDtuMEHjl(Mgʟ0w/8Sau!:QVW+L_,r5XD }Vi=<@"q)h刦ONv2 >F_l ݶbV4*'EݻVoo3v*ϱTUW2cpčͱa8CQ{4ul/X G=J#Nh֬:mj mY?b EByF(WoCfb IuR-ĭiA֟uR{.3R{T@AW'(+<;j] B&ǁb'6Td("zAd HYha`~vqx)G MVt$ׁ*9r".W;;b^oxxB)Y|,) =h 6vy3L*=WhCC B|,xsWxx4XۡMyTN.٦Vc*gcPwQm(D @*-?6I[ B6sT;dԀeMV&: k Lf ?0ԶZsVQ<X[/v]̾+e1 = $ 1o/61R2IJU>28oZOV[9oC)y+Vn@a(>鲉`ᮬ˧Lڞz75zwWP_;OcsX 1j-[f} `."b^*AQz#K9}~O7 h-$zI)͡"ѿV?t͍!;@yK_rbwd-qxBӔQ|aB? FJӃ:exM-7E(o5fC+Ԑjz`_.h+˼C9»޾ %Ho:kys(=F*=E$.zȷ<.8㤜Z#t=$Vk T1; 6;²l($[~/Sa*+?qpsCr'օ̸*4s&a]0[F#AX2jv7EQR !F 섔`36P|8=* t3:TsEe\?N%Lo^kᄳL|S/]^mQ^Z/?:ueT!E׮dC'z+ ҌW@o;L'(iL#ˡISBʎ:Lm.I_L`aT+#^:AVx͇otw"yh Z w]B`yao1AL\tDK53-QB`G0 Zx9t{QK6KSd۩C;xp381&ApiVu ~KЪX( ^ ~vUmB /{ U(` R0;3qښF1og*& F'fCѝ)O[A`=RC* |Kr~68:I)Stgq~hunC̦ teH_/N$ʙ\ ן#H͙ͩuvG~ Z+gXܓ þ7îy(HDQc9i EW8ZiR"X&@k&@-q,&NhW~4%r}U#vSB @\\}Vgl<}9 ]JIA̒훰]LE0CaKfuN?u`FSՎ`6ުs3) gTWMm踉 Tx:c9WRE+Ws34C ZI?Ve3S\ aɏ9D 4R#_WR{\,"nO-[3&gZ~uWcx7ZNӘB*YJ(as(hS GJ$liejg Uu yk%ǝWmw2`l3I]5RZsۼ֒9J">\+o"N紽4!YpަiI[R6[%$fr?FaUXIU|23-sw)8zZ'Yk!7xk}񁙭fW1i_3iI]XE9opڍkWxƧ&QY G5xIm*"U^k EoP]BN5Q7?L| _bcNXb]ǸU5Ԃ )H\ }HTmc-o+VbGqReLфJRTZc {r|jupI zkWąJB^"80CyKYc0;MƇ^z*-v N7Xv=63KQ&i!!ĐJqr`ܡ0>Y_S0, gp9+}n"{䊰"NGL(i0JNhhΦI%C6n"7G{J*?KMCwFPr_NF~ۆSPw_(- TX!xKF^^(gr>;n# M7z/#Ro= NJO WW.)Hh@ByEݶz Nrh,l._i+݀d-STrXsdQOFN1<<%}2}A[Zė2OM?s}.p46y(ٵ[B`wR*d]xOJ9E2FvY%:m),Gf֐ٰ ٣$~eӖ"t6WprvzPu/F14">wox\$m!׫յ%]{~ڏR-> Ku(MGޡj])9@83&})̘wiR74,&Aqp?PDOѢh\VYc3? RA4Qͨ\_E{#/'nH[9">^W8O:Je0pA=B<Ġ\%;K^9/ė?a(n6%7зTٽA*z$uV9UUBr߻e3Ff/IL2?΅_#o!)b [K&}9VF/u܅+Ӿv죿/t wtf^D(M0–^z5U>< C&b 18Q4QggaO0ibxb%b(L 4Z"홀]ښLC/I%/(Gɜb.8jvPd'eV [1>cu6hdt ŠYGEgzHgJ/uzlk*[Hc<7F=H0 *ϕZ񤆺E:޴fjޢgI(KI.2>U9f+93^>q`gɊ#]Z1̋ڨ4|KD  1VT՛ 懥-b##5"(1ܞ#VC7 vE7R#)屏Y;_u,v,cD5P ΀3 jZOBknTc,<RFjDUR}oo)W]ҩ#J)ļwЯ(@VC:Xg_iJy =G#`u+|uSD. Vh'LBTc +BdTr+蝳y;jpwT.78E=,L˾+pԾI3f 4ћ{!|X1.WCѯgB^r&dmz $ +,M3׶=LɣƩi.LhPxpcY?鴨p6RG~/MF^s`3D*fsXuGQgگOU-G+2j c̚4R{ vWs4TU_J%te9 L)x]Vl1qmz4S!̃veIjt#]C;H1@p;(]-3`yI BvJo| fReGF'OMUuSɈbB#r5MUY&kQBWY"s;fKm4Vx˱lD,:qA?з^PmeD ݕ0B._dã7ꖽ]5 $8ruϰ3Sfq- [}5aBEhP 1|]>FoQ-'9i#`M f{w0K>hTBtg&֐_)r~Am726>?Hpgݣؼc]4;ac:jl+9 V.쪖F"LER2źlƭ8AQU5XKʍD v]XwTn@7 L-Oc`)j~|QIïRޟԺp`?@e]jǎm:V7 T̎#^&(O$e4I7hȏS+!eԑ: <:*Vuk,j66iȉl#ab>vwOe>QKjx -Wbj%eUƉq]lXMUe1{6JWeꤘ"w}_+'];>&VĞŲ' DזݥVgŞ}O}B܃,&jDY'Pת'MEU'g7~&{>4iٷ ޥVОs3pCs~wws/'<jqEaHE%'ib8"zZF4ʡ'R\6mmJΆ+` gvX;KKn-7Kbru Ǹ_)%Yݒ樤e^Vn%IooHЏŠBʈkw S^l q-8M 1^ڕhzTwT0BkRfNZv[-G-IFɏ{ʒQb.dp ڭ`&aM%a:fJGƿ,OIk )UTVj%!!" ',&%JN7q@`O+e2Uk/IQA+6^yewce(- ٹ~̽ا=C y)kC@׎&Ϣmg0d*}wIxD=\4?I!(Wp6F/Jyrrխq4)3R#ɤ+vʐ)^D+@4LSAA1v$##&\=YG8fus:tΛ0@6ܬ:WSܧH˶, 5Me!!whOǿNU1>\a