|
| From: | contact |
| Subject: | Re: Packaging Idris2 |
| Date: | Tue, 23 Aug 2022 09:56:21 +0200 |
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
| [Prev in Thread] | Current Thread | [Next in Thread] |