texlive-semantic-8:svn15878.2.0-24.oe2203 >  A b@K$f#uk 7X+ o/[gs{)=Cv ewX%/?Nzz60Y/uQA#9R5%e$ytf?4FKc1uEHDx!#'&][m[dl"Yl2$ <>UmR#*‡wGx]1_z=+݋F6O2zBMbSyA>[sn`&v90 l[bTO8'̒[;q|8OZc20bb046b11089e996a3347f5fe20363a812ff7a0e7451d330b9345437b82825c7e75a6bcb14d2341fcfe3b44fa694576c676bf96b@K$f\ֹOPkcx6yS ؂^{dw;nbWBʍE$Q&8[+GrX+P3-w_SsVcRVf -қC;DI3C*BڿB"E=IQVS[\(t4Sw﹌лAa!i.vʐsX  4 HjSB]ׁ/I ɮҗzK~uk,~׳O҆n15Yޑ] `zCї 5L>p> =? -d , 0 `!6; P\tz              Bl <(89:FeG H I XY\4 ]X ^b `c Kd e f l t u v z      Ctexlive-semanticsvn15878.2.024.oe2203Help for writing programming language semanticsEases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees.b;oerv-obs-worker-04openEuler:22.03 / openEuler_2203http://openeuler.orgLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch#y  lA큤A큤b?(Q4b<2X8X8X8X8X8X889358c7072db622ba6d8ac9b4a322984853dd6d870f93c39efdb3f6a22719cd243a119990d2785973d1c538918a4e8d0f3faa79b9975bc08722b46078f178436b02c0d84401448288577b6526112f891a0dae2e9ec7e23439346e1648f01e809bf143714b266f240db0f9860f67d5fe0b218a8c42fc39e2c12a389dce9be4ee93d7046e0f1318119e9c6133a67676884139372289db85a94e9054212515212e7033a881f7c67137c9bbf4b8db05b648443992eefbe5d9bab40eae1d7331d113e710839e3aee0d0c9606573962254362e2644c1ba981c4e43314b4cb271895fadrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootroottexlive-split-u-2018-24.oe2203.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.17.0`_[f^$D]maminjie - 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-04 1654537205 20182018201820182018201820188:svn15878.2.0-24.oe2203texlive-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 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:22.03/openEuler_2203/77b6215fb37da769733de065cd58a0e4-texlive-split-ucpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ISO-8859 textLaTeX auxiliary file, ISO-8859 textTeX document, ISO-8859 text1OWh&H?utf-8beb89b89dd69d048627f4fb96919f5a01285a3ff0a76872fccf6f299e6020c0eab80b4d098ceeb460d5763d5babd2742143b809aa3d0818260e41d68159e10d0? 7zXZ !#,K&1] b2u jӫ`(y-6h3K7ꏮv%tkG eAȳ osT}5 \pӐ {?+% uw ќv*2eNKx7K:Ws:&Y5Ns1N\C3-J1kj9.S$:hxгh;!MVZj˜Yc !U/Iژ+$ÝW5l|Co.KN5y)FsZY7ycB`'wHɏ)}b 5{$9cPZ{\ikJY%6ST(]UF^_;k읶 9_Ⱥ[̵W=}7@ǕAIJ>e2v> ޯ5M Kfm M$^ĩ5Q$=ў~!cX/Kx)q?$f Oc~[LijhpMYn7[nصDgo$7t td=eL$9ܧbKZ&vPsp]'[x!hNh>;iScǵ @mWJ2S樊CT> @/÷Lئ},Z@ҿ/v70$hTv+|̻ܳ !+U{卍iY\+ۆwC1Ҁ Lyet`_so^L{>]l{U%тQWϹIUCˤ0B9Iθtfoh}ech5768P0Ï}+UhY"Jn#4hi9ެѥRKզ-&> EӼq>i.kߧЕ,Oĝ^VzW7[nt:},c/H Ȍ1i$hM?|_WtV}23(gSf€Wڎ8}~ s` [ߙ_@*R{Y0;ĝ,*QI̦åKqPjDѷ- U 4%!P*^e0j^Mk ?cU$u0w0Wqtu݁h26&/j8#m!;O}1=I/m֫7n;ZE}Z zm5J")G2:]S{/ M1zmS=b7.9D'H"X.qU+/]˳9Ћ&'G,&ⰱrg9MY? ^jYSz5ۅg, p:ZÐ>ҵ?Hnd[b2;fzo%A1o#/U"+{F5qSDwݻG/ѠM|86 ~m ߷vQAc뛷w8/>D7J4bTȽ|G^LTث<i&Z$T46yg]B] 8瞏i ] 2T"hh<(d'ܖ Hi*#v(BkTr',O)9i3|Q*< U/ޥí GC/0؝.+$|l#zw0_@,}A+"!9 ϋJK> 0 "Fmb0.>QDuH/ym1qiT825)<.6̜hإN%q#I4GzqoPs:s>aQ?}}V" ߍ&Da>=HjarN$?.8}4T~rΤc4 Oz X,%$sRD)V .8NN@.(gwBj9\8fRu9 mJ)A̸fj0BxE$};sApK i5c\)$#!80͈9q+A)VYuJϧw.JT 95zrM잹I ^Lk}qfv%|jeQCjajtB|CH8(m(l1>@[Sa5ڦf(O+UQ ! L%!%@}8ז]ⵜ4E22vv{rnZ91^D Y{U,?XD9 '+{P'v@<7K=;t;CAjӇKC2 5Xk;\Vgx0&=T<Ò|!&$eFpC_#Ϯf2:tnEx;H%nq+Q >Sr;߹3C !ΊE+Jzmyze_I5_Ъݕ,%AǨ 𿶡+"G$NnLj."AUkHmphۆf SrQK [҇0՜+g`.KR+觥a>ZxF:kyKeA5I:ޣ槅[گ4ٳ;xLE.!G&`J#e.4bV.rz#4}hG?4hBX%;".RLG*$qz:?+gtܼjNy4{z9E4MnW| rX-y]V,< "4͟W8e:_kgH_9jV$`Te*rp}*+ۏ[+ߦq>,*\s轒C;Y׽ǹ,W=g}U|`hq*@1 B5ƭVEi_6oBJ%xs%偓ysV I ߲zQ`SUc aaP AHU5ۆTwm$:$Lx㾼 MqŅ{=Sq?"KT09ݧ[r <: v_XTX.*XIne 2^ 釓,Z/ܸX9gU!ފpv~faXVhT|VnwO>u$u [>sW hs?rdЬs+)7{Dcoxhhr YQ7=yLLp!x )Tfp8|zS{ ն(|UW{ʑe*GdtgAgRzb^I+2t6eܔO @Tsȥ&<믞N%9 jZhv(>ؒY%_.aydU[,EhgEaO!o{ٔh bq߿jYdEjF+U7"oe*!^hd5Uxt4IQJNB[r~(ԠЊMLY|lvRZ,U$@Alү¤逆#eIdg< >Fo^:IinRuG*ʭgկ"5,F奙+'(rb<&Uchff'KwGb,f?jzF9]F +iiR^3&7d.O![cQ8;g`/: q5mVbKK$ "{] Fy>R;5&qB@Z7ϣ#@{G'Z"f%^ B͙}֣_80Fc5OEIb4$`ϼgjtY> DeN?%MkFSkk{!_zO2y}had x:FF&Iw4,N[.$VT4c"׵(Wj1Xw↔5EN/А~ڬ4`)IfjE!msb?u 4fC6BydHaMFmn~t yj0n)HgJ:>LMؠaeyzz<.3d5AՅ;w(:feOvZ#Q(zX~0xN Z?~@{-w;}gKA9AR+' -Ϊ})sJԾvA/R"K:ޟs r,kBLAh5qDnYwF \a%#V~/lf$uFH!52l^ɾ@1`8Cd!GjĖ\#)) ݖ0{gšr =?a0V)~| v>K1T֮F PHs1w}sM^A+HE7maeEu| lfт2(? i`vsۖr[@w8E Q?Cy Z!GSӮ7@nPeCA/}VQk3L&"euIx1u?D{sx1C/e7w=KX|L(B@3RY>7B~ǝ,Ե*F[` 98XꙞ$+ն"Zi( kٟ~'|  ZwRvD?z+uK9=0ֱQ,:j@ېh7^q,Qv}y\V"CHf~PL-sehnKܟdPS81b:-kX8PCxŽs[36eBA/>\o R])j؉K="ULeomQZi^ܩϷ͠HY2Fwj;5:9X+U]f Iy@{"Q2p/ %I\=v[qcC<1|u6=")+SmmA_:r|Wa61^`KQ;yr nhva9G _Dq`c_Y F"5S<1vR܅X(@jjAy%?,{p\7z/_MA*u'5-[q!Wwvvfxk|n^#V!M**cMU-@WBlLy+7G>G,;e5(8t .ԹDAB^gx,"~=8Y5J8"wf&h&]}r Ohy%]uv(ROW P(,v p)0_DvՖTp̖E̞ӷNX%0<]LbAWв8/j(". P`\g~eq@'أUA CrLK9b8%bC^&힝E;1iZΠC:!#LxW5;0$mW%yq!Y\8 5rcX1! kv~4Ug-u-(i4i^xizЦu[%)uV wW:$S/EIju@#Aa˘3Qo7p$nݦ$+ɋ_8G  _X- WcP$ ?ǷJi05ӧA#5P+bQ0Ĉo%`_/]`%9 cְ5 B#Z?\Z92ú˪") ᝾.mКNٲ <<|$$hq>\"^n!@ca^7){^8Э7TƢ l+.u2=$y -,ϐ6I,rԶnИF Wcպ'B;Ё`hL̺^޶ YZ