From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: New package: FPLLL Date: Fri, 21 Dec 2012 00:13:54 +0100 Message-ID: <871uekgvv1.fsf@gnu.org> References: <201212112323.53992.andreas@enge.fr> <201212200006.58576.andreas@enge.fr> <87zk19a6uo.fsf@gnu.org> <201212202209.32372.andreas@enge.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([208.118.235.92]:50810) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TlpJO-000452-Rr for bug-guix@gnu.org; Thu, 20 Dec 2012 18:13:59 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1TlpJM-0006f1-CT for bug-guix@gnu.org; Thu, 20 Dec 2012 18:13:58 -0500 Received: from mail1-relais-roc.national.inria.fr ([192.134.164.82]:33422) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TlpJM-0006ex-5q for bug-guix@gnu.org; Thu, 20 Dec 2012 18:13:56 -0500 In-Reply-To: <201212202209.32372.andreas@enge.fr> (Andreas Enge's message of "Thu, 20 Dec 2012 22:09:31 +0100") List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org To: Andreas Enge Cc: bug-guix@gnu.org Andreas Enge skribis: > Am Donnerstag, 20. Dezember 2012 schrieb Ludovic Court=C3=A8s: >> > I also tried to add gmp-ecm, but it is only downloadable over >> > https://, which is not yet implemented. >> Oh. Would be great if they had an FTP or HTTP mirror. > > Would it be difficult to implement in guix? There are guile bindings > in gnutls. Right, so that=E2=80=99s definitely doable. It just has to be done. :-) > One cannot reasonably tell people who use crypto to not do so. OTOH, what matters most here is the authenticity and integrity of the tarball, and TLS doesn=E2=80=99t help here. (FWIW I=E2=80=99m also fond of EFF=E2=80=99s HTTPS-Everywhere; I just don= =E2=80=99t think it=E2=80=99s this relevant here, esp. since we=E2=80=99ll eventually have content-based mirrors as on hydra.nixos.org.) Thanks, Ludo=E2=80=99.