Are you suggesting that the string following the `Debian-` is in fact not the Debian release number but something completely different?