[kido] 03/04: Added debian watch file
Jose Luis Rivero
jrivero-guest at moszumanska.debian.org
Tue Jul 12 23:18:04 UTC 2016
This is an automated email from the git hooks/post-receive script.
jrivero-guest pushed a commit to branch master
in repository kido.
commit 4f0b28101f6902010f831b72f0ba8907a91bccd4
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date: Tue Jul 12 23:14:42 2016 +0000
Added debian watch file
---
debian/watch | 3 +++
1 file changed, 3 insertions(+)
diff --git a/debian/watch b/debian/watch
new file mode 100644
index 0000000..14e2853
--- /dev/null
+++ b/debian/watch
@@ -0,0 +1,3 @@
+version=3
+opts=filenamemangle=s/.+\/v?(\d\S*)\.tar\.gz/<project>-$1\.tar\.gz/ \
+ https://github.com/dartsim/dart/tags .*/kido-(\d\S*)\.tar\.gz
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/kido.git
More information about the debian-science-commits
mailing list