From 37a4b1257f6e8122765de26d2eae5cc9364e655c Mon Sep 17 00:00:00 2001 From: Matteo Bernardini Date: Sat, 27 Apr 2019 08:03:43 +0200 Subject: 20190427.1 global branch merge. Signed-off-by: Matteo Bernardini --- development/openocd/openocd.info | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'development/openocd/openocd.info') diff --git a/development/openocd/openocd.info b/development/openocd/openocd.info index 95d6cade91..a1d7add762 100644 --- a/development/openocd/openocd.info +++ b/development/openocd/openocd.info @@ -1,8 +1,8 @@ PRGNAM="openocd" -VERSION="0.8.0" +VERSION="0.10.0" HOMEPAGE="http://openocd.sourceforge.net/" -DOWNLOAD="http://sourceforge.net/projects/openocd/files/openocd/0.8.0/openocd-0.8.0.tar.gz" -MD5SUM="271086c0efe0c454db7ddb0f55ace218" +DOWNLOAD="http://downloads.sourceforge.net/openocd/openocd-0.10.0.tar.gz" +MD5SUM="8971d16aee5c2642b33ee55fc6c86239" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="" -- cgit v1.2.3