So it looks like a now fixed apt bug: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=764204 and https://bugs.launchpad.net/ubuntu/+source/apt/+bug/1332440
So it looks like a now fixed apt bug: https:/ /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 764204 and https:/ /bugs.launchpad .net/ubuntu/ +source/ apt/+bug/ 1332440