[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#46124] [PATCH] Idris 2
From: |
raingloom |
Subject: |
[bug#46124] [PATCH] Idris 2 |
Date: |
Mon, 26 Apr 2021 17:22:40 +0200 |
On Thu, 22 Apr 2021 10:39:53 +0200
Xinglu Chen <public@yoctocell.xyz> wrote:
> I think you forgot the attach the patch. ;)
>
Ah heck. That might have been the case.
Here it is.
There hasn't been a tagged release since then, so I'm sending my
original patch, but I should note that in my channel I've been tracking
the latest commit, which does seem to work, although it's been a while
since I used Idris for anything complicated.
0001-gnu-Added-Idris-2.patch
Description: Text Data
- [bug#46124] [PATCH] Idris 2,
raingloom <=