|
| From: | contact |
| Subject: | Re: Packaging Idris2 |
| Date: | Tue, 23 Aug 2022 15:02:40 +0200 |
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:49607@debbugs.gnu.org>.It resulted in this message: <https://issues.guix.gnu.org/issue/49607#16>.
— PHF
| [Prev in Thread] | Current Thread | [Next in Thread] |