From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id aDcyM4d2X1+nMQAA0tVLHw (envelope-from ) for ; Mon, 14 Sep 2020 13:56:23 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id aDSVLYd2X18GJAAA1q6Kng (envelope-from ) for ; Mon, 14 Sep 2020 13:56:23 +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 930519402CC for ; Mon, 14 Sep 2020 13:56:23 +0000 (UTC) Received: from localhost ([::1]:39690 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kHoxy-0005EH-HY for larch@yhetil.org; Mon, 14 Sep 2020 09:56:22 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:39120) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kHouo-0002MX-3A for guix-devel@gnu.org; Mon, 14 Sep 2020 09:53:06 -0400 Received: from smtp.hosts.co.uk ([85.233.160.19]:34492) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kHoul-0004vc-JF for guix-devel@gnu.org; Mon, 14 Sep 2020 09:53:05 -0400 Received: from maikeh336.claranet.co.uk ([79.123.23.187] helo=pancake.local) by smtp.hosts.co.uk with esmtpsa (TLS1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim) (envelope-from ) id 1kHouf-0004rW-Fr; Mon, 14 Sep 2020 14:52:58 +0100 Message-ID: <3b87f2f6cea8c2a316cc28996605bcfe8c1b66ad.camel@tourbillion-technology.com> Subject: Re: getting started with the texlive importer From: Paul Garlick To: Ricardo Wurmus , John Soo Date: Mon, 14 Sep 2020 14:52:56 +0100 In-Reply-To: <87ft7p4ho5.fsf@elephly.net> References: <5c1adbae6b077e4bfd4999745bf6855ff319b7fe.camel@tourbillion-technology.com> <87ft7p4ho5.fsf@elephly.net> Content-Type: text/plain; charset="UTF-8" X-Mailer: Evolution 3.28.5-0ubuntu0.18.04.2 Mime-Version: 1.0 Content-Transfer-Encoding: 7bit Received-SPF: none client-ip=85.233.160.19; envelope-from=pgarlick@tourbillion-technology.com; helo=smtp.hosts.co.uk X-detected-operating-system: by eggs.gnu.org: First seen = 2020/09/14 09:52:58 X-ACL-Warn: Detected OS = Linux 2.2.x-3.x (no timestamps) [generic] [fuzzy] X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_NONE=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: guix-devel@gnu.org Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: -0.51 X-TUID: Kx9MSX12OI8C Hi Ricardo, Hi John, > Looks good to me. Please push! Cheers! Pushed as 735808b12cc23909b421e10e212a07e7aa69a5eb Best regards, Paul.