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 debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
