texlive-semantic-8:svn15878.2.0-24.oe1 >  A `1W^^fFEɇ[ѓt^h#TbL`Za+^e{9yeq qyǀ^)&d#N6vs\B0UKm|/*JoJ်{n,jHw;J)1PLJK# /xG({u뢽=m>a)uWEЧ&)ٶ1g4r'~K"U5WYq`A_寐C}muӱEmH16003556b90ec74cf9e697f03bc7aee92194158f16d56233a8fd07719f95e95c05f346e07eafb213d7e7cd2f0c7aa3310a12821a6̉`1W^^f9LLd_H{I4=(}Z JX5ۃ]]ymB²x t||Z)! uZͬ d'v iV\ZM987+B _g14,uvm-p ڞl۠ ?A Ȟ Uc5P@#W~-Q^uo艡jTLa;>ꄘlkch7Ϋ% xw`QP&]b, U_!ކKL>p= `? Pd ( , \#8= R^v|              B` 0(89 :FG H I0 X<Y\\ ] ^ .b c d e f l t 4 u X v |z     LCtexlive-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.`obs-worker-0010openEuler:20.03:LTS:SP2 / standard_aarch64http://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 initobs-worker-0010 1621924531 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 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:20.03:LTS:SP2/standard_aarch64/51980bddaf3c8722ee4b9b2e86156ee3-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ISO-8859 textLaTeX auxiliary file, ISO-8859 textTeX document, ISO-8859 textO"DM3$Ji utf-835c91d6baad508201da47df8da2068d60764ee5f134ea8d1dc7d1e4d560382f7?07zXZ !#,K&2] b2u jӫ`(y,wzE%7Is,%&@f@ W<>Jx)2?.<{ $Vg_ -(@rERp,IJ4ώ +,Dp dC6g]«e5fIhj`S ;ک_E4GƗ$X|c'4:'*1 MFTtz^rCh6/.2㓮DVF!DLoyG`*CEъ8;. qmcRH6j|1BZM.SL@Uw`{=*ZF cI$ e}9(j'0P F%>FMy̱ÈizekE9wN,y+)ʙpN-cT^\ʹ6>}-o@"2|K,šQ${ Dk9b`]袣MrO!ʧD n"`"ڀX". wh.o>aTf^s0tn-U649ֳ^n"yi0yot'>F;r{rf8x%fM) *?- :@/*c[2F [Y\Y2GQw_ctR.i?t_܊% tE7ubp:()h 0;NpQS@vHJɓmhŬ:L$A-!:pCMMz >yDx n5V~"44VQLUCgucuX컒LGi[KAd /rぢyN@CN@$t˷#dAr6ƔN cZ[Ѣ4?+wzS5ب HMfOQ ;;y!ʆZ^kA5b} <8ZbWȹQnRzKRS~kϏz ~zq>\}LY`C1P=o{G*Q_!eD~v%Xjs!b{<5SJJ0+>qAӓ$rnaTyV~fP\4A`1Տߵ/E9SsENz}7Sff(6%AHOKv$=Rd #[omƵvTtV<,BX4fs8GKN M'@,[ %ظvRG\4c-.)xm#I.Rװs}+j@Q@ni* ,CT@gi7;\ D[/N`FhxK,foM΀۶uq_"bd|Q"#ǂJ*hsHoEC} Lgy$FB` *m89ـ^QEW%6,ﭳ&,2 IWŊ8XMi65z3 UN? u ))J&}!O@VUPԺaR SZ )y^zvPFx & HbdiX4wmnaT,d ڄ^^w@pGmIvU8g`oD3>5-:\m$e p'zXI*,qRuIY?ȧ߅^XҶr*=ؖ!n݋ئs{lyb wOEɹ;紩wwshVQP9HLKAh.o{i΀Sj.HcCP'*+7i4@IoGW_Ym+&V3V zCvOJZ2€A_[ӳEft"W^>ACo8x E_:aab; ;6fcsD>i+/j4N#Q^K#;0#u?QÅ\re-x\Ō%A%&?.EL."@;ube&K_^۵2{0@N?^ fz Q NX HB ]X:*R\.v͡ &%JtҙtA]#G!?#5ȥZb}b;ټ{//xFp52R8Z6>GâyF9^e 5D1P܀0ir]/\oT/Z[Xzqґaڍ4n܆W i79♨cZ[R#9]ֈs !*P㷙 cwpy)wlb}] sly !nY77ľ+X쨌a֧O/rt2CVj̟7D^Fk#x$MXJ7ѕf+!K暎9H}$h+o@j%^˖̿VBN|*݄Šo-Gdz,f&f05 آp#&t0_W܃ٶ+cYհAeu4!t燐y*&дHy0gPg1bMa~*DpzF0|T_Ж^ O3R/KI!A[]+ w㬐wоh1r]P@:@KG֚OzEWu@Y[,ܛTlWwά:pTnv#G#.bYSK [K: 8"~24 $d$/y5kf*RjqJzYE*XAEq>"S-%1qzhSn3ۗ&K#XN^6 >{='{^bl4`H:3Yb1?T$*@?^3qpǵa>ߙL})X {[BUF`K{ap{%/9I \? ?\?`zT5~4>?7Ahrr̺@G$ Oa!0BXt#4 9UХzK"p J՟M<*rB&{:"YOcۂmQ 6摒L-܄o&9+{BCRzVFa JԿ8legBo6H>QU*a h?#1%ܼ7RHtDvSVJZ$xŲVzEbhJ̌Uk6x5#S{*МOPo B"E0PyH$8RR2QH1mͻO5%Ǒ_?}g@ȣkK!lt$2oS z:.{Y[Uy$gsMs> (wxĬf7/9A̓[>YD޳ӃEª^e>B /([^,U;Uy= ǡ.CP`y5RpUk8ew ųtFT>5cAi 6+rg?uJLZUx<ht;^>F>^g.˅5238Aݝ N$X/tf]/Ndv nH6GUU4vug; pF(!ZÔrK!'V-@J@3Vg6TF(:,\~YT |=Pu̓'˝6k D!'Q&oߊ)ƾgzz5W[I1Luu=dУy1xS?g_g$?&Le]=SL:jEuBˌ{Qp$;s+%3EYN1aıo;FE$d$@-g%'Ʌ:2^> bV!c/ (]gD0T8 X;GJ%{o* E .Y~(j')P;E"׾ft[oHйH(?JR 'aO ﷕I@oʂ2Bo5I=FACY+PqS|M5`~@"za0Kip$4`D:[Rg~~gKǙM!0 ~kPu/e:ADwj4zDn/& ?M@OoQgWu=ۭ}]e95nC}O4HNt׽|wBC՗8SQ^(Zkm:|K:P׆8!m.zŽKq{\fwҼr=hiQJﭭ SL`1;Xk-sG4*}zt7(v{]ˋ@mC92‚ `N'+u6ow")}t۹QIM jDFDr;w DbhKT μJ*69{YK{>L"ݑgۃ6̣ؒ/M{QZBK `çgb} *VC?c?ю $z`}>.Bm|*L#8 [EK-WMs4n!K/o!  v(eM`~pV+Az?S4[{XR:Hp; c |[,kWr4&pدaLc"#Xi 1\l47V/-JE?Z:iߨ-9͇ogpjtD$4JڇP *S]/ <ӫ)qD/$ǵb$rE/ (`8+}|\KD6G̃eՐ\ 8ML =頦 ʼWq̙E)Gƃf}q-A_XM_{t$tEݦ-6h2a ]aNÏBaaw:cIv ?9:a[}^7DO ]ۯ8؟;3KT۞ꛍ9tY+"8֥fZz!/V8tC  (|rl9(&gK1#76Z )+ >t[kgA- ˉiSLPb'LAl+D%[2;2EHZ/֋oIT)j7R.vo7|` C/(Z莰V*٩Zגt/7V4 I/n2cf_KQ=e6X{/C!kJ[:c9+Z$t1>ϗ׊5@ͻYyk;N\N䛟f6u608y:XqOF^-=-4E75J ۇ0;ac=ʝ sBIyj;ec9`ttl츈Rr(CI2|EZ_ҿvwU& ScLLaenswz-[pW$G=s$FBb6gH_c #4ڣ:RoՆ4l^\XXA\sj~m S%ǟjʏDTJ}RZHhu`)݉pӎ_ " ]% O*}xLy!p8qb EtX6o=HwxM%v(;,q 0h)'0ȏmpÕ.X0==Ӿ]?p[:4_)}_]Ds"fBz=  T ܟkN[>F<o F1r0Uq mR31TO,"3.mNM$| ף8&/ 폄RU-? U/}ESŸ2cwb[N%Sn7K:O9,_HRkvv%αA%=6gRˮfAnO? =,y~8`'^t)tD_ |ۿ@#'`CLv񊿀=# )ì)`Fd}2tmdG`=x̶iӷ$3rV z 5 D:D⩑ &0L`yDVN-lR B)m i˟aZeY;ts"za|IF5 h,6آy $Z#er1R= db8sTB{?fnjV{:@%TPpQ@šH+%G^1)]D"atx'>f#Iȏ;j_u%bYil?5rrPݲ<яhHpuJ"PyJ2z , /=Uqн##;8ZP:RCcvp `FoH|ǮLo(H+SJS:X) RK(tA9$'dX+ogY^ ݖ(%^((mH|Bb3yp#|o gv6챀dKkEBK)`} 4<+in(u9Rc`>h€K,2O{1U`;W!-$&岜&L]/MOaT:BےT&}J, vۃHw<6PE5J4f]yN`Cm]L\WY&oݑ'CUcSΏU=< Lpc x'Ϲu+/@m7 ig[GY[C+U桐WWt5l=͑ިP*YwqpHgAom SNxt?;+窷e 5RpԤugsYOOCv d'ꝝm#Җ J ' 5zX\ɲcf!qڜ!`396+VZ$1OXMkʼN4rGeA\C_8}g뛈Bunhፊ_2,sڵjRBYRN_|߳\'vؔ3aPc#H83/ٸd=x8\l f0 l4/nds9Qv|I8kN~.)Ďv$"S&R[_~vh=;M^aZ-}6UD&X"H@%])~M>֧I_sme[TK~oKh:7 ?|H$Ù&&t7Jkl' Sl8qK1ɨ,I=%g< TEL̺/X YZ