Re: Architecture: all binNMUs (was: deduplicating jquery/)
On Wed, 02 Dec 2020, Raphael Hertzog wrote:
> > potentially different content, breaking the important design principle
> > that things that are different should have different names.
[...]
> And as an aside, the archive has big holes when enforcing this "design
> principle":
> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=876643
> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=620356
> It would be nice to have this fixed.
I knem I missed one, there's this one too which caught me:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=949962
Cheers,
--
⢀⣴⠾⠻⢶⣦⠀ Raphaël Hertzog <hertzog@debian.org>
⣾⠁⢠⠒⠀⣿⡁
⢿⡄⠘⠷⠚⠋ The Debian Handbook: https://debian-handbook.info/get/
⠈⠳⣄⠀⠀⠀⠀ Debian Long Term Support: https://deb.li/LTS
Reply to: