Upgrade lmn7.0 -> 7.1 - pkg.netzint.de down... Paket kann nicht installiert werden

Server
48

Guck mal – gerade gefunden:

Also liegt’s vielleicht doch an den Großbuchstaben in der devices.csv??? Der gemeldete Bug dort ist zwar von 2022 und müsste längst gefixt sein – aber ich würde das trotzdem mal ändern und es dann nochmal versuchen!