Interesting stats. On Fri, Jul 5, 2013 at 8:13 AM, Volker Braun <vbraun.n...@gmail.com> wrote: > I'd be happy if there were more frequent reviews of updated packages, for > example I packaged Gap-4.6.3 (http://trac.sagemath.org/14039) and it just > lingered on trac until 4.6.4 came out. IMHO we should just get rid of some > of the red tap for pure version bumps; If the package maintainer makes an > update to the latest upstream then there is no point in somebody reviewing > that, it should just be updated automatically. E.g. in Fedora package rpm > updates are pushed either immediately by review (Bodhi karma) or after a > certain time (2 weeks) without negative feedback.
+1. Hopefully with git it'll be as simple as changing the version number via a git pull and uploading/pointing to a new upstream tarball, and the patchbot will be able to test it so a trivial bump will be a trivial review. > The 4ti2 spkg is currently broken with newer gccs > http://trac.sagemath.org/13498 so the dozen downloads or so might just be > one person trying to compile it on multiple machines. AFAIK it doesn't do > anything that Sage can't do without 4ti2, so its mostly there to satisfy > requirements of other packages. > > > > > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/groups/opt_out. > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.