From 9c6746207c27ebeedc3d2a26ccfdcfa4bfe8010b Mon Sep 17 00:00:00 2001 From: Guilhem Saurel <guilhem.saurel@laas.fr> Date: Thu, 12 Nov 2020 10:15:45 +0100 Subject: [PATCH] [wip/dynamic-graph-v3] Update to v4.3.1 Changes in v4.3.1: - DYNAMIC_GRAPH_PLUGINDIR is now relative - Tracer: Adding lock to make it threadsafe --- dynamic-graph-v3/Makefile | 2 +- dynamic-graph-v3/distinfo | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/dynamic-graph-v3/Makefile b/dynamic-graph-v3/Makefile index d2eb3565..68973b32 100644 --- a/dynamic-graph-v3/Makefile +++ b/dynamic-graph-v3/Makefile @@ -4,7 +4,7 @@ ORG= stack-of-tasks NAME= dynamic-graph -VERSION= 4.3.0 +VERSION= 4.3.1 DISTNAME= ${NAME}-v3-${VERSION} PKGNAME= ${NAME}-v3-${VERSION} diff --git a/dynamic-graph-v3/distinfo b/dynamic-graph-v3/distinfo index c2ff7b3f..40a22fab 100644 --- a/dynamic-graph-v3/distinfo +++ b/dynamic-graph-v3/distinfo @@ -1,3 +1,3 @@ -SHA1 (dynamic-graph-v3-4.3.0.tar.gz) = 9144e9ac3c587e3caae527536cb9795d10f095b6 -RMD160 (dynamic-graph-v3-4.3.0.tar.gz) = 5f71640664141cdf26c5ceebe03b3f1051df4260 -Size (dynamic-graph-v3-4.3.0.tar.gz) = 1344586 bytes +SHA1 (dynamic-graph-v3-4.3.1.tar.gz) = ad9eaa5957b965c499cfd14855e9a6b800df05ea +RMD160 (dynamic-graph-v3-4.3.1.tar.gz) = 610e275bed7d2ced54c547ca5b8c4517ddc6a35a +Size (dynamic-graph-v3-4.3.1.tar.gz) = 1346107 bytes -- GitLab