From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: Problems with downloading from https Date: Sun, 26 Oct 2014 14:46:21 +0100 Message-ID: <87fveboseq.fsf@gnu.org> References: <877fzogiq5.fsf@gmail.com> <20141025200250.675.55930@vulcan.local.tld> <87y4s348k1.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:57733) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XiO97-00063Z-NF for guix-devel@gnu.org; Sun, 26 Oct 2014 09:46:22 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XiO8y-0005f8-Ma for guix-devel@gnu.org; Sun, 26 Oct 2014 09:46:13 -0400 Received: from hera.aquilenet.fr ([2a01:474::1]:41474) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XiO8y-0005f4-GX for guix-devel@gnu.org; Sun, 26 Oct 2014 09:46:04 -0400 In-Reply-To: <87y4s348k1.fsf@gmail.com> (Alex Kost's message of "Sun, 26 Oct 2014 10:03:10 +0300") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Alex Kost Cc: guix-devel@gnu.org Alex Kost skribis: > Yes, I installed gnutls, but it didn't work because I didn't set the > right guile paths: =E2=80=9Cguix package --search-paths=E2=80=9D recommen= ds > "/usr/local/var/guix/profiles/per-user//guix-profile/share/guile/si= te/2.0" > but "gnutls.scm" is actually placed in > "/usr/local/var/guix/profiles/per-user//guix-profile/share/guile/si= te" > so =E2=80=98(use-modules (gnutls))=E2=80=99 failed for me. Oh, that=E2=80=99s a bug of the GnuTLS package: we should pass the right configure flag so that modules go to site/2.0. Could you do that? This should probably go to core-updates, since it=E2=80=99s going to be mer= ged soon anyway. Thanks, Ludo=E2=80=99.