sorry for the inconvenience! Usually, the update of the Debian packages is part of our release process so I’m guessing that we missed that step this time? Will check back with the release technicians and update the packages accordingly.
Thanks for letting us know!
> Am 11.10.2018 um 22:02 schrieb Dominique Meeùs <[log in to unmask]>:
> May we expect a Debian package of this? in the usual repository? elsewhere? (I can perfectly understand that it may take some time.)