cont...@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-patc...@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.