Re: Packaging Idris2

[Csepp]

contact@phfrohring.com writes:

> Dear Guixers,
>
> I've a working package of `idris2' here:
> <https://paste.debian.net/1251410/>.
> It builds on previous work: <https://issues.guix.gnu.org/issue/49607>.
> Would it help to send it to `guix-patches@gnu.org'?
>
> —PHF

Looks very good IMHO, please do send it.

If the bootstrapping thing is a problem we can always do that later, it
should be as easy as "unvendoring" the scripts.  If I remember
correctly, the precise version they were generated from is documented
and saved somewhere on the project's or Edwin Brady's Github.