The following commit has been merged in the master branch:
commit 06746919eadeeb430bfb464d83847f982ea78540
Author: Stephane Glondu <[email protected]>
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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
