From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id YAZyHQZVU2AsMAAA0tVLHw (envelope-from ) for ; Thu, 18 Mar 2021 13:26:30 +0000 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id 4JYpGQZVU2DpCAAAbx9fmQ (envelope-from ) for ; Thu, 18 Mar 2021 13:26:30 +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 0BD9217FFE for ; Thu, 18 Mar 2021 14:26:30 +0100 (CET) Received: from localhost ([::1]:59928 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lMsfU-0008Qs-Ou for larch@yhetil.org; Thu, 18 Mar 2021 09:26:28 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:42016) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lMsf4-0008PO-Qb for guix-patches@gnu.org; Thu, 18 Mar 2021 09:26:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:33806) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lMsf4-0000zK-HM for guix-patches@gnu.org; Thu, 18 Mar 2021 09:26:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lMsf4-0007qS-CG for guix-patches@gnu.org; Thu, 18 Mar 2021 09:26:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#47233] [PATCH] gnu: swi-prolog: Update to 8.3.20. Resent-From: "Boris A. Dekshteyn" Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 18 Mar 2021 13:26:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 47233 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 47233@debbugs.gnu.org Cc: "Boris A. Dekshteyn" X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.161607395230136 (code B ref -1); Thu, 18 Mar 2021 13:26:02 +0000 Received: (at submit) by debbugs.gnu.org; 18 Mar 2021 13:25:52 +0000 Received: from localhost ([127.0.0.1]:45352 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lMseu-0007q0-8U for submit@debbugs.gnu.org; Thu, 18 Mar 2021 09:25:52 -0400 Received: from lists.gnu.org ([209.51.188.17]:32774) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lMses-0007ps-5v for submit@debbugs.gnu.org; Thu, 18 Mar 2021 09:25:50 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:42000) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lMser-0008DA-VI for guix-patches@gnu.org; Thu, 18 Mar 2021 09:25:49 -0400 Received: from mail-lf1-x129.google.com ([2a00:1450:4864:20::129]:36609) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lMseq-0000hS-23 for guix-patches@gnu.org; Thu, 18 Mar 2021 09:25:49 -0400 Received: by mail-lf1-x129.google.com with SMTP id n138so4572762lfa.3 for ; Thu, 18 Mar 2021 06:25:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=CsRNaBfYxbcL1hOhrhqgGj0G8fXcidMFDVvCYBCVT5g=; b=gplUYei7r6ZMsLJ1GL9qy4dH5GVu80XI+lcGNfkdCyixOe835kPI8rurVTv7mxx4+0 uHL5OrVGrKVZsnjRFB8BSL782N3LxwJshNbZkjVQ78+AiXeeHSVWUlnJESZKR+COtLHW 11exAwVngOt1+T9SwA7HxzoJuJ3Qbn8XOx723EnDbF4rthuhZk/XQQWYloMf7+EDr/h0 7MKB3xtaI8KqHXQ93IFpguwL6em91ZyupqCUt6HoaW65XADFMOJ0dQ3AEPtqFXdQ/+yH x03e4yf8nV9KrEQivu0GOC4nZy3Tav2rXGHL38W0oFkeNlmmZGfhXyyVGvqirqqIRse7 F2TA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=CsRNaBfYxbcL1hOhrhqgGj0G8fXcidMFDVvCYBCVT5g=; b=ZgLdPm8UXASfWLRfnBjwNZHCxM+61kJDoKWXbNUPTD15X+I5zl4hltO2sltBbIqnSs gWQ+pCyOyphXtSww8PfiilE7rWJT4vla3hAaGCVVmTueCVr5EC1359z4R3wo6WraHkhs wJiXAy8c/YPGCVMvAnfuKlGyPq9iIf3DFeoMUgD6sO85H7mrsqp6LBgCE6EvSmaI8235 bDXvRLSjc5mrC7LpIJVDi6+KjYNAmdyC/bUyFhwhuUZa3HnUZq6t9n5gAH55jl4o/G4S afLW2keC/qsS+IfnXi7fktvQLJpk+2akqVkOsbQEyoohu8K+8Z05U+bFYYbNH7xaxA+s ylEw== X-Gm-Message-State: AOAM531pmJqpKY8rfx/4wV4Jmy5I6cuyewc9XhWVeYJlo4kNXnZKmYb1 qDCzUHGJzNzC9S80dSasJKuqaFgMk13OcA== X-Google-Smtp-Source: ABdhPJyZ/viEsclSX3F+q9Z3eg/kyFdF2TNmj6jVolWNXS6ePsqKCe3B9jOwKOu5Ijw3zFHTi2Fyig== X-Received: by 2002:ac2:546b:: with SMTP id e11mr5210018lfn.48.1616073944126; Thu, 18 Mar 2021 06:25:44 -0700 (PDT) Received: from localhost ([2001:470:dd36:0:196f:4874:d486:f103]) by smtp.gmail.com with ESMTPSA id x27sm224408lfn.95.2021.03.18.06.25.43 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 18 Mar 2021 06:25:43 -0700 (PDT) From: "Boris A. Dekshteyn" Date: Fri, 19 Mar 2021 01:25:31 +1200 Message-Id: <20210318132531.9322-1-boris.dekshteyn@gmail.com> X-Mailer: git-send-email 2.31.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=2a00:1450:4864:20::129; envelope-from=boris.dekshteyn@gmail.com; helo=mail-lf1-x129.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action 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=1616073990; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=CsRNaBfYxbcL1hOhrhqgGj0G8fXcidMFDVvCYBCVT5g=; b=KgM3CdGxnR7Fo3TNimRiuLttrLDBBVQVt7Yevoudi6kf7LB84hQPOAsi1w81qVYzxfmCkk VqL8YB0RBobispPvEf8eIGPaWSA20se5aVr76VoTHHidF8WGudw6urqGbUWVw/yXW81Kbe KrvmyHxyVtPNRxAVs3xT7xQVTkgbkjOmQ/SKFizmr4xeNL9WsJyxAXGEJNEFReyO33vCxs fPwmmwXjV+L4zRlcEhBiZdzh20fHa4SBCXp5CHPmoa7myKAshAHIW86jZ6VXlT50w8V41b T5EOUi6uCQklE3rDi40a5wXegBdGzaKc+ByGat9KmYbGN+KFrlXSw5SVA7cl7A== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1616073990; a=rsa-sha256; cv=none; b=TlnAeYy4f4TECMIBh8TEaq5yPyeFqQkfyWcuxG6OoUEOFTlSek56gAXw3WeDKfrpbnnpKR hDdi43lXZtNcaZI0udwtqABjBUBN4RCDeG6MVhWrkRjSg7L9rcR0ZLrUSGff6iSQtV1Y8H xBfH1byKzO4I+dCyHDGNhONu+2QR7FWgC6ByQPc5T8LHw1aRpd4fit2fhEhwa1n1SJsfra ooWidNwU+gzvBs9g1AwDI5GwhXwdsSDtwVSJg6f1Imv2rO4wfEvdfm8agehdr1hPw+m+QW 6C2gb42HBKfi64pPDdnNRJGN6sWw/E+6I0wNdhxktTeJ5Bt20mwR4Wxkxdwhqw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20161025 header.b=gplUYei7; 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-Migadu-Spam-Score: 2.69 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20161025 header.b=gplUYei7; 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-Migadu-Queue-Id: 0BD9217FFE X-Spam-Score: 2.69 X-Migadu-Scanner: scn0.migadu.com X-TUID: F/9v8ZbJvJVW * gnu/packages/prolog.scm (swi-prolog): Update to 8.3.20. --- gnu/packages/prolog.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm index 9e0fe2a829..a5c57cd37c 100644 --- a/gnu/packages/prolog.scm +++ b/gnu/packages/prolog.scm @@ -86,7 +86,7 @@ manner. It also features an interactive interpreter.") (define-public swi-prolog (package (name "swi-prolog") - (version "8.3.10") + (version "8.3.20") (source (origin (method git-fetch) (uri (git-reference @@ -96,7 +96,7 @@ manner. It also features an interactive interpreter.") (file-name (git-file-name name version)) (sha256 (base32 - "15q40qpxz472lp190zbk0lyap2xgaxzib55l0c3qwgf9haz46j1p")))) + "1g0v9cmz8zvzc1n0si7sn6522xwzbhj2b8967ibs6prinrpjc8d6")))) (build-system cmake-build-system) (arguments `(#:parallel-build? #t -- 2.31.0