diff options
Diffstat (limited to 'development/valgrind/valgrind.info')
| -rw-r--r-- | development/valgrind/valgrind.info | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/development/valgrind/valgrind.info b/development/valgrind/valgrind.info index 5067e6f68d..53c01637b0 100644 --- a/development/valgrind/valgrind.info +++ b/development/valgrind/valgrind.info @@ -1,8 +1,8 @@ PRGNAM="valgrind" -VERSION="3.25.0" +VERSION="3.25.1" HOMEPAGE="http://www.valgrind.org/" -DOWNLOAD="http://sourceware.org/pub/valgrind/valgrind-3.25.0.tar.bz2" -MD5SUM="c3da1f96462bc885ceaa528b171dc300" +DOWNLOAD="http://sourceware.org/pub/valgrind/valgrind-3.25.1.tar.bz2" +MD5SUM="2b424c9a43aa9bf2840d4989b01ea6e7" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="" |