From 0c6687c12b628881d5660d57707f0e7ca9e521b7 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Wed, 8 May 2013 17:45:24 +0200
Subject: New debian/watch file by Bart Martens

---
 debian/watch | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/debian/watch b/debian/watch
index 07bcf5fe..5d9c70de 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,4 +1,4 @@
 version=3
-
-opts=dversionmangle=s/dfsg$// \
-        http://coq.inria.fr/download .*/coq-(.*)\.tar\.gz
+opts=dversionmangle=s/\+?(debian|dfsg|ds|deb)\d*$// \
+http://coq.inria.fr/download .*/coq-(\d.*)\.(?:tgz|tbz2|txz|tar\.(?:gz|bz2|xz))
+# Bart Martens <bartm@debian.org>  Sun, 30 Dec 2012 20:22:30 +0000
-- 
cgit v1.2.3