[cvc4] 08/10: Add watch file

[Fabian Wolff]

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

fw-guest pushed a commit to branch master
in repository cvc4.

commit dbc1cdb636b14c02087291f3a442af4ec2226413
Author: Fabian Wolff <fabi.wolff at arcor.de>
Date:   Tue Jul 11 21:15:31 2017 +0200

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

diff --git a/debian/watch b/debian/watch
new file mode 100644
index 0000000..204f00d
--- /dev/null
+++ b/debian/watch
@@ -0,0 +1,2 @@
+version=4
+https://cvc4.cs.stanford.edu/downloads/builds/src/ cvc4-(\d+[\.\d+]+)\.tar\.gz

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