Re: [hop] 404 hop download

[Sven Hartrumpf]

Hi Devon.

Sun, 10 Aug 2014 12:12:01 -0400, devon wrote:
> 404 at http://hop.inria.fr > Download > hop-2.5.1-pre1.tar.gz

Thus will be fixed soon, I hope.

In the meantime, you can use

ftp://ftp-sop.inria.fr/indes/fp/Hop/

Ciao
Sven