5 Dec
2019
5 Dec
'19
2:37 a.m.
We realized that there is a bug in how we produce the version numbers of the Debian packages.
Current they look like 2019.11+stretch and 2019.11+buster, and those do not sort correctly:
$ dpkg --compare-versions 2019.11+buster gt 2019.11+stretch; echo $? 1
This will be fixed for the next release.