From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms1.migadu.com with LMTPS id yB17NT3sRGbwRAAAqHPOHw:P1 (envelope-from ) for ; Wed, 15 May 2024 19:09:17 +0200 Received: from aspmx1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0.migadu.com with LMTPS id yB17NT3sRGbwRAAAqHPOHw (envelope-from ) for ; Wed, 15 May 2024 19:09:17 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=none; 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=none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1715792957; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc: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; bh=/P2XOlLfBHzXQbRzsa6V+FKGV1Q4efoe1s96jhkh0bU=; b=PUlN/xInfKNHdxgj28IZkbLC1nq+qGDl5mnV38bsbi7HTRgCedKHgt6yQVrw7CVCxngjg2 2Dso4Pw/LBBigZQRZQzOrrLMergdKWOSgvcOgM9uJtqzowZ5KRJZICUlUy91FJLuZdu6eX GGiF2PP/zm2mfFpFZ99ZgJlebczv4WWdBMnEFVHPBTQWYbcUHTlvv1Kb2KVgLhibpLRNdH xM9idTFv1RiWbgeCLsu//kw9qI4EPgz2Bjc3wOL9DoBGsnvQyYFlJ1mKUmW5QC5Wdj0AVC Q87ARvfAyFRubum3fI+qdOZsF4Sbj5WUsRViUQ42So4gjWiWphuONcWkAKew+A== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; 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=none ARC-Seal: i=1; s=key1; d=yhetil.org; t=1715792957; a=rsa-sha256; cv=none; b=FCrtCD1B3uQNGZJeImihhi3MnoZPomaF/H8Xw6dpum0BfZBXXC4c1TrpEe5RXKOtn38d/1 wmndhKY6vkGgDnSEtmnC52iESRueWwqQjc2VZqWhmVxkwKwWQILJT8hIQe7du4mK6pNvLU 0oEXWVnrbetzr2+JGXew+0MzmApv7LX1g/WrqnmtukpZusqygXEivRhdG/P6Uzf88X243B lYwp00IdCBPfmlj+lsMuI7xNUXuNErI947cyKSJ3/tpRJ+MTgH38d4sD82BnQ/VVgE2BDj cfw/3JSCYgslpIEBnDPgnrbobHEKf7voq9SyuycNWy0o3MDY63XZ6958tJLfiA== 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 BA4EB54E4E for ; Wed, 15 May 2024 19:09:17 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1s7I7l-0008Oa-NI; Wed, 15 May 2024 13:09: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 1s7I7h-0008O0-FV for guix-patches@gnu.org; Wed, 15 May 2024 13:09:01 -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 1s7I7g-0001AW-SY for guix-patches@gnu.org; Wed, 15 May 2024 13:09:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1s7I7i-0007KM-CK for guix-patches@gnu.org; Wed, 15 May 2024 13:09:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH v2 1/4] gnu: gecode: Update to 6.2.0-1.f7f0d7c. Resent-From: Andreas Enge Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 15 May 2024 17:09:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Herman Rimm Cc: Eric Bavier , Sharlatan Hellseher , 70087@debbugs.gnu.org Received: via spool by 70087-submit@debbugs.gnu.org id=B70087.171579293128156 (code B ref 70087); Wed, 15 May 2024 17:09:02 +0000 Received: (at 70087) by debbugs.gnu.org; 15 May 2024 17:08:51 +0000 Received: from localhost ([127.0.0.1]:43268 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s7I7X-0007K4-0Z for submit@debbugs.gnu.org; Wed, 15 May 2024 13:08:51 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:58220) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s7I7U-0007Jx-UA for 70087@debbugs.gnu.org; Wed, 15 May 2024 13:08:49 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id B31E31FA2; Wed, 15 May 2024 19:08:40 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id B3QU_oQEDFwL; Wed, 15 May 2024 19:08:40 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:678:984:800:7aea:3b12:7efa:b1bc]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 47CE51C9D; Wed, 15 May 2024 19:08:39 +0200 (CEST) Date: Wed, 15 May 2024 19:08:37 +0200 From: Andreas Enge Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: 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-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -4.37 X-Spam-Score: -4.37 X-Migadu-Queue-Id: BA4EB54E4E X-Migadu-Scanner: mx13.migadu.com X-TUID: k/Y2RyZUakv/ Hello Herman, it looks like we have worked in parallel on this patchset, sorry for this! With my previous commits to master, your v2 does not apply any more. I have updated chuffed to version 0.13.2, which covers your patch 2. Your patch 3 has already been applied in a form derived from your v1. I have compiled minizinc with the new chuffed, and could use them together to solve the magic square. So we are in a working and consistent state. Could you please send a v3 of your patches 1 and 4, based on current master? I suppose patch 4 can remain as it is. For patch 1, the new revision should then be 3, as we are currently at 2. As written above, updating minizinc and gecode simultaneously to their latest versions did not work out of the box for me. I suppose that these two features: Am Wed, May 15, 2024 at 05:51:22PM +0200 schrieb Herman Rimm: > [arguments]: Add patch-msc-and-version phase. > (minizinc)[arguments]: Copy provided gecode.msc file instead. solve the problem? I have reopened the bug, and will let you go ahead now; I think you are in a better position than me for adapting your patches to the current master. Thanks, Andreas