Michael Stone <mstone@debian.org> writes: > Move it to /var/lib/dpkg Nope, debian_release is independent on the dpkg used. /var/lib/dpkg/ would be a most unintuitive place to place the version of the distribution as a whole.