Obviously, it's time for maintainer(s) to refresh the release files...
The good news: this error has already been fixed.
Try to retrieve the latest commit. Either

 

Last edit: Gautier de Montmollin 2023-08-29