[hop] 404 hop download

[Devon Sean McCullough]

404 at http://hop.inria.fr > Download > hop-2.5.1-pre1.tar.gz

                Peace
                        —Devon

P.S. Instead, I got hop-3.0.0-pre9.tar.gz