<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Dear huangyy,<br>
<br>
Thank you for the report.<br>
We have updated the link to the LDV image:<br>
<a class="moz-txt-link-freetext" href="http://sed.ispras.ru/fmprac/data/ldv-docker-0.8.tar.gz">http://sed.ispras.ru/fmprac/data/ldv-docker-0.8.tar.gz</a><br>
<br>
But as you may know, we switched from LDV Tools to the next
generation toolset that is called KLEVER:<br>
<a class="moz-txt-link-freetext" href="https://forge.ispras.ru/projects/klever">https://forge.ispras.ru/projects/klever</a><br>
<br>
A draft of documentation for KLEVER is available here:<br>
<a class="moz-txt-link-freetext" href="https://klever.readthedocs.io/en/latest/">https://klever.readthedocs.io/en/latest/</a><br>
<br>
Best regards,<br>
Alexey Khoroshilov<br>
Linux Verification Center, ISPRAS<br>
<br>
<br>
On 27.03.2019 4:31, 黄有焱 wrote:<br>
</div>
<blockquote type="cite"
cite="mid:214A0F22864D2E4C89E5BF316D6083736AB6560F@LDEXMB02.landi.landicorp.com">
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<style>body { line-height: 1.5; }body { font-size: 10.5pt; font-family: 微软雅黑; color: rgb(0, 0, 0); line-height: 1.5; }</style>
<div><span></span>hi <span style="background-color: transparent;"></span></div>
<div>I want to download LDV Tools 0.8 docker,but failed. access
the web url,the result is fellow</div>
<div>
<div><img src="cid:part1.9CAA71E4.B4E98317@ispras.ru" class=""></div>
</div>
<div>could you help me solve the it?or tell me,how can I download
the archiver?Thanks!!! looking forward to your reply.</div>
<div><span style="font-size: 10.5pt; line-height: 1.5;
background-color: transparent;"><br>
</span></div>
<div><br>
</div>
<hr style="width: 210px; height: 1px;" size="1" color="#b5c4df"
align="left">
<div><span>
<div style="MARGIN: 10px; FONT-FAMILY: verdana; FONT-SIZE:
10pt">
<div>黄有焱</div>
</div>
</span></div>
</blockquote>
<br>
</body>
</html>