Done, Debian packages are updated and available from https://packages.tei-c.org/deb/
> Am 14.02.2020 um 08:33 schrieb Peter Stadler <[log in to unmask]>:
> Yes, in a few hours – sorry for the delay!
>> Am 14.02.2020 um 08:29 schrieb Dominique Meeùs <[log in to unmask]>:
>>> … Furthermore, the Debian package has been updated at http://packages.tei-c.org/deb/.
>> Or should be in a few hours or days… ?