[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Packaging Idris2
From: |
Csepp |
Subject: |
Re: Packaging Idris2 |
Date: |
Tue, 23 Aug 2022 13:39:05 +0200 |
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.
- Re: Packaging Idris2, (continued)
- Re: Packaging Idris2, Csepp, 2022/08/20
- Re: Packaging Idris2, Andreas Reuleaux, 2022/08/20
- Re: Packaging Idris2, (, 2022/08/21
- Re: Packaging Idris2, Csepp, 2022/08/21
- Re: Packaging Idris2, Andreas Reuleaux, 2022/08/21
- Re: Packaging Idris2, (, 2022/08/21
- Re: Packaging Idris2, (, 2022/08/21
- Re: Packaging Idris2, zimoun, 2022/08/21
- Re: Packaging Idris2, Philip McGrath, 2022/08/21
- Re: Packaging Idris2, contact, 2022/08/23
- Re: Packaging Idris2,
Csepp <=
- Re: Packaging Idris2, contact, 2022/08/23