This problem is fixed in my local tree and will be part of the next upload. Unfortunately it can't fix the errors it made in the past. You will either have to use "apt-mark unmarkauto pkgname" to correct the information or simply delete the file /var/lib/apt/extended_states
Thanks for your bugreport and your analyses!
This problem is fixed in my local tree and will be part of the next upload. Unfortunately it can't fix the errors it made in the past. You will either have to use "apt-mark unmarkauto pkgname" to correct the information or simply delete the file /var/lib/ apt/extended_ states
thanks,
Michael