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
via subversion (instruction on the "Code" tab on this Web site)
by clicking "Download Snapshot" (also on the "Code" tab)
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