From 06746919eadeeb430bfb464d83847f982ea78540 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Thu, 19 Feb 2009 13:12:29 +0100
Subject: Upstream version can contain dashes

---
 debian/purify_tarball | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'debian')

diff --git a/debian/purify_tarball b/debian/purify_tarball
index 52d54ac7..a453db06 100755
--- a/debian/purify_tarball
+++ b/debian/purify_tarball
@@ -6,7 +6,7 @@ CURDIR=`pwd`
 ORIG=$1
 WORKDIR=`dirname $ORIG`
 ORIGFILE=`basename $ORIG`
-VERSION=`echo "$ORIGFILE" | sed "s/^coq-\([0-9\.a-z]\+\)\.tar\.gz$/\1/"`
+VERSION=`echo "$ORIGFILE" | sed "s/^coq-\([0-9\.a-z-]\+\)\.tar\.gz$/\1/"`
 
 cd $WORKDIR
 
-- 
cgit v1.2.3