Subject: Re: [bug#46124] [PATCH] Idris 2

From: Xinglu Chen <[email-masked]>
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