Jun 29, 2015, 7:04:33 AM6/29/15
to Sage devel, Volker Braun, Matthias Koeppe, Dima Pasechnik
The ticket at #10829 adds a new-style package, but claims that we are
not allowed to redistribute upstream's files (*).
Are the install sripts able to handle that (nothing in upstream/)?
(*) Weird license, plus they want to have the names of whoever downloads it