From 6ed797cc4dd4f9ecf6d1f8ae0978ea0fa91ebe1e Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Fri, 16 Jun 2017 13:54:17 +0200
Subject: adding odd_order to the list of released content for 1.6

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

diff --git a/etc/utils/packager b/etc/utils/packager
index 1821ab6..f0c1d5b 100755
--- a/etc/utils/packager
+++ b/etc/utils/packager
@@ -13,7 +13,7 @@ sed -r "/^(build|install)/s?make?make \"-C\" \"mathcomp/$pkg\"?" -i $pkgdir/opam
 echo "git: \"https://github.com/math-comp/math-comp.git\"" > $pkgdir/url
 done
 
-for pkg in ssreflect fingroup algebra field solvable character
+for pkg in ssreflect fingroup algebra field solvable character odd_order
 do
 pkgdir="$(git root)/opam/released/packages/coq-mathcomp-$pkg/coq-mathcomp-$pkg.1.6"
 mkdir -p $pkgdir
-- 
cgit v1.2.3