From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms1.migadu.com with LMTPS id qEiQARRPQ2bJ7QAAqHPOHw:P1 (envelope-from ) for ; Tue, 14 May 2024 13:46:28 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0.migadu.com with LMTPS id qEiQARRPQ2bJ7QAAqHPOHw (envelope-from ) for ; Tue, 14 May 2024 13:46:28 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=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" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1715687187; 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=pRMXZ0BGDbl9EuKvXgDBs/TdGBcINlVeQl9n84Sppc0=; b=BK7br3Sui75+681O63Vk69Xfvr3EwFMNJN8KnfC9MxfY7CwSdXtIU2IXynd4Mdj2WjReuH 5mq+S+/c1iEQC1AsDTQw0QgH5/sQc6ChIDI/BIjNEe3cKUd0QfiIY4o4gLsX/rrDQfgI2L J4RLYtL7eWXUobw+5xeWeJdhjBJrc2TwwQlw4onyp4k9C7nBGAj+1KJepzmLAsTC+QIO/2 DQ6WzurpC74+YeSL7Vhcg+FJd8N+B6vyJWmwFO0KYH8WLgZJDBHX8UqrKuJNpMUgSVTSqY EtIaiqAKTlR8EAJjSL8NHuz6oeVxB4VebBVspPuS2yLhok03A6cPdkbFR5w79A== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1715687187; a=rsa-sha256; cv=none; b=fuqU7hYuTlxGgIXgXOEy6ryA2dM/lrKZkzlJ5qPtnD5yXldpVQduOns5mv7oV7EiD4Fp4L 4ClVnMz/+kdYeoTvWA263UGasZ5XBAZiwEl5jtKzMqxthhmAM/w8Qjy2ElqDu/XgomGdz8 i051SJw+i1zZFSEFVsrj1qLRMf/KOpSiwpGOFfqC0DgX8rH7OMGyErDv3FRAgDlHkfMzCY 2fu+ALhFV3kARcMMvKYPqKkwYBnj7JmKlqR8EyHX+/e+W7FP6yi4qKf8/amOdkaW6fixrg kDENq0Cxp0SM8jNVrofV7JMxHSdxEWRyWL/VyXJ9+n6goWtWOqaNRSnrjECKjQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; dmarc=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" 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 CF72070507 for ; Tue, 14 May 2024 13:46:27 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1s6qbk-0004YG-Ew; Tue, 14 May 2024 07:46:14 -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 1s6qba-0004WJ-8x for guix-patches@gnu.org; Tue, 14 May 2024 07:46:02 -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 1s6qbZ-0006p1-ID for guix-patches@gnu.org; Tue, 14 May 2024 07:46:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1s6qba-0003eX-DL for guix-patches@gnu.org; Tue, 14 May 2024 07:46:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Resent-From: Andreas Enge Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 14 May 2024 11:46: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.17156871146817 (code B ref 70087); Tue, 14 May 2024 11:46:02 +0000 Received: (at 70087) by debbugs.gnu.org; 14 May 2024 11:45:14 +0000 Received: from localhost ([127.0.0.1]:38867 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s6qao-0001kn-DC for submit@debbugs.gnu.org; Tue, 14 May 2024 07:45:14 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:56862) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s6qam-0001Ie-1r for 70087@debbugs.gnu.org; Tue, 14 May 2024 07:45:13 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id BE9781A0C; Tue, 14 May 2024 13:44:34 +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 WP9qz901MEvD; Tue, 14 May 2024 13:44:34 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:678:984:800:7aea:3b12:7efa:b1bc]) by hera.aquilenet.fr (Postfix) with ESMTPSA id C508B300; Tue, 14 May 2024 13:44:33 +0200 (CEST) Date: Tue, 14 May 2024 13:44:31 +0200 From: Andreas Enge Message-ID: References: <6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2> 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: -1.37 X-Spam-Score: -1.37 X-Migadu-Queue-Id: CF72070507 X-Migadu-Scanner: mx11.migadu.com X-TUID: ANPfPj7yGgBB Hello, Am Tue, May 14, 2024 at 09:31:47AM +0200 schrieb Herman Rimm: > A new version is required because for e.g. [1] the current gecode gives: > $ minizinc --solver gecode magic_square.mzn thanks for the example! Actually you can also drop "--solver gecode", since gecode is the default choice. And when doing $ minizinc --solver coin-bc magic_square.mzn it prints a solution. So this is a good reason for updating gecode. I do not know what would be a good commit; maybe the most recent one, or anything before if that looks more stable. I will let you have a look. > > in any case it could not be called 6.3.0, since there is no such release. > Can I use the 'git-version' procedure in the updated package and create > a 'gecode/pinned' package which inherits from it for the 6.2.0 release? As I understand things, you use '(git-version "6.2.0" 1 commit-number)' for the first Guix package created from a release after 6.2.0. There is no reason to have two packages - only minizinc depends on it, and this is actually requiring a new package. So indeed, just update the package. Andreas