Since nothing has happened so far with respect to this bug, let me suggest a potential solution:
Maybe it is possible to leverage 'dpkg --compare-versions' to do the version number comparison instead of using (and maintaining) the self-made 'cmpversion.awk' script? -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

