Hello Guixers! This patch is relatively straightforward, although I will note I tried to convert the origin from an `uri` to a `git` one, but sadly, the signed tarball you can download from the page is slightly different from the tagged tarball you could download from the GitLab instance. And yes, the package is still reproducible. Hope this helps, Hendursaga