Bug about binaries being the same (alternatives not really alternatives): https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=817842
Bug about binaries being the same (alternatives not really alternatives): /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 817842
https:/