diff options
| author | Cyril Cohen | 2017-06-16 13:54:17 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2017-09-07 16:09:34 +0200 |
| commit | 6ed797cc4dd4f9ecf6d1f8ae0978ea0fa91ebe1e (patch) | |
| tree | 26fcd39d4d86f02ed492932d0a0b58de835a5c55 /etc | |
| parent | dffadb2f3035673c22495dd23e96e0fc739b10ad (diff) | |
adding odd_order to the list of released content for 1.6
Diffstat (limited to 'etc')
| -rwxr-xr-x | etc/utils/packager | 2 |
1 files changed, 1 insertions, 1 deletions
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 |