From 824582611905ebb53d770ab3acbe72816011b285 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Sat, 12 Dec 2015 19:05:57 -0500
Subject: modif packager ":" -> "-"

---
 etc/utils/packager | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/etc/utils/packager b/etc/utils/packager
index 4ede812..5a805d0 100755
--- a/etc/utils/packager
+++ b/etc/utils/packager
@@ -3,9 +3,9 @@
 set -e
 set -x
 
-for pkg in algebra basic field character fingroup odd_order real_closed solvable ssreflect
+for pkg in algebra field character fingroup odd_order real_closed solvable ssreflect
 do
-pkgdir="$(git root)/opam/extra-dev/packages/coq:mathcomp:$pkg/coq:mathcomp:$pkg.dev"
+pkgdir="$(git root)/opam/extra-dev/packages/coq-mathcomp-$pkg/coq-mathcomp-$pkg.dev"
 mkdir -p $pkgdir
 cp $(git root)/mathcomp/$pkg/opam $pkgdir/opam
 cp $(git root)/mathcomp/$pkg/descr $pkgdir/descr
-- 
cgit v1.2.3