opam meta-data +url

math-comp · Jul 22, 2015 · adc15de · adc15de
1 parent 8047173
commit adc15de
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/etc/utils/packager b/etc/utils/packager
@@ -10,5 +10,6 @@ mkdir -p $pkgdir
 cp $(git root)/mathcomp/$pkg/opam $pkgdir/opam
 cp $(git root)/mathcomp/$pkg/descr $pkgdir/descr
 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