texlive-semantic-8:svn15878.2.0-23.oe1 >  A aq{W^^f_LIzq_V8K-PZK)jZsM@d!/HNbbGr,"ZX\ PCuDd0s֪Ӻ>SM9``wvu%*Fyy’ҩ.YNC@,kQ;fyWL<(|.@ s"rQ#꼈8H?3J쇨h/ƞ*F۝SH+Ti85|msTeiiڅi.653680a34895cc15ead2396c3f6fdc78ebfe938a0a633d9c588395df1ca2904b5482e7da1abd0d522d0d20bcb94beb17fa872aa26aq{W^^f,>24;V>dk 1(g٪m!518[gўX;`*sx|o #3zN[ӭ# KՎ}ZվTsi522<ОsNRu17qh$9# pf:ab? T|=B9FE\,$%EǪgќUP-[#TR-Y0FPJOX(GQ߾Ѫ (W'kEnX3uo>A ?P ;L>p= ? d ( , \#8= R^v|              B` 0(89:FG4 HX I| XY\ ] ^zb c d [e `f cl et u v z ; L P V 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`obs-worker-0020openEuler:20.03:LTS:SP3 / standard_aarch64http://openeuler.orgLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch#y  lA큤A큤agQ4a`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 initobs-worker-0020 1640980622 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 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:20.03:LTS:SP3/standard_aarch64/abbc448fe7db60563655e2f379ce7a34-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ISO-8859 textLaTeX auxiliary file, ISO-8859 textTeX document, ISO-8859 textXq)cXE*+uutf-89966a2a65b8587c0267065f7071780f94ab14619bd270de6fe4bde9cc5fe51f5?07zXZ !#,K&0] b2u jӫ`(y-7g?gԼG?OH${o4Vi(=;rR#CG_?Tj#>3$4eFvC V:vGaƇE`Mh{rgUm^ QuB&<B84[_t۷HS7ǝ_ZFNj &7i#d ɸY^+>N0RcK^ja,J!8HhN,R6 /qr@X)~n&9=1u-wzZP p%bskrx-Se`b-X:;'W7쫁TD=flF lmU3jj.ΨҶ=sU,Tv߶k< CuH*agA }%"c? G(V M9'# i(Ӆ%vhLg3C TqjGawA\Nڔ{:&z:'+jѱH T. N@Z}F'4p~Q(zDwՎYMo  7An? 7V)7 كmD6G i8jw Z >z.5f'VBi|4R>9DTh<,r~ا3gr>#pȚqƝԡ-q5m|h7U[&LJ r 6>x`4)t>OcY{uEzgKf4[ۧn<(^ F7OWW 9%vLk:$CC?_ 6UuAn=Iae vHagt(: ] a2i2^$YI4>tmLG>ܱɩ(9.N2ZH zВs❜X.8/}42KOMC}I<;iev%c;2{=,p3@`ːxbăfP}hOV_ `{c{dUV9|"Om+Y_PHI朣h!XgeЄ-tL ;POe&84A+`}ﲮq݅Z2.բʤdpA~Y5EL%Km;Gk%1-ea@W~\\j9dnS { .2ơl^,y4&IE)VgZÄ(x1+ Ί%6e>Y+͂Su ?Q:CQ Um$60Ý,FcFurU0w@yYKg 7Hg+|lca'5K8i\°xnsdTIwނ N0&2$g>-84_fx0 %B]홡 \Pm30ă+?tԶ}{dPP$0"ܓwPFHqBFD"WZ5ǖzJRcTƷHHF ,}e-M? A@w~g{`2 ~{SWװ f6YF䬹>|u;ۨ=Gt%'O^~zÉƑ-Xg wK B(]ax!+Sx]0l'OoZ(ڇv'av'3L _C{%02_(,7&>Ou)j\ټ(걲:m UskP^+"(y<6[* <ҊIq pDBovEg!0n+<\н;ks@z3?x9jZ~jê"vMD$LeҞۈf8/V;GqIZa|Ý3|F mvCZ#ztFA$gyܥ.X6K#)eݣc]Y{(0؝+Շ ȗ]u-?ukGvhYҋکk˷EEhqKykOGqdNcO@<p(F4Co3if!wX\mla llj+~z8\po`:_HKNb4VgDSM˼QӘaT%ϳa߶X1I+XDŽJ=&(^C~~tE.jbhִ+DО.H@ R=h8}/C)-D ۥpêvCpfP_SM:0O٨qb(\g>H74R x~K1ڃG}Kef ޟb*±fqփ3U|V +[?2̝VlZ}p[1 !F:?%|, >ݳ"٩KD1Cq|E}f>6bRQGaQz U C*8ݯp ;)iD`[kÎN:,khZnA޻,+9> HKx8jw;ʢl𡋷A&qЈrf1 `-aor_Ec2JקQs13;z8tI~mW_4tnK^kbZl)~k. BZJ72ʌٰg'lKGElnƧ~ڎ \^6Uڞـ_E{\QЍUÌVKvkxsGɧоApLR !\))r s, jƎaZ*i[FZ+-!t 9 2=ev5ahQ9ڪyD׌Mu0|ZjIJ܄I )^;ܚIԋHWZ+0ͮ_*ޑ*:+b n}8%C 3B WZIǘH( DUF\9n5ƀ:6ɤ\/~$P{ŋSu5bHI.-JyN| a֠2R0xdҮj_p rv{jJ[E{Lx L?gM0cϡgV 籑Rĉ%X˛W P@%M=iPOkϲ4\XYmF}% ;  % gx"[oV9Y忴ZAA4 Ct2&3[905Wh5˟ v‹Ń5Do\U$?v灐iECGڴ:/l5:Vsctj@ @'X  e{'bE0a_a~$6ߺ]ϋCdnK/-ܬ"H۳`}nCdzafbPQo -Iڬ^ `UUQ`1R6B2Ic"yċAJ9C,~dZ*_MȎR?ƪ*=y:O9GȄ k{&&.r.̠*~.6NS ]`R9cEݠo@,ǂ4580DEpy'y |wQ,. :4HL~Љ𠟛_^PG|c,o \O $?y@kUF]-, ܿHɤ)o{lf7T&겔>Y +OH1_ p)9rJ Sۥ.7h.b%YLSUYTN,kƣH4?,}aw#[OEYBwok4w0ksIHW^R,yk|SNHRp,y߫Ք|6ulT!/q9Yy0c=PĹ:3rFzl)bg3B**,[oBe?ȬFwg"K2[(  sKOK=] Y5'y|#Qt :--%M$FvoQฟsSCfO6*pKz < TS:o"ge|@ W%2`4D,0go:2H \VW75X4X1t8\U[/ؽ}/;KkfUPj.( }S?dHGl+__ݖ{?x@ImRõzb޲*n5"~wiiBͳ*m_܏fnKT$DWYHQ{!'NoL.DKx߄q.j>LsΡy~Xˆi !*)p F_XThofVM1[;zC7a9ĕXW'eoqmdym &n`&n{qrRHYM ajk6iXn>eNϾFo*8χ8ʫ7J)/e! /H_A|<\` υ* o۷ojl/z!Gטm7˟lATBm65XUh EN>*1lr1L GD a.rj;y*@1c-76V+ᇦ$+NޗZ9fܦH6#teϮ&%* }nCe1q~\Kts')elzb.ǃd!DߕD]K("@{݄c0ygVHD}7]5eWL'1ǂ҃ *uuQiy'[S.:7;lQR)R̕3 |h\333̹3I}i—<0s8nI`<Ӑj҂zL+]^3yԑoY(#'*ӱKr"wls^3C|;PmtYڛʽ}' ^j S$_5 2Ntw <>VkC"۰ Ϸ(Sƴ*#aGuwovێPEhz  #|G:1*PAb^Kfr>=i} 0Vq)a K&Q/WtC`INQixk4hWN3(>'%Jjoy D4hMdZ*Ѷ{辂zM`q08c;,e(29ѹ#X5G ua7#5VkR>TAE }w#jlg\ b)|fo҂J;@-P]r#=ZlF-sHY m_p>#-r%]).AE(g~,iF'{P0 Uu76A ʀ+`q66V n<UWH~1kڬMA=PaM+i9Ol#FhXf~a>P*M^emUn93=!y!}Ȟ qyk+ 9pD++R Skm*)g+bPH[::dґi,_" )>}J;;=6 1r^ ;9uw֧ڎ>kȸEo8J1U)\mE<ohx4aLWy/$?D$OGj<ZѰ X|@{.AQOAԭ+U6TF2pl+7Tl lgN=$ g?;W˅6ŝ6G݅=P`iԕñ&Hҏf4@ps`?}ONȥa6jy|NqP4@:t0~ ]Ѭh|&M;$Հ6ګɂV9NirJ/WaER3)T>GHK٥4 ^W~U[6~PQ!0G(7uנ'DC>S!witٻK:=uf|,,4܍1ܵI-8!y;(n(S^s8op:m5yL!in,,$Tqa|;ؽv.K]D9q\+q+Լ