[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.rc2+dfsg-3-5-g217a759

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 06746919eadeeb430bfb464d83847f982ea78540
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Feb 19 13:12:29 2009 +0100

    Upstream version can contain dashes

diff --git a/debian/purify_tarball b/debian/purify_tarball
index 52d54ac..a453db0 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
 

-- 
coq packaging