Thanks. We’re on it. Will fix and update this thread soon. Thanks for reporting.
Yes 12.4+1 deb is corrupted, I just deployed a 12.4+2 but recreating the Debian repository index takes a little while (it’s starting to contain quite a lot of packages…). Will let you know.
Please accept our apologies about that.
@tmortagne How can we improve? I guess we don’t have smoke tests that use the deb packaging ATM?
12.4+2 is now available
It would not really have helped here since it was a patch, there was no problem with the standard version.
1 Like
So update 12.4+2 is successful. Thanks for fast action!
That depends how you configured apt on your side, by default you need to manually do it but it can be automated AFAIK.