Re: Packaging Idris2

[contact]

Looks very good IMHO, please do send it.

I am not sure if I have sent it correctly.
I have sent the patch to: <mailto:49...@debbugs.gnu.org>.
It resulted in this message: 
<https://issues.guix.gnu.org/issue/49607#16>.

— PHF