Subject: Re: [bug#51410] [PATCH 0/2] gnu: ingen: Update to latest commit

From: Vagrant Cascadian <[email-masked]>
Date: Fri, 01 Sep 2023 14:04:38 -0700

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