| Message ID | 5c91d8eee45bb5a51f6fdad13e1e27a03d471fa9.1708771294.git.liliana.prikler@gmail.com |
|---|---|
| State | New |
| Headers | show
Return-Path: <guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org> X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id CB85B27BBE2; Sat, 24 Feb 2024 12:48:33 +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=-2.7 required=5.0 tests=BAYES_00,DKIM_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, 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 8E91A27BBEA for <patchwork@mira.cbaines.net>; Sat, 24 Feb 2024 12:48:27 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from <guix-patches-bounces@gnu.org>) id 1rdrRO-0001Lw-0D; Sat, 24 Feb 2024 07:47:42 -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 <Debian-debbugs@debbugs.gnu.org>) id 1rdrRM-0001LA-MZ for guix-patches@gnu.org; Sat, 24 Feb 2024 07:47:40 -0500 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 <Debian-debbugs@debbugs.gnu.org>) id 1rdrRL-0007YO-SX for guix-patches@gnu.org; Sat, 24 Feb 2024 07:47:39 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1rdrRj-0005DQ-SE for guix-patches@gnu.org; Sat, 24 Feb 2024 07:48:03 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#69352] [PATCH 04/13] gnu: clasp: Update to 3.3.10. Resent-From: Liliana Marie Prikler <liliana.prikler@gmail.com> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org> Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 24 Feb 2024 12:48:03 +0000 Resent-Message-ID: <handler.69352.B69352.170877884119841@debbugs.gnu.org> Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69352 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69352@debbugs.gnu.org Received: via spool by 69352-submit@debbugs.gnu.org id=B69352.170877884119841 (code B ref 69352); Sat, 24 Feb 2024 12:48:03 +0000 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:47:21 +0000 Received: from localhost ([127.0.0.1]:53704 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces@debbugs.gnu.org>) id 1rdrR3-00059x-42 for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:21 -0500 Received: from mail-lf1-f43.google.com ([209.85.167.43]:50658) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <liliana.prikler@gmail.com>) id 1rdrQp-00057s-Oe for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:08 -0500 Received: by mail-lf1-f43.google.com with SMTP id 2adb3069b0e04-51197ca63f5so2591509e87.1 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:46:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708778738; x=1709383538; 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=copDrYZLvyoBmZHpsX9tMGZBdHut6obLrmUIVn+fJ08=; b=jfaBrGBWC8aoj2GzQBVClZcQEIHSO4bugNOFwHr+qakaO+LLNMUHvo73L2IZOQ9+2Q 0SiQ+LI0VAk+vk8iX8RFFMW6npP8J8pDWFSfvSE34xHUvPANLSFdeMXYTMQg8ohyg5uU zG2pTewbpgBryFoYgmGAQXaTngX7SY6Z/btFJumqGGzM4uaLpLCjkAXcCrwA25yXvHoF SBG/YkTIHFvNlpkU4PH+LwyDQetAHFyBkZB7W9MzbLFjUoPtuh2VbbLezT+XIma3u4vN IRHagfzXpK0GnoV62QhCZoWrZt2i4y6bLr0Cv3iWHsNyehrepuvIw+1GAwKlKCndCLbB QyPg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708778738; x=1709383538; 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=copDrYZLvyoBmZHpsX9tMGZBdHut6obLrmUIVn+fJ08=; b=kOVYZQzGwCH8Gx9Rc7LD0hwFC2qJOPIwwvbPwFy0h3Q1DmTLVdlb8kn235X1TRQFt6 rXp0vBS4sLDsWWk5ekcL664GCduqGJPsjwSpHi8c6cY9rr4eXaHlXlJ6qSU6Cv+Gd28a 1s6Jh1D8yu9xV9pTw7vaLZGY3uWPSvVao4eclli/WNQsP0SIekl4VPU191JwkxPUIoZR MEME3Nn2bdXDFwl0I9rviHA3o/l/+K3RTzlWkomhV3MSbqxisoL9muMhws/ycPIVSWOT IH1M6l//GR688iCfkLLyvTUz12vbNqY9P84evPYGlEW1CNcGc6UOUK6AKqQp/IMJCUdz EaRQ== X-Gm-Message-State: AOJu0Yw49JEQgk8Cyq3jV0nSdrgY28ZxlskEQmk/c3MRnTqOyx8TdOTI mUFvJ7CYKKdJ1vumOBU5ueQpY2QquFIY3Mw38c0bK9Unl5zdg1bWrmD4N3CK X-Google-Smtp-Source: AGHT+IEXUsjffDC6PoXW2PTb9SJKTyqIz3b1EEPN72BJP0zb6vGeCFM596xRatUHxuEmXhGRfW1QQg== X-Received: by 2002:a05:6512:282c:b0:512:e1e3:792f with SMTP id cf44-20020a056512282c00b00512e1e3792fmr2033151lfb.3.1708778737778; Sat, 24 Feb 2024 04:45:37 -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 lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.37 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:37 -0800 (PST) Message-ID: <5c91d8eee45bb5a51f6fdad13e1e27a03d471fa9.1708771294.git.liliana.prikler@gmail.com> In-Reply-To: <cover.1708771294.git.liliana.prikler@gmail.com> References: <cover.1708771294.git.liliana.prikler@gmail.com> From: Liliana Marie Prikler <liliana.prikler@gmail.com> Date: Sat, 24 Feb 2024 08:52:40 +0100 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: <guix-patches.gnu.org> List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-patches>, <mailto:guix-patches-request@gnu.org?subject=unsubscribe> List-Archive: <https://lists.gnu.org/archive/html/guix-patches> List-Post: <mailto:guix-patches@gnu.org> List-Help: <mailto:guix-patches-request@gnu.org?subject=help> List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-patches>, <mailto:guix-patches-request@gnu.org?subject=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 |
| Series |
Update Clingo to 5.7.1, etc pp
|
expand
|
diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 01cada7b77..05d5a3b754 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -103,7 +103,7 @@ (define-public libpotassco (define-public clasp (package (name "clasp") - (version "3.3.9") + (version "3.3.10") (source (origin (method git-fetch) (uri (git-reference @@ -112,7 +112,7 @@ (define-public clasp (file-name (git-file-name name version)) (sha256 (base32 - "163ps9zq7xppqy9hj5qnw6z5lcjnm4xf5fwjsavpia5ynm3hngcw")))) + "0qap7rar8a5mkqz28n2hnvr4cfv5x0rh4zs3wdp919dw4d034chr")))) (build-system cmake-build-system) (arguments `(#:configure-flags '("-DCLASP_BUILD_TESTS=on"