From 02ca8ee07c590a86a98ebefb791a6bc1ed30a5e5 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Wed, 10 Jun 2020 15:34:32 +0200
Subject: Generated opam packages allow coq-dev again

As a result of [a discussion on Zulip](https://coq.zulipchat.com/#narrow/stream/237665-math-comp-devs/topic/MathComp.201.2E11.2E0.20OPAM.20packages.20Coq.20compatibility)
Reverts "removing opam `| (= "dev")` for released packages"
(commit 313e44316177c918b363c118f15297e08d13eb4e).
---
 etc/utils/packager | 1 -
 1 file changed, 1 deletion(-)

diff --git a/etc/utils/packager b/etc/utils/packager
index ef6c7e5..220a31a 100755
--- a/etc/utils/packager
+++ b/etc/utils/packager
@@ -80,7 +80,6 @@ do pkgdir="$PKGPREFIX/coq-mathcomp-$pkg/coq-mathcomp-$pkg.$VERSION"
    echo $URLLINE >> $pkgdir/opam
    if [ $VERSION != "dev" ]
    then echo $CHECKSUMLINE >> $pkgdir/opam
-        sed -r "s/\|[[:space:]]*\(=[[:space:]]*\"dev\"[[:space:]]*\)//" -i $pkgdir/opam
    fi
    echo "}" >> $pkgdir/opam
 done
-- 
cgit v1.2.3