[Valgrind-users] Valgrind 3.13.0 tarball hosted at sourceware.org - legit or not?

[Zhiming W. <zm...@gm...>]

Hi,

According to the download page
<http://www.valgrind.org/downloads/current.html>, the tarball of the 3.13.0 is
hosted at sourceware.org
(<ftp://sourceware.org/pub/valgrind/valgrind-3.13.0.tar.bz2>). Is this legit?
Just want to make sure, because releases up until 3.12.0 were all hosted
directly on valgrind.org.

Thanks,
Zhiming