Hi Guillem,
>This package uses this option, so I was wondering whether it can be
>removed now?
I would very much like to keep this option. It allows users of
older (in some cases very old) distributions to install the
binary packages of newer versions without bpo, which stops being
available pretty soon, and avoids certain shenaningans on the
*buntu side as well.
The “very old” here is indeed somewhat relevant as a certain
“multimedia” distribution used a lot by musicians bases on
trusty out of all things, and who knows what else.
The ability to just install the .deb files makes live easier
in these cases. If you remove the option I’ll most likely switch
the package compression to gzip (which tbh shouldn’t enlarge the
files, except the HQ one as it isn’t already Vorbis-compressed,
by too much) so if you still want this, I won’t stand in the way.
bye,
//mirabilos
--
Yay for having to rewrite other people's Bash scripts because bash
suddenly stopped supporting the bash extensions they make use of
-- Tonnerre Lombard in #nosec
