From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id cA4sLQ9nhV8/dgAA0tVLHw (envelope-from ) for ; Tue, 13 Oct 2020 08:36:31 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id oGn1KA9nhV8jVAAAbx9fmQ (envelope-from ) for ; Tue, 13 Oct 2020 08:36:31 +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 65965940149 for ; Tue, 13 Oct 2020 08:36:31 +0000 (UTC) Received: from localhost ([::1]:58068 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kSFnK-0001ll-Bv for larch@yhetil.org; Tue, 13 Oct 2020 04:36:30 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:55878) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kSFlu-0008KA-DR for guix-patches@gnu.org; Tue, 13 Oct 2020 04:35:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:33604) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kSFlu-0004hv-2E for guix-patches@gnu.org; Tue, 13 Oct 2020 04:35:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kSFlt-0002ef-Vv for guix-patches@gnu.org; Tue, 13 Oct 2020 04:35:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#43809] [PATCH v2] gnu: emacs-tuareg: Update to 2.2.0-0.ccde45b. Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 13 Oct 2020 08:35:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 43809 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Nicolas Goaziou Cc: 43809@debbugs.gnu.org Received: via spool by 43809-submit@debbugs.gnu.org id=B43809.160257809610184 (code B ref 43809); Tue, 13 Oct 2020 08:35:01 +0000 Received: (at 43809) by debbugs.gnu.org; 13 Oct 2020 08:34:56 +0000 Received: from localhost ([127.0.0.1]:45144 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kSFln-0002e8-Vh for submit@debbugs.gnu.org; Tue, 13 Oct 2020 04:34:56 -0400 Received: from mail-qt1-f194.google.com ([209.85.160.194]:38200) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kSFll-0002dn-Vh for 43809@debbugs.gnu.org; Tue, 13 Oct 2020 04:34:54 -0400 Received: by mail-qt1-f194.google.com with SMTP id q26so15454167qtb.5 for <43809@debbugs.gnu.org>; Tue, 13 Oct 2020 01:34:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=hiOyIraWb96/WZv6f5LSVRjzXaNPVapc6yW4S60GvMU=; b=vd6qw2bXiq8cf3YoMFlsp05JTo3onkhgATtopwmcnLNfAeusK8774Gakl2xUQQpxYC Ghh3bKBwIiu5iRnZzKp3UVey9tpgbwnCB0bOSHv8WBHsdNbwdcQcH5bijiioglvUO+Lx HDf1s4NCBAevAZOi/vz2I2jNiC+XQUWG47wnQccRgrcAZlYr/m5WNirNxwbtRW4quvBv 5Q2j2aS3kLDw41hr7Ix8yLz7eHGJC7qu0jtvRJw6fNRutHCEPiJsvHZz9VEZjh6Xdhpg pBTv9f7Ap6FA+1o++hveDGDLb4ddVDgb+rPQBvx/giQHBylhVFs8WWMFUbKC6A2//wS6 rE4A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=hiOyIraWb96/WZv6f5LSVRjzXaNPVapc6yW4S60GvMU=; b=EDw5VuQ9NmrhmbjXIq9S3jBzA0NCrUyAsryE3uX7NQ3EJtilDCy/KaTAHtAnGLBO5a SQGW2XO1rKMZoTVs2IOUU5WxzQKE+futHHwDBuHM0kI+QV19A5Rn9HxXIj1fu8OSs6Bv Z70Tsj9AgvDGuBQUjodmLh+fTOYsXCxJWU7b+F6C7oN3IqhxCSb8iz7H/FZ+mlDCvLEb N/HKheevFmPgH2bxg1LEm8Fuaz5PxUeQKM5tmyoSt7O+7JEv24thqYJ0FkceaHR/reAj 0nB6O1fCyHPuv9GvVSUYls4tfTioZKNZrSsLm8u0+M/PEXLbIvZeJcXeg9lzbE+2/EsT dg1A== X-Gm-Message-State: AOAM532SW/FeBzaXx8nIFM7zX22exsxIX2jl491JkVCk2T32tHnffUjs XCewXcO3viwLG/wHhLQIaxHFD3rz6Cf63sJO11E/bPAW X-Google-Smtp-Source: ABdhPJzCW1h4wa/0ANR72vztOaAiWTeODXRW0X/WDtKX4bA4Rj6UOfmppIkUbMsdOHsRK4vfpfrQ/69G5yXSDQSqIno= X-Received: by 2002:aed:3b2a:: with SMTP id p39mr1722535qte.211.1602578088207; Tue, 13 Oct 2020 01:34:48 -0700 (PDT) MIME-Version: 1.0 References: <20201005072342.17369-1-zimon.toutoune@gmail.com> <20201008222532.19034-1-zimon.toutoune@gmail.com> <87a6wq60rw.fsf@nicolasgoaziou.fr> In-Reply-To: <87a6wq60rw.fsf@nicolasgoaziou.fr> From: zimoun Date: Tue, 13 Oct 2020 10:34:36 +0200 Message-ID: Content-Type: text/plain; charset="UTF-8" X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -1.0 (-) 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-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=gmail.com header.s=20161025 header.b=vd6qw2bX; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (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-Spam-Score: 0.09 X-TUID: R+nDzccVNr1N Hi, On Tue, 13 Oct 2020 at 09:30, Nicolas Goaziou wrote: > > + (source > > + (origin > > + (method git-fetch) > > + (uri (git-reference > > + (url "https://github.com/ocaml/tuareg") > > + (commit commit))) > > + (file-name (git-file-name name version)) > > + (sha256 > > + (base32 "1yxv4bnqarilnpg5j7wywall8170hwvm0q4xx06yqjgcn8pq1lac")))) > > + (build-system gnu-build-system) > > I assume emacs-build-system is not an option, right? I do not know. I have just tried to fix an annoying message with my Emacs config, not really tried to check the Tuareg package itsefl. :-) What do you mean? Use the OCaml build system instead? Thanks for the review. All the best, simon