[ldv-project] can not download ldv-docker-0.8.tar.gz

Alexey Khoroshilov khoroshilov at ispras.ru
Wed Mar 27 16:20:21 MSK 2019


Dear huangyy,

Thank you for the report.
We have updated the link to the LDV image:
http://sed.ispras.ru/fmprac/data/ldv-docker-0.8.tar.gz

But as you may know, we switched from LDV Tools to the next generation
toolset that is called KLEVER:
https://forge.ispras.ru/projects/klever

A draft of documentation for KLEVER is available here:
https://klever.readthedocs.io/en/latest/

Best regards,
Alexey Khoroshilov
Linux Verification Center, ISPRAS


On 27.03.2019 4:31, 黄有焱 wrote:
> hi
> I want to download LDV Tools 0.8 docker,but failed. access the web
> url,the result is fellow
> could you help me solve the it?or tell me,how can I download
> the archiver?Thanks!!! looking forward to your reply.
>
>
> ------------------------------------------------------------------------
> 黄有焱

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://linuxtesting.org/pipermail/ldv-project/attachments/20190327/4ed83b06/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: InsertPic_554A.png
Type: image/png
Size: 58859 bytes
Desc: not available
URL: <http://linuxtesting.org/pipermail/ldv-project/attachments/20190327/4ed83b06/attachment.png>


More information about the ldv-project mailing list