Hi, FYI: I spoke to Neil about this bug on IRC and was curious about the behaviour of dpkg, which I thought had a fallback for this kind of situation.
The fact that trying to reinstall a *lower-versioned* non-broken .deb didn't work was a bug, which Guillem is going to sort out. See https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=996959 (I don't think this is an immediately-useful workaround because no such .deb exists in the archive right now.) Regards, Ian. -- Ian Jackson <ijack...@chiark.greenend.org.uk> These opinions are my own. Pronouns: they/he. If I emailed you from @fyvzl.net or @evade.org.uk, that is a private address which bypasses my fierce spamfilter.
