From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id kA/RJclonmCJcwAAgWs5BA (envelope-from ) for ; Fri, 14 May 2021 14:10:49 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id GPiHIclonmCIMQAA1q6Kng (envelope-from ) for ; Fri, 14 May 2021 12:10:49 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 232861F5CA for ; Fri, 14 May 2021 14:10:49 +0200 (CEST) Received: from localhost ([::1]:57014 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lhWeV-0002UE-S3 for larch@yhetil.org; Fri, 14 May 2021 08:10:47 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:54864) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lhWco-0007Lg-NQ for guix-patches@gnu.org; Fri, 14 May 2021 08:09:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:33682) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lhWco-00018d-GC for guix-patches@gnu.org; Fri, 14 May 2021 08:09:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lhWco-0004Kb-BA for guix-patches@gnu.org; Fri, 14 May 2021 08:09:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#46124] [PATCH] Idris 2 Resent-From: Xinglu Chen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 14 May 2021 12:09:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 46124 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: raingloom Cc: Maxime Devos , 46124@debbugs.gnu.org Received: via spool by 46124-submit@debbugs.gnu.org id=B46124.162099412416618 (code B ref 46124); Fri, 14 May 2021 12:09:02 +0000 Received: (at 46124) by debbugs.gnu.org; 14 May 2021 12:08:44 +0000 Received: from localhost ([127.0.0.1]:45228 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lhWcW-0004Jy-69 for submit@debbugs.gnu.org; Fri, 14 May 2021 08:08:44 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:33804 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lhWcU-0004Jd-B5 for 46124@debbugs.gnu.org; Fri, 14 May 2021 08:08:43 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1620994114; bh=dhZmUesfwQf7d8SOkpHCERxwBqRNtNJYDTp4MgcJNXE=; h=From:To:Cc:Subject:In-Reply-To:References:Date; b=KsLSQ5pW3mxw4//cMtrCybPw9wIb1nZLJmPVIJMg2YG3PnrkzinzzS4dJXiGKRF1s oPJWvV7t5JuXNZi+cnRnlymyylgIoB59R2IwS1Dyxn0sO7AAqL59uFUpcyX74AFsaq fGlBDjHlJx7zTX+Liimz6ll09TxT3HgKlVAWPk+E= In-Reply-To: <20210511234734.5cf190af@riseup.net> References: <20210127064337.6a226301@riseup.net> <87r1j267c6.fsf@yoctocell.xyz> <20210426172240.683c4c2b@riseup.net> <5003aa160dc82b35b06e60d425a09309199e1670.camel@telenet.be> <20210429204317.7e3a707c@riseup.net> <87im44nprp.fsf@yoctocell.xyz> <20210503041044.13358182@riseup.net> <87mttae83x.fsf@yoctocell.xyz> <20210511234734.5cf190af@riseup.net> Date: Fri, 14 May 2021 14:08:33 +0200 Message-ID: <87o8ddjz5q.fsf@yoctocell.xyz> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1620994249; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=KT3jnuo4ytJM5D9Nm/k9JOuh2pCssJfs661W5/xK8p4=; b=bZ0i/MRMOKSAaJxtC9A/B+WbbtT+18ypMm5u4LOpCIHaZl65ErYHt1FOl4z9Dn46w+TvOD WC/nK9F3/B1SaLoPM86BambzIZKv3wkK9ZVn9C6iF70bfUalidoQWDZPRKp4TudHUefEbU fKJUG4XFXXfT3d9JV+S09hhOeGJJXKn2JIBA4Yv9CRk4UQK39aANqLK63251tj5+V/QgSw VbG4IIu5enHul4CpdYiO7tJK7KapOyhYfiB8XsVWF+5qrkTFHl37JtEkTnkfqIgJ4dbUID yVuKK09APAqlHdMHpdsPid7l9JL7fJO+wleE7yWqOHtP5WffNzmfsKt8dqoaxw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1620994249; a=rsa-sha256; cv=none; b=Sfqtjpa9WpN6qD1CnzypbEDQj6pZ07/HZW33at0yypaWTZ1etq728uoPBnchvtPWxFchkA FwKdPH7+XPcntAcwY+T5O4vX5pSMDGOuAoBmv9rhBoo8NrdBay6xthUEJyUWy97xiV8RB5 bgsZ+uMWoIdP0VYVOaLU6pr3lgnq6rGi8Oe0yCd+SPkrZ+rJG+Y7VyxeOtgFwazWEm2Jrn sTzwd1oiNP49yJNJB6hP6CL4Kb5D6LvnSbYnPtVQ5xgu/X/KITfCJ7Cs32kqZbduQklJ4R Pms6qItFEkpotvXFUjQCD8bacUKzo66jOLitzQxW0AWMSMzD4PhTfzRIlTSQYA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=KsLSQ5pW; dmarc=fail reason="SPF not aligned (relaxed)" header.from=yoctocell.xyz (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Spam-Score: 0.54 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=KsLSQ5pW; dmarc=fail reason="SPF not aligned (relaxed)" header.from=yoctocell.xyz (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: 232861F5CA X-Spam-Score: 0.54 X-Migadu-Scanner: scn0.migadu.com X-TUID: HB6NO3F38W34 --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable On Tue, May 11 2021, raingloom wrote: >>=20 >> [1]: >> https://github.com/nixos/nixpkgs/blob//pkgs/development/compilers/idris2= /default.nix#L41 > > That link doesn't work. Sorry, this one should work=20 https://github.com/NixOS/nixpkgs/blob/8284fc30c84ea47e63209d1a892aca1dfcd= 6bdf3/pkgs/development/compilers/idris2/default.nix#L35 =20=20 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJJBAEBCAAzFiEEAVhh4yyK5+SEykIzrPUJmaL7XHkFAmCeaEEVHHB1YmxpY0B5 b2N0b2NlbGwueHl6AAoJEKz1CZmi+1x5w44P/AoVY/C8RAX8irx/ugyxu2tQcYwt QZdVOsZG4Ek/v0ooT3FX9kkvwZ99MF4RuIv20P/02bnkreylC+yhsa8scF4yDXvh TeY4X/OIzH7ge0FTe1I7XBCO/5acQ4ZTznIBE4/1VmYXOyikmTd5tpRYfrANFB8k 5oadiNNXddsUZ3YpQc30/83svrcPJ78dqAQATFQO05MahY/CV/XY7XPZKDhd830R vsfo9M8xloJ3olqt6cazPbYiOdZNKtWYuJ4nEgNbYOPQztn/BC2umKP3aKPQy16p bHqi1GBXj0GmBZk+G5zdW5MeSFGbD+xQQGteozRkcj63EWWKLjRaBzemyXBJ5RAq hFE+FAeZBOpZmagwEx9ns5PYzLKblVFZGafGnSmX37WxhRQN7e5IdBaGTphxIS0b +/rzoS+VT2VI27ivH/9oICzLcvv9l6ao7Gydb/3y3BCrxuPObR1LFs5i5Pl6Xejq OjBuSH1eiM2ExMlBO0z94puM6Mb0JbOQh/MzRKfDyGx+u6eYnU8IMQTJaXaLprtd /xcDGw0Z/G1dtM0VyAdwVbj9YplxdCJUGZOJwhF/SqOGS865HsaiOAkHOrcm3Fs0 6cCwiwLNKW6MMMpi3WWWq3lxqgpxidJ237oIU47F6Z5dPV+8fDYyNr5KjJjS8AGE J5WkuJQKduZEmK+F =ZkQf -----END PGP SIGNATURE----- --=-=-=--