From patchwork Mon Feb 27 20:13:54 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Liliana Marie Prikler X-Patchwork-Id: 47492 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 8855516C68; Tue, 28 Feb 2023 17:35:42 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-1.8 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, RCVD_IN_MSPIKE_H2,SPF_HELO_PASS autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 02D4A16BBF for ; Tue, 28 Feb 2023 17:35:42 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pX3sX-0005v4-Hd; Tue, 28 Feb 2023 12:35:05 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pX3sV-0005tO-PV for guix-patches@gnu.org; Tue, 28 Feb 2023 12:35:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pX3sV-0000PS-Gx for guix-patches@gnu.org; Tue, 28 Feb 2023 12:35:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1pX3sV-0006nE-CE for guix-patches@gnu.org; Tue, 28 Feb 2023 12:35:03 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#59799] [PATCH v2 1/2] gnu: swi-prolog: Update to 8.5.20. References: <095fec576dec88a59197f5275c21721c28992cfe.camel@gmail.com> In-Reply-To: <095fec576dec88a59197f5275c21721c28992cfe.camel@gmail.com> Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 28 Feb 2023 17:35:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 59799 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 59799@debbugs.gnu.org Received: via spool by 59799-submit@debbugs.gnu.org id=B59799.167760565926002 (code B ref 59799); Tue, 28 Feb 2023 17:35:03 +0000 Received: (at 59799) by debbugs.gnu.org; 28 Feb 2023 17:34:19 +0000 Received: from localhost ([127.0.0.1]:51914 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pX3rm-0006lK-Oc for submit@debbugs.gnu.org; Tue, 28 Feb 2023 12:34:18 -0500 Received: from mail-ed1-f68.google.com ([209.85.208.68]:47101) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pX3rl-0006ks-Mt for 59799@debbugs.gnu.org; Tue, 28 Feb 2023 12:34:18 -0500 Received: by mail-ed1-f68.google.com with SMTP id o15so40728052edr.13 for <59799@debbugs.gnu.org>; Tue, 28 Feb 2023 09:34:17 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:message-id:to:subject:date:from:from:to:cc:subject :date:message-id:reply-to; bh=iyFlD/+tr/xFAHRfrZqOrrQUn3yth7BEN9F5xJKi38Y=; b=T7Q3iDa1O4GJJmEre2kv0t6P9MVal3SMOAVq3Dn/6YxXpNJPhBvIjgDAYEXZUFw1+Y U4xMd+8SaLMwCqDk4OIJQLslBBEmCQ3751gjl/40Q55Nx9BoxMYpOaX+lm93PpYOcK61 X571pWZFACLA65CMNTNVReOYruX9ASCUIdzhKPfS8RJ0HDHuWNSyf4pQhmsh9qDoDj1C HBbqepUTcXe3XMi6+OxVs4IugpNaK63Erg+za1uSmyZ9Yxht6dOtE+wmNT5TqsydOH6q uCLHb/nB5zhS0PnUGGUJddI8+HHDesiGWSGm6LABJQPF3RwVU1UwLeOdJo1WKvq7Qfic zcvA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:message-id:to:subject:date:from:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=iyFlD/+tr/xFAHRfrZqOrrQUn3yth7BEN9F5xJKi38Y=; b=RKd4E2nS1QYfumaXko8Q3z63kHaScIfsUtjawWdKO2Jxz0WPXXaNYtTzY4mrmvQxes QfOGxJO/C0q+P8g2FH+1RfTo78O7I7sfEfl8YZg78bEwkKuIavyCvOJT4akUp7aj1Itk n8Z4ggo0kbj9E8M8DL/K1XdS4KsVhIvBPopkmWyZpfv7qoufEgd3S6CH0t2Snl9lqaUk m2GvGFqxP7C14hSnizboNmBRFUyDbrcASjwXvBgW/M5EWW/GUtEWMwQ8j5UkG8MImuTN KglNARHpQmkuvP2NdYiOqABEwp+6j61HEFZaN8yEbWoJnevhtHhGi08pnZweKvEETgw1 IuZg== X-Gm-Message-State: AO0yUKWxdLxcy+4MJBcqvaOEAW6YUgs6BGJR0yN3t8q1/bX/bloXjtzz ehPK/c43c3aM0HWiLvZZDZgTqq+Z7yTW6A== X-Google-Smtp-Source: AK7set9RJ0ETk/0WKow71mTXsXk7AMhOBdZyUHyIAql8J2EFTCADU6Y0Y/6eSPXWXAUStb2QrmoGxw== X-Received: by 2002:a05:6402:419:b0:4af:62ad:160b with SMTP id q25-20020a056402041900b004af62ad160bmr4545167edv.5.1677605651553; Tue, 28 Feb 2023 09:34:11 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id 13-20020a508e0d000000b004af6e957b22sm4676808edw.6.2023.02.28.09.34.10 for <59799@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 28 Feb 2023 09:34:11 -0800 (PST) From: Liliana Marie Prikler Date: Mon, 27 Feb 2023 21:13:54 +0100 Message-ID: <6da50fed9d333daee5f08f15e041a306808f1e15.camel@gmail.com> MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/prolog.scm (swi-prolog): Update to 8.5.20. --- Since Prolog 9 failed on CI way back when, let's try an earlier version. 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 6aa01ce871..0f2ad25a49 100644 --- a/gnu/packages/prolog.scm +++ b/gnu/packages/prolog.scm @@ -87,7 +87,7 @@ (define-public gprolog (define-public swi-prolog (package (name "swi-prolog") - (version "8.3.20") + (version "8.5.20") (source (origin (method git-fetch) (uri (git-reference @@ -97,7 +97,7 @@ (define-public swi-prolog (file-name (git-file-name name version)) (sha256 (base32 - "1g0v9cmz8zvzc1n0si7sn6522xwzbhj2b8967ibs6prinrpjc8d6")))) + "0vwxk5fy2mxj6538knkqvqhwy1674xh2zkdqdmbzkxf6mj969d7m")))) (build-system cmake-build-system) (arguments `(#:parallel-build? #t