[urdfdom] 02/04: Update package name

Jose Luis Rivero jrivero-guest at moszumanska.debian.org
Mon Aug 22 14:36:53 UTC 2016


This is an automated email from the git hooks/post-receive script.

jrivero-guest pushed a commit to branch master
in repository urdfdom.

commit a3d2425a10fb3180ba6a1bed9be2243db2aa5b96
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Mon Aug 22 14:32:36 2016 +0000

    Update package name
---
 debian/rules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index 052ecdb..541d74e 100755
--- a/debian/rules
+++ b/debian/rules
@@ -13,4 +13,4 @@ override_dh_auto_clean:
 	dh_auto_clean --
 
 override_dh_strip:
-	dh_strip -a --dbg-package=liburdfdom0.4-dbg
+	dh_strip -a --dbg-package=liburdfdom-dbg

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/urdfdom.git



More information about the debian-science-commits mailing list