[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#46124] [PATCH] Idris 2
From: |
Xinglu Chen |
Subject: |
[bug#46124] [PATCH] Idris 2 |
Date: |
Fri, 14 May 2021 14:08:33 +0200 |
On Tue, May 11 2021, raingloom wrote:
>>
>> [1]:
>> https://github.com/nixos/nixpkgs/blob//pkgs/development/compilers/idris2/default.nix#L41
>
> That link doesn't work.
Sorry, this one should work
https://github.com/NixOS/nixpkgs/blob/8284fc30c84ea47e63209d1a892aca1dfcd6bdf3/pkgs/development/compilers/idris2/default.nix#L35
signature.asc
Description: PGP signature