From 7c19fec6d34df088ba49e542bd829455d7af9b5f Mon Sep 17 00:00:00 2001
From: Olivier Stasse <ostasse@laas.fr>
Date: Tue, 22 Oct 2019 08:23:37 +0200
Subject: [PATCH] [wip/dynamic-graph-v3] Release 3.7.2 New Feature6d which is
simpler than previous Feature.
---
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 2c902137..8fbd1d3d 100644
--- a/dynamic-graph-v3/Makefile
+++ b/dynamic-graph-v3/Makefile
@@ -4,7 +4,7 @@
ORG= stack-of-tasks
NAME= dynamic-graph
-VERSION= 3.7.1
+VERSION= 3.7.2
DISTNAME= ${NAME}-v3-${VERSION}
PKGNAME= ${NAME}-v3-${VERSION}
diff --git a/dynamic-graph-v3/distinfo b/dynamic-graph-v3/distinfo
index 8f3eb7e2..27fbd5a5 100644
--- a/dynamic-graph-v3/distinfo
+++ b/dynamic-graph-v3/distinfo
@@ -1,3 +1,3 @@
-SHA1 (dynamic-graph-v3-3.7.1.tar.gz) = 0ec116f7caed4596664337a099f997c65c79a2a7
-RMD160 (dynamic-graph-v3-3.7.1.tar.gz) = ded4b990e0ef05f8c4566a449504a0749535fb10
-Size (dynamic-graph-v3-3.7.1.tar.gz) = 1292783 bytes
+SHA1 (dynamic-graph-v3-3.7.2.tar.gz) = b6507c491317f1a2441efb6d78cd8a630a81b1e9
+RMD160 (dynamic-graph-v3-3.7.2.tar.gz) = 06c5c5a62bf0a5eb60ce1a9981ede73b775c0df1
+Size (dynamic-graph-v3-3.7.2.tar.gz) = 1295104 bytes
--
GitLab