From patchwork Sat May 10 07:06:26 2025 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Liliana Marie Prikler X-Patchwork-Id: 42498 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 D257327BC4A; Sat, 10 May 2025 09:18:22 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-7.4 required=5.0 tests=BAYES_00,DKIM_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, RCVD_IN_DNSWL_BLOCKED,RCVD_IN_MSPIKE_H2,RCVD_IN_VALIDITY_CERTIFIED, RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE,SPF_HELO_PASS, URIBL_BLOCKED autolearn=unavailable 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 F09B027BC49 for ; Sat, 10 May 2025 09:18:19 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1uDfPJ-000477-IF; Sat, 10 May 2025 04:18:05 -0400 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 1uDfPH-00042A-Mp for guix-patches@gnu.org; Sat, 10 May 2025 04:18:03 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1uDfPH-0002TB-AQ for guix-patches@gnu.org; Sat, 10 May 2025 04:18:03 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:Date:From:References:In-Reply-To:To:Subject; bh=47hY5uYStt+JN+TG/u1HAriC02agunnZggGI62PlaGA=; b=rnYoM4FqKbW4VDRCge1B0f0TdCzGRUnpovqM4vDDLN9zCYWbP8dZET1uusVjHFziPQTyErUhZJTD3VOWgZEPIqTnFwYK9qITUrF0cy0slA14FCMPOKAlx7YR751wH9l12aZbHE9iCRtWsnTBauVLZ3DnELyqha6QfCvXHpnfCsU8l6j3npxoQ7trzgMVIZa/bdj0ox+4WmfX/e79K39gZd2rhUYKahPaqi9tGnLv703MRsGWAzBE+5UljFFvcVtlXPqunWqdbMRloak+LxNFPBYXrhFa6XMoe/1i9d/NIBPMLqsjmqX2aXMgA7OMo/UgnfQn6q6wTfEHWjnjLl/kIQ==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1uDfPH-00012R-4z for guix-patches@gnu.org; Sat, 10 May 2025 04:18:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#78348] [PATCH 3/3] gnu: clingo: Update to 5.8.0. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 10 May 2025 08:18:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 78348 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 78348@debbugs.gnu.org Received: via spool by 78348-submit@debbugs.gnu.org id=B78348.17468650513879 (code B ref 78348); Sat, 10 May 2025 08:18:03 +0000 Received: (at 78348) by debbugs.gnu.org; 10 May 2025 08:17:31 +0000 Received: from localhost ([127.0.0.1]:43513 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uDfOk-00010V-Ud for submit@debbugs.gnu.org; Sat, 10 May 2025 04:17:31 -0400 Received: from mail-wr1-x443.google.com ([2a00:1450:4864:20::443]:42133) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1uDfOd-0000zY-18 for 78348@debbugs.gnu.org; Sat, 10 May 2025 04:17:23 -0400 Received: by mail-wr1-x443.google.com with SMTP id ffacd0b85a97d-3a0b9303998so1441397f8f.0 for <78348@debbugs.gnu.org>; Sat, 10 May 2025 01:17:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1746865037; x=1747469837; darn=debbugs.gnu.org; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :from:to:cc:subject:date:message-id:reply-to; bh=47hY5uYStt+JN+TG/u1HAriC02agunnZggGI62PlaGA=; b=b/Wy8cdoJDwj1L0QgfrjUdNiwa9Oh4cNNxEgvLEdsb8SdCZ7+lqZ6PrQClh6jWVnbq T6k0sCNFzetAeiVYnwNvzxJ7gTpe1glp+YhbTOdfu8Cyd0mYovmUWYrLwf2X8CmOZx5A MED481HOv5Y5/WCy2pEydCpuFEoOb6ZzCSl3OpGzxKFY+cmpo+QeuwCR1gVoXDLKfPPw gY2qsv1lZUmePtdOpAxc4UI94QnZGu2WAXx+0ssh6SWRNOx6k2kxwtppes7MJeYv4iLp qs88Z7rO5AW6u4q9eo/Uq8TWP7HR1uyv/kqQ5Ej3yUB5LASQjOwCSDslt9T85jsvGfIt 9rMA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1746865037; x=1747469837; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=47hY5uYStt+JN+TG/u1HAriC02agunnZggGI62PlaGA=; b=al9+gVhd2FprgH1zXrVxWDxWkKB89NKjpJlggnaA+GAEJiYTzjEjaZn4KJ3dYLQh+X sDT6f3B0Q8BrDRML/6SFXtSC2/4ajmuyJTWUtLUVgZHZqSw6fmAHUFYiDzPIkds5JwHm RGVEY/b6tD2n/DFYbXAriSFBgD2UTV+4Uy9i9NCZkLhtGymHYm4aYauJ0K3TJ8+lIcJc rVvsM/5MSmUFCa72ufTelDss9DkDnDqs/4wc9qxYy1Je3EKjAA8nqEmJIqF6q5wW05d3 4dE+HZRpXBMJuiapsplz+xjXocU+vXgYM2Ly06wmBfdJF4ip4N/g2QtP1u+bdO+6wPas j30Q== X-Gm-Message-State: AOJu0YysPhyOKqKmI5nsKnosaE+9lsIB/bjI29qLi+GlVgQPV4TnMCTV L8+3nA7ylS0zZiM8iTh45B1C/xl8lc1l+SUua9TAXR1OVYW8HJOd4b8AnmQ5 X-Gm-Gg: ASbGncucav9LBifT5TWg6UWbDS3lUUp0H/bEPsBVWVQ//huYx80YptemzLK8XtFOQ5V mT+mIIwdj1M/3JhXG6wwALdy0QoYNN5F1FN0DZy+9wXA3XzHchjqnYVn7+gRJINNCWCjQP4AqEr FcYWrKcYWdoka73HsGGFVoyDKg8XBsyS4p5Vk5a02U3CIgiEZnVdpdHBnUgjjorgfjg8l+HC5a9 RzBs50hgwaX5/MwmlfvC1QDxy53DTCA2f1GHIvOzM/aVau2CmIuqLJrWOR0JFHIWGnC54ymIKOE ksnFM2Wijkb8VoGB98NGJat8xmv+IX+BeTJBjFbNqQXqQ7OH0y+ICjk2WOXiD8554PET+lqDCmr wG/HWu5W6F3EWhjAfavuxsRZavCk= X-Google-Smtp-Source: AGHT+IFrk8KzxEgMLd6vpl27PXr8q6buhoQFQpq/os6TK/UI33T5peSqCJ383YIbEjooEYZ6k+n0Ww== X-Received: by 2002:a05:6000:2dc3:b0:391:1218:d5f4 with SMTP id ffacd0b85a97d-3a1f6c98496mr5258690f8f.23.1746865036854; Sat, 10 May 2025 01:17:16 -0700 (PDT) Received: from lumine.fritz.box (85-127-114-32.dsl.dynamic.surfer.at. [85.127.114.32]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-3a1f57dde6bsm5761551f8f.13.2025.05.10.01.17.16 for <78348@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 10 May 2025 01:17:16 -0700 (PDT) Message-ID: <5ec68bedffe759ffde731d06283e256cc60d6a29.1746864628.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 10 May 2025 09:06:26 +0200 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/potassco.scm (clingo): Update to 5.8.0. --- gnu/packages/potassco.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 282b15a2329..9c6f42bdec6 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -150,7 +150,7 @@ (define-public clasp (define-public clingo (package (name "clingo") - (version "5.7.1") + (version "5.8.0") (source (origin (method git-fetch) (uri (git-reference @@ -166,7 +166,7 @@ (define-public clingo (delete-file "libpyclingo/_clingo.c"))) (sha256 (base32 - "1mxl3gwx55sf2ifcb92mfy989c50yqpnq0d0r2mxdqr0riy40hjb")))) + "08jpjz2fgq59d78xpwq03dxrdcxwzf5z6crqwn6qdarb0wcdc5sn")))) (build-system cmake-build-system) (arguments (list