What I find strange is that the last entry in changelog.Debian.gz is to say that the support for maxima had been re-enabled!
What I find strange is that the last entry in changelog.Debian.gz is to say that the support for maxima had been re-enabled!