From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms1.migadu.com with LMTPS id 2D2rB80LTmbHwQAAe85BDQ:P1 (envelope-from ) for ; Wed, 22 May 2024 17:14:21 +0200 Received: from aspmx1.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id 2D2rB80LTmbHwQAAe85BDQ (envelope-from ) for ; Wed, 22 May 2024 17:14:21 +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-Seal: i=1; s=key1; d=yhetil.org; t=1716390861; a=rsa-sha256; cv=none; b=nCMiqKbstmugJZJk69JNFX2vLx4toTnBh3w172C1ScGrPXFTqJ2Rj6YtYk0eBKvpmi28ok x7qQtWwLarRj5S76Y0YBD2xfoyVsvuWtgVgrW86RhXP4fsTnE/EZ7G14zmDANIlxmlS4pi 01dfJR05dDaTwjKyEN0u34S/DZlThHYEDAUHYTjZuNswONJpWFtJsuRcjk4FhzDVLtmKg4 2RvVGsrxL2E53kC5ck7gZVEcStPKcgOUam7pbuWkGMhbSf8lvzj1EEKcCN3fGGoaFVaHQJ KeGRK+V+x0lKcTo7YMx06g3QM2nVjzP4orAzkyOdcUyH7wrn+oT63EyzgR6cXw== 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" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1716390861; 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=G0xc3Y2zFvD13LckEJCQe5BfM+we7BnAqYRER6+qpZE=; b=IRL2YOE4hGVg3tqrA8wSaFD4fjRLQ3Mr7heREX1f51uYi4mfD3QIfk6Hli7N5wZ+7mc/Oo CF9kMX4vhLLbBlljWkN1OlpJHdJZQ/AB0WtCRJCepCvjEDD3Uy3TRx0ca64vjQ2XOYvufh Dy+vCxKvB5T1ctFPYsol9IJ5XqG7TTWzjdOxrE7IeZiq0U6n6tqHM7YkVVUWuutRLN0rUy v2iOKPcQ/JLCWUPqmBFyw99dnTgmVvyLBQUH+w3YkTBQrVdQtUnnbOeFobZq7O+shAzXBt 2Fn2+dU17B1Bsbmwa+5dyxVhg4It0WMdTaXoa6jPoCa5jV0rvAvcOzZf6rl1rg== 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 01E9924D43 for ; Wed, 22 May 2024 17:14:21 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1s9nfE-0004Ye-Tt; Wed, 22 May 2024 11:14:00 -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 1s9nfA-0004YR-Tu for guix-patches@gnu.org; Wed, 22 May 2024 11:13:56 -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 1s9nfA-0002sV-Lr for guix-patches@gnu.org; Wed, 22 May 2024 11:13:56 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1s9nfG-0004Cf-Es for guix-patches@gnu.org; Wed, 22 May 2024 11:14:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH 0/3] Update minizinc and solvers. Resent-From: Andreas Enge Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 22 May 2024 15:14: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.171639080516132 (code B ref 70087); Wed, 22 May 2024 15:14:02 +0000 Received: (at 70087) by debbugs.gnu.org; 22 May 2024 15:13:25 +0000 Received: from localhost ([127.0.0.1]:56564 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s9nef-0004C8-8s for submit@debbugs.gnu.org; Wed, 22 May 2024 11:13:25 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:50320) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s9ned-0004C2-Q9 for 70087@debbugs.gnu.org; Wed, 22 May 2024 11:13:24 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 132961264; Wed, 22 May 2024 17:12:42 +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 XV0b5CIw-EFq; Wed, 22 May 2024 17:12:41 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:861:c4:f2f0::c64]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 5B833116; Wed, 22 May 2024 17:12:41 +0200 (CEST) Date: Wed, 22 May 2024 17:12:39 +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-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Queue-Id: 01E9924D43 X-Migadu-Scanner: mx12.migadu.com X-Migadu-Spam-Score: -5.86 X-Spam-Score: -5.86 X-TUID: YT2ucVVHqLN6 Am Wed, May 15, 2024 at 09:03:19PM +0200 schrieb Andreas Enge: > To anybody continuing work on this patchset, notice that the line > (file-name (git-file-name name version)) > should be added to the chuffed package. Personally, I will not be available for about two weeks; I can have a look again at this patchset after that, but if another committer wants to go ahead, please feel welcome. Andreas