On 2021-10-26, Thorsten Wilms wrote: > The current package fetches a comit that is at least 2 years old, while > the latest commit is from 4 months ago. The update also requires a > fresh raul-devel (ingen is the only user). Both ingen and raul-devel were removed from guix in commits: a5a84babb985f3a3d242e3fb0e225dcc826875d5 1a60e11a9835ccc25204f9787bcba1794d06f3c8 So the patches to update unfortunately no longer will apply. If they are still useful, and newer versions can be made to build, please consider re-submitting updated packages! live well, vagrant