From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id 0MgRHnA7gGfWOQAAqHPOHw:P1 (envelope-from ) for ; Thu, 09 Jan 2025 21:11:12 +0000 Received: from aspmx1.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0.migadu.com with LMTPS id 0MgRHnA7gGfWOQAAqHPOHw (envelope-from ) for ; Thu, 09 Jan 2025 22:11:12 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=Iz8KUcPg; dkim=fail ("headers rsa verify failed") header.d=dismail.de header.s=20190914 header.b=hxaSMhPw; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gnu.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1736457072; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-to:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=ZXp1c4gUXe+i9hTTg18KLtHLACOGZLo6SLqh1p+0vWs=; b=KNFsGWF7fK56vd5MySHx3NkAYnC+ZianrYfia92Hlg8sGK3YUgtEp+9tdFKBU81C/eGgUX 3EsOGHtcAryRPlPnGz77U+bkkeVQR2tBsb3jjLAC8NMZXVGaA7jDqm1Ne1DpkBj21irbms 0KJMYl6W8V/ePlvW1BGBnuZYxDCMBhEUTvkjntZlZMrB9TjA4SpxpLudGEuiQ2tI0RNBDr F1Glmlznq7RIllADX++ErCUoc13swaaWp9RsPoWcg5rSKGCLkf3v9zB0bbYTqqrhkDYVLX vvpHDArOjp59HMWTDt/AhmHNwJmXUtHDDAqiiKfyYKMXMf2d/8ZzlxZ7sx9IQQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=Iz8KUcPg; dkim=fail ("headers rsa verify failed") header.d=dismail.de header.s=20190914 header.b=hxaSMhPw; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gnu.org ARC-Seal: i=1; s=key1; d=yhetil.org; t=1736457072; a=rsa-sha256; cv=none; b=Jjlrby/j52+o9ngB/p29y3lWjFkL3LtpGybMhf2mTQW31uPqpldx1a8irtt5ZqLeueYniw zEWnk0euuoCZK2KY569NofHlKhLNLUKzlyzRtYNKgSuRt/ROkPhq3HcAq1BcjxJL0DotLg Y0zFKwSAdKwtB1mKsPu+bIayH5E3bLZ9GtyY4KfuEwtfLqsbCi0hKjDjkMccTibzWJbKxq mLPmxOBjc8SU6by5e+m5OANMXRNzGStFK7e3tVrXRRxlvbVYr0l2Gb4zgKeA8CxVnKsPRy HyddMSkaH1sWxnuLzWaZIqnRSsqZcPdqna3SVOPrl0GdxoMU8xTo+U0/ooQkGg== 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 4B29125650 for ; Thu, 09 Jan 2025 22:11:12 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1tVzo2-0001ou-JE; Thu, 09 Jan 2025 16:11:06 -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 1tVzny-0001nf-IY for guix-patches@gnu.org; Thu, 09 Jan 2025 16:11:03 -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 ) id 1tVzny-0002cy-AO for guix-patches@gnu.org; Thu, 09 Jan 2025 16:11:02 -0500 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:In-Reply-To:From:To:References:Subject; bh=ZXp1c4gUXe+i9hTTg18KLtHLACOGZLo6SLqh1p+0vWs=; b=Iz8KUcPg3UGZq0j38m2EMF8T9tcw4LAvm/+FE2z8LUHtiGX4YuBNGHJBxo0QxbU8HKXgkkewFximuloLPZXDn4l03SlS1aLLa9Y+5BHHQznX3Snf3Rjp4PpND+SZqpXQrIC3jURMxvCieuKW+ug5HKXQfgC2H3/0Lb4DECz2VVsDkTtudQnyZNw/Z/+BQSIOLS1tjN87RsCbummGq/I2ZWduKcsZ46F4ZT7/n1eXSqNKHpPMfqocEXTRCw4m9aDHZTp1HcsjLwS5uwJxATcmZrQbniT8fVJgFE8dK7q5sxBonklSqAMTHOfwGn86GVNJXXfg9NMYHvqyUyD2EiokXQ==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1tVzny-0005cG-4S for guix-patches@gnu.org; Thu, 09 Jan 2025 16:11:02 -0500 Subject: bug#75251: [PATCH 04/71] gnu: clingo: Rename clasp to potassco-clasp. References: Resent-From: jgart Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Thu, 09 Jan 2025 21:11:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 75251 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 75251-done@debbugs.gnu.org Cc: jgart Mail-Followup-To: 75251@debbugs.gnu.org, jgart@dismail.de, jgart@dismail.de Received: via spool by 75251-done@debbugs.gnu.org id=D75251.173645705921574 (code D ref 75251); Thu, 09 Jan 2025 21:11:01 +0000 Received: (at 75251-done) by debbugs.gnu.org; 9 Jan 2025 21:10:59 +0000 Received: from localhost ([127.0.0.1]:54663 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tVznv-0005bu-3V for submit@debbugs.gnu.org; Thu, 09 Jan 2025 16:10:59 -0500 Received: from mx2.dismail.de ([159.69.191.136]:46625) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tVzns-0005be-P3 for 75251-done@debbugs.gnu.org; Thu, 09 Jan 2025 16:10:57 -0500 Received: from mx2.dismail.de (localhost [127.0.0.1]) by mx2.dismail.de (OpenSMTPD) with ESMTP id 38ee3cdd for <75251-done@debbugs.gnu.org>; Thu, 9 Jan 2025 22:10:50 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=from:to:cc :subject:in-reply-to:date:message-id:mime-version:content-type; s=20190914; bh=qBJ5CA7yme3lIlegd2eo8oTc/9U0c2mO2+wlWaUVI/k=; b= hxaSMhPwXTQJNE1BDp4WwRtS0QjllfB9aK9uPgAmdVpdb/mzRgJtBbYU5xnnPUtg ggGz6BILJ49Z2vr8E58iGh2vq90Z2d2ZxK5xN0clWI4suPCEVB1Stbcw/U0Ct4s+ NdX1VdLeaQt2XGTxosidiWijONLXzZwDMiUMQNi6o6H9/MMfp++g1dK4im0fJWre c5wF4bwhLmpiECn4Nl2WBQVcIeSXEl3Sar26D3Xr8ZsdeYjyJefNQjeo1p9E9FmP SQJPCuiLQXQDhK2BrYoWAs/hxh33t5MLvA6j4hxYhBwdTRgwq86zI+urHGs4Rw9X zr4XxuNata+DuE2E1V5yfQ== Received: from smtp2.dismail.de ( [10.240.26.12]) by mx2.dismail.de (OpenSMTPD) with ESMTP id e48cf9a2 for <75251-done@debbugs.gnu.org>; Thu, 9 Jan 2025 22:10:50 +0100 (CET) Received: from smtp2.dismail.de (localhost [127.0.0.1]) by smtp2.dismail.de (OpenSMTPD) with ESMTP id eff0b2e8 for <75251-done@debbugs.gnu.org>; Thu, 9 Jan 2025 22:10:50 +0100 (CET) Received: by dismail.de (OpenSMTPD) with ESMTPSA id 28454f62 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Thu, 9 Jan 2025 22:10:49 +0100 (CET) In-Reply-To: Date: Thu, 09 Jan 2025 15:10:47 -0600 Message-ID: <87plkv3d7s.fsf@dismail.de> MIME-Version: 1.0 Content-Type: text/plain 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: , Reply-to: jgart X-ACL-Warn: , jgart via Guix-patches From: jgart via Guix-patches via Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Scanner: mx12.migadu.com X-Migadu-Spam-Score: -0.67 X-Spam-Score: -0.67 X-Migadu-Queue-Id: 4B29125650 X-TUID: 1On3SssGDnmY > * gnu/packages/potassco.scm (clasp): Rename clasp to potassco-clasp. > > Change-Id: Icfe32aae31c3abe655a909d3edf28306eb51f293 > --- > gnu/packages/potassco.scm | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm > index 09acf0f442..17b6b96fb3 100644 > --- a/gnu/packages/potassco.scm > +++ b/gnu/packages/potassco.scm > @@ -203,7 +203,7 @@ (define-public clingo > (("find_package\\(Clasp") "find_package(clasp")) > (rename-file "cmake/ClingoConfig.cmake.in" > "cmake/clingo-config.cmake.in")))))) > - (inputs (list catch2-3 clasp libpotassco)) > + (inputs (list catch2-3 potassco-clasp libpotassco)) > (native-inputs (list bison re2c > mpark-variant > pkg-config > -- > 2.47.1 <#secure method=pgpmime mode=sign> -- all the best, jgart