[flint] 02/02: Added a watch file

[Julien Puydt]

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

jpuydt-guest pushed a commit to branch master
in repository flint.

commit e60fe5430aead0d0e447a401a12f262148e314d3
Author: Julien Puydt <julien.puydt at laposte.net>
Date:   Fri May 23 14:39:50 2014 +0200

    Added a watch file
---
 debian/watch | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/debian/watch b/debian/watch
new file mode 100644
index 0000000..0f08e8e
--- /dev/null
+++ b/debian/watch
@@ -0,0 +1,2 @@
+version=3
+http://flintlib.org/downloads.html flint-(\d[-\d.]*)\.tar\.gz

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