Wiki link broken

[chrisvelevitch]

On the useful links wiki page, the link to A complete fedora virtual box image with compiled development environment is broken.

[izgzhen]

Hi, I am sorry to find that the link is broken. My memory told me that I uploaded this to google drive in fall 2015, but I can't find it now and there is no history showing me exactly when I uploaded and how it disappeared. The wiki is updated with a deprecation note.

Also, currently I am too busy with my other projects, so I am not sure if I can uploaded another pre-built one. But you can try https://github.com/GaloisInc/HaLVM/blob/master/HACKING.md yourself any time and I can help you with problems you meet. Thanks again!