From 709756f9bbb92b5e5844e0133627271c974a11c2 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Wed, 15 Apr 2020 18:49:51 +0200
Subject: fix packager

---
 etc/utils/packager | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/etc/utils/packager b/etc/utils/packager
index 9a83647..da7bddd 100755
--- a/etc/utils/packager
+++ b/etc/utils/packager
@@ -49,8 +49,9 @@ then
   PKGPREFIX="$GITROOT/opam/extra-dev/packages"
 else
   ARCHIVE=$(mktemp)
+  PREFIX=$(echo math-comp-$TAG | sed "s/\+/-/")
   git archive --format=tgz --output=$ARCHIVE \
-      --prefix=math-comp-$TAG/ $TAG # reproduce github archive
+      --prefix=$PREFIX/ $TAG # reproduce github archive
   SUM=$(sha256sum $ARCHIVE | cut -d " " -f 1)
   EXTRACTED=$(mktemp -d)
   tar -C $EXTRACTED -zxvf $ARCHIVE
-- 
cgit v1.2.3