texlive-vdmlisting-10:svn56905-66.red80> K KtĉH2!c31^ Wge\!support@red-soft.ru  Wgh{z( #mxdNW 1ݛ9~нN qKڭ|]~ljTt4=d}Yb0Ei2!/inX*σ-jv"` #/Qd5ڛmXaGk)ȋ`$ߜDM.L͌u\rA]zi8[P; ? ud( , L 5;DT \ d t    4Td   (89:tGHIXY\] ^CbdHeMfRlUtpuv 0 4Ctexlive-vdmlistingsvn5690566.red80 Typesetting VDM in ASCII syntaxThe package is an extension for the listings package that provides a source code printer for LaTeX. This package defines new language definitions and listing environments for the three language dialects of the Vienna Development Method: VDM-SL, VDM- PP and VDM-RT. If one wants to typeset VDM with a mathematical syntax instead of the ASCII syntax used here one should use the vdm pacakge insteadeiFbuilder8HredosredsoftLPPL-1.3cRED SOFTUnspecifiedhttp://tug.org/texlive/linuxnoarch#y%rA큤A큤eiQ4ei_ 89358c7072db622ba6d8ac9b4a322984853dd6d870f93c39efdb3f6a22719cd2b2d6c5404755af16a86f7f5ebb8bdaefb8b04f02901f3ec91e783dfa96d023d6rootrootrootrootrootrootrootroottexlive-2022-66.red80.src.rpmtex(vdmlisting.sty)tex-vdmlistingtexlive-vdmlisting    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)tex(color.sty)tex(listings.sty)tex(times.sty)tex-kpathseatexlive-basetexlive-kpathsea-bin3.0.4-14.6.0-14.0-15.4.18-14.18.0eicN@b|Vladislav Mitin - 10:svn64935-66Alexandr Subbotin - 9:2021-47Ivan Karavaev - 9:2020-48- build for red80- Update to 2021- rebuild for e2k2022202210:svn56905-66.red80texlive-vdmlistinglppl1.txtvdmlistingvdmlisting.sty/usr/share/licenses//usr/share/licenses/texlive-vdmlisting//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/vdmlisting/-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redsoft/redsoft-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redsoft/redsoft-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protectioncpiozstd19noarch-redsoft-linux-gnudirectoryASCII textLaTeX auxiliary file, ASCII text, with very long lines (398)utf-81e6db8cba0939b73db06dd907fd8cbbae7a98a9f8d738c8503e7d9df5cd12852f8a9647b7bad72234b004bc372ee0235b7dd680b7f1bb12d3faef83c52f55ab1?P(/hʦ@1ٶ "~݆["~6Yaْ3mJ?WRްbhC!6|!66()+so9MV"z=@AoWB8UNoڴ1;.BQBi! DLF\-ri45b?_L^Ԟ6?JgQ %ޒdMz~̓vRro)2JT%qD>*&-tR^:y1N.q߃_,Jo;,\pϜJKD ҡTsn( Zb?׹Q Ħ!i=Zi|_!t-9ʐą[}x Ew" @ V@"P$Ji{=;Rá?iQ(,. paqa!AFppp8m1->|v_(Yae2E9x@=""@ENgj9$ .yDx&1B0~Dx6 (nLK}Y"dJĦw l_: Qig`|--ND)Eq^VToF#!X)N:R` Y-,rQ%JM&4%F;WZ+*dFvOnbKv-۝i˦ޝvVRR*6zQKI\$6'Y2wZԲg6fuH !R_.$D_RZ֦NVRŤصmÜz r_=ٖNN3˅l0PR컚lG囝bӯQO*?S©w$~k_J[  ka.! zLESD0RJ}L8.mOd0 |S}C^&)٢,_?(aRwyͫG0}|N2a0ABs O0lL0Uh[` `[@"LE"M˹UX;bb%V%mC5A=<8\8Vr |u+?H|#0% 4p- uV {dJa*֚rJ 4>w&FgMǷ>"jd}j(˫ϘھKi5U/o=guB4\oQ juoșJt8qVCy VGлsi;}+[S;Fh-;!)d"H{]˦a-QVs}ZSLqs{ ,ਠ &؈"V &tA)dHx@``RLTU~u6'+;[Àl{XYyʰ}ŖcTPZJ2 $`2D`$gN S&=t#yHrI˫LFmɡGBtO>~Hb24A x9J)չS:8׼/Bvө}%_Ew){Ws//++~)ŜmBd0PΨ4& +f):٣2`n0d `LLdh$0=_jih"uxm"u+u:Gѥ5M]Ie!d toRgt ie9A^{H~43CowޤfŰYm.l{w4$6 \0wAԠqAHM$  ͈$I i cp1P(MvH01"b1DdDDDDD$ISCƮjP F/IMEGxNdDGW!,{j΅(GwAT`q̙y2^NFyD&q8\Q]5r/lMwBXD!y3o|u$:T|y 3wvF8UzUMGkZ&D@Wr^5m5Cց5'3~*OXStBuxRҵ<:v;$f`OǨ1XCWRKT%(2qV)Ӣ-( t/]D7c.Vp{IS*W\.2>Vt˥.PƖ>K:j ˾^iIY UPWcusOj|^:JB"ՃRn"I ʸ8(ŅQ(EDiJh?]\GJ\|Ix:,?[^ejph+VZ@Bڗ1A4\c,?}$nEC%F@qϬ51_ FS\ĕXIkO$$BNrj,#{'}93I0M/5̔fP.ߗe.V2w^<ѴN :Mj5M{H>Bh*'e‘ @K NS!= ҞBGqFG@ H`f?d4W/2bz[z }jfg}Ѝn<] Ν52EM'D:!lЊ1 2ꮂ,v1P;y9|+uV-S,/ʿ(Dڊz$/чHgAAw"2$ ľ2.]6tW'ؾ7K|<ૣA5MV-WtuW\h! pIti@0]e4%hCq@+F\o9ەL)IievDǛ)_iknR t`ܦȂ0O[j2J%OJx`C{ReD0 7;4;0m/;[Uя,QptigKv )B+}$}06w]^Ʀꓴ!`i$C\?3 e;V&L#^h'!t`XF)_pe #exdZxy@˞Rא)XF v[G{tXgʯֳHl<4^Ifx^=$eCkHU"S>ctar1fV+Mc^5:`A5 8~‡/%6!dn&G.<9ڟ,b6fz?"D6 ęViAţ4]Ⱦ9aI0F@]* U4C<aB Q/'3:lc|08߽&5,ո1Q%=j.4f.EK$/Wwb79"]Ae7տm Ϙ bvLF\bUseS 5gX%"qJkEp%E?K~Q1d pY>0<b^&l_B]S {f=9ZH̐Q 0򯀃/DH`N2o=c1Ǵ?cv<.0sX/!隐-DTQg%F}gEIλ)u=c7IgR_-Z4 P%M+!HjT <S1:)[SO:Rp*k"`y'$ <{dH[}*#Hd~/)%;Slc_Xҝ\0_J~h:YisT,5~o{bMWZ*­aRm?lʹazβU'?Oڢ){!  Xpԁ"jъNBBqNIvh Ul~݁?<,] ֞-xbadUh^Q])o{:iSօ3$S@( 1~5B4<1BH2pm1\ƾI̗b{ *v3=[\X&K>o"*/o3 `LplA$Je`9~2q[VN܇Ҥ#-OȫiD=!nalkDŽ@RP`LT7d׋3U#pS=VKUӢ^1dU!2K9)aD#n倩eqdI{ˁwnJ|c"B=Qu?C:ko4@LzFPZHT* #_V_#GL S0I%3x"u[pCI)Bɭߐ]HAw;guI}@ 9y&3-j><-WNSPj #؊HݲU^e}ȔЌÛb!~DϾbhKID8.7h2y_]Bh$:;2JI}.rLQ[