texlive-semantic-8:svn15878.2.0-24.oe1 >  A `W^^fͧY"UPw^^@h/_š-Ys#Z PiKKGؤ:ύ[yGZz 7 ?u+-|:c!e> JZ6`.STrBC$XM򤝬X 3N?Ŝ3ݩozvC쥓O i?] BWb ktwgR*Vh׮bcAN([D(7rۉ,QrvxPVYeyU16e4e15ade21bd79c2e57a67d379d910f8d67e010e137496ff0f5278be9b7e77b92891baf84f012f5a1c827fbae20258dbecf5226`W^^fmSLvlxqld ~ɷaS;Pn+}zkk~IQM(Rˠj{Ō$JA[uy+ -yGz/)*"y0 uQ/S(I{N'Ydws?V{ёT%`?$-.O-e@nzi#WAc#oY'B\ΊS)5iHEg2h$/? ;5ftqL>p= |? ld ( , \&;@ Uay              Fd 4(89:FG H I8 XDYd\ ] ^ 6b c d +e 0f 3l 5t P u t v z    & hCtexlive-semanticsvn15878.2.024.oe1Help for writing programming language semanticsEases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees.`ecs-obsworker-0003openEuler:20.03:LTS:SP2 / standard_x86_64http://openeuler.orgLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch#y  lA큤A큤`"Q4`X8X8X8X8X8X889358c7072db622ba6d8ac9b4a322984853dd6d870f93c39efdb3f6a22719cd243a119990d2785973d1c538918a4e8d0f3faa79b9975bc08722b46078f178436b02c0d84401448288577b6526112f891a0dae2e9ec7e23439346e1648f01e809bf143714b266f240db0f9860f67d5fe0b218a8c42fc39e2c12a389dce9be4ee93d7046e0f1318119e9c6133a67676884139372289db85a94e9054212515212e7033a881f7c67137c9bbf4b8db05b648443992eefbe5d9bab40eae1d7331d113e710839e3aee0d0c9606573962254362e2644c1ba981c4e43314b4cb271895fadrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootroottexlive-2018-24.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_k_^$D]Guoshuai Sun - 8:2018-24Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Drop texlive-venturisadf texlive-wsuipa texlive-vntex, because those packages use utopia license may not be free for anyone- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initecs-obsworker-0003 1621920393 20182018201820182018201820188:svn15878.2.0-24.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:SP2/standard_x86_64/51980bddaf3c8722ee4b9b2e86156ee3-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ISO-8859 textLaTeX auxiliary file, ISO-8859 textTeX document, ISO-8859 text3bX,utf-8e938523733d890247bff4a48c0a74db38354feb571014b689b7fb6f2b1c4412c?07zXZ !#,K&1] b2u jӫ`(y,w;.FL?߀-y_)W[ 6> BQEc._aa gAaJꮤ`|[gR⨫Y ˶dA?%H;!P7Q]dRʦɃiģۆŔPWN1GzMDAāĊr\\ݘ9.c:ю%9&ŖQ8-f@'$1ZOP{RgJ淉z5"D@/VC+)øGSI*0$6IAj[՝VG!1ΈlsMvKbhMShC]Fa@L&g_wGL`"qyOvlyo nj4w]Gk<. .p _GzDq2_Jxoܮ+ݪ6A×nj:d}7chީ[qY\b8 F3%Y&ZdlO턩RgTxnhJװR5 UY@=B8ϵXB@rݑnAw=8xD?T_N@1cgi0kiRQuLގˀOWƆH71ū`nK1ZK@@ϝ|]]>.d.>[1IAc _RRɘ٤0wY1`F0-JպE̽{Zشr:;9$|rehVNֈ`~ !vX~ăTOY+p 'a Oюň5au)>U'JA%~.*̺˦~eJwɉ?V0"25t 磣"pJO>GIE 4vrnV'#ȃP3j4 OÉc^:(q[dS#p`\\PpYrn( X#6$~p̍`}DpUAhl`ՙ/a㷛 ]Z&*31n\sB:o!EЯ tٛӓZDrWSR>d=:ڗQP7^bPJ 8eQ`g3AV*pZ=UeuEo49@U{s+:PV0a"r(XjqX᷀]Zyɤct܉}$9YhbY9h2')ٯ7yrq qD9NDML\MlncR+ ʼnF; kj6=N׭nx&Jȷcm&E%q&fu!7A{̤ǒ^d|g&+f\a (P Rl% (}^Pds[ⵇZز`)2,0SfD3l<>wIcMǬxb ZY㖭\*,i@XqCྚ)^ 'gbk \?3q" N5!GY%4J\LT5I(jlÁI @iuNo3K0oEdq;sX [R9jv>mRT 6!+` b| ;%D2XT$Js7o0,<"w7k@.f>Yv˱J Bó*T|BǹAZDV,1]\uaB@-zoWSχpqÇAaZ {8kķNREO{zڗc, k,4Z$+CR1őwAqi%v?-;^|Z! ^`kYxgﵴ_qۮU T52>9Ie} d4QYF0aL#kb J4CӘ[tV&4M!9 /FjeaHi̼< YꉦUtmcmܡ/0Y2!=3-zeRmwyG'~plK2l5mC0/( t\k pUw '9wnjN;b\qxBa^ϾW/=M3b#̌xI/wMyTs 6cUKr# xf+Z~ YE;0-ӗL ,;>gЬba5MOѵ|]`$)No[2SaYh*8V+ɓ?|ԫNw 7_P$IzP_' j" >LبKc|m]$d;wqOLU%= LMOU .g&X"]q &9ؕp8!lv]IjEi-)Ddc -C}Rh؋ts! ,Ɣ#IB ~J#M:KF%+-gj"oJ/͓^V) *PIn i),=Ms̉$v?0 . ]"[4ޖPȫ@%pݍ0W uDT*dP8xdGӈ6j]"ˍÌBlS/sAcVB\M +ue,*c;tWs9G+nzLR{UMG~.h&b6<-& {e^eMZ?}0OavS4)K5,)؉/8;6Z4p8 brTY6֑[<Tfzv,:eE%jGlnU?q7d+IurS09P|bH]2vb& LsԐq&z4dŇ?xnd0:;ZwMTJLVF0>9AFp|5%tV݌%t JTRw?#ʶ퍸3mpNeryWi, :?}!TqW&&?֯4yI<UVQaY0l+/[:dsqm#+R=~j/Y(.90 ]I1DE^i7?߼j+DD$dX3{r )!N__-D^qIkYC@ɋFXmu6$ܸc^,P 5OsIyd LVɉcτSx9śLâP\!=QZU9KaNv ZρHYt9yކFC)ķ^Lh}73+>+ަ@^M_v} p55EbuRjzڢqZ)رo 3ʄpO:)AgV*"WC"g|1Sc+$^a&@P\_[Ic"Ipfu &[~S%4#!}V%qa[,HCջ$']?r.Cn8cK.mWH#\wQ,{dr _KB!eA{Y219ʁ\|d" ܖNz<{W \sWJ%%jٓ-š':i%/ݕnDbmM@ '_lpQFqO_u.U,ޥ,(@Gn.I *^?Jn3an|&=jWJu'[ R,JP3)EHSNPΡa~#\"KѲk`*ܱJlmd-@5d*<6MBJ>_]k[ \f%'ض:XRR7'wTMvvGG nJm05F_^lYzˋy.OW`n1خ6ĢAg1uOP3hF@a R1!S0 .UyK^ xnUK=viD[7oY ~0S`Z3A}%'p+1c>4tӉ*;1)T}[q,\r"M"9-BBAxNPgX@AV9(Ŝɒ};-vi]"C ܒ,jqv}S(MR{A-+:/rv>!9#F#o VPxs٧O>ذ9f(PºpOp(6T8׉nÑE1% o5BC̔O3Y7-#瞽 =Eu ,]&]l9r>@h4J̟O-6JgKr],aNw贆xz|a`S2+Xno9OBr"uพq]j+ENI~,[1dRq E#KqnwvΤvr_tMl=גJJZF k! Ǡ;p?ݶEpA$$M؜ Pi-o1Nu*Y«d=`*`tu <+"bB3G HIFȃ>@2diG?l.Jë@K?sEM+Xa(WpcuZͯ.]O=%<(%5ܙ+2<$&gD`ǎITթ;\d291>vwCJIw3,d*xx NP̶OɅ_ s|; jfA%:ᢐ!< 9@OV!/ [ehR1WLC( Nwt)JMoam4^dW=ilӊYѕxL/Q(&#\ ӋOdi< kOO'WR37ua!JSLW}l»*B*Qu`u 犋iMc6΄qM=*ys'L:U/3V(FQ'q[s 82 D5plgid'5a& m!a7uJ NGȧm֟!K_ Nr'l;#y%b hCϔc0,XGjp*>VoVϭb D>&q4,Y k\^#0k*0N | j" <$PhWQƵ4@د݁Zz ~piuqm x||CxvyլʵeSCpu\;8a gqUق hz~Ҫ XL[$ =<`¤`wc](5i /=C z"ŝww=:RxQ bZ۪{2!#̉2ܙ;TatqQӔ!3ɭ[hp" rLj&SGB7+)_&1 7ĸH),_;9i|wO|?_BxUqAqGTtvg̃I2$9*2\&2 %tMו r"=|E0 v0g~c5wB{R4EԭN 5\蚷;fZW+иe?Ztn<޶3Fid* ҮJ/Wr7ܠe;m38RikhNPDfrE J:PcN}ҸmxcM7ק4 9U}%g¢{ax]#6a2GYORK&=6iZ\{d&Nelcpy}^06s?:ܲYK٨og,;92?_̾w,ծO!M4<?n'C Gf0 Ej>ۚfܓ&e^k޷1AWN6 .8k@]-ta`"oXCi9ZEsm)H1R+ukHgķ%>ҧa3vU$ȋ ¼ʄ"r"sB(*Uۦϓ\[z\#ŏ|΅4{)^91Sl3r돽#0Υ\_}ǻ:.G+tPh_8-MU˘*X1fY +K>L(P30$&v63DN!%Z~X']گD|ίUvZh XvǺLzqj<ᴠv{m;5^PLq6w~DmEoSP^F$j}r`Q\tGSydvgG[ۼW@W$T\XH藛,g]2Jɾ&}Ea"4/jW{#5nǭ܁uƖ΄ȗxbUT Qׇ#gO!* 8+޾Oe> (}Fg4.E?>;L] صC9-]3P?۴9@seK9KpatsD{>rjKv:b34FMcd044( nfDά$x m#|Iz `z̞U[l"0x4<`ӻڢ[{ԛ;V] S7e;wTU-e"{.-8<,Vt-׹iTY =Ѿ/1l)>,tId~}7Ԋy]jb>yT.x}$0}Qќ9<`e?b8 {`ϙy5`#J0W:Nm/|g_1)h8l?؉zϪ:MM)y-p1zOS:$JMbdSECnSfFs^#ڵK7tG&x&jZ/EpWbD ^q/$78(ׯb*tF|%>kb;3*O @L}jJcQ>Ʌo)޼|+cgz+