From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1.migadu.com ([2001:41d0:1008:1e59::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id 6OFABIyNkWVTHAEAkFu2QA (envelope-from ) for ; Sun, 31 Dec 2023 16:49:32 +0100 Received: from aspmx1.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1.migadu.com with LMTPS id 0MJJAIyNkWVMQgAA62LTzQ (envelope-from ) for ; Sun, 31 Dec 2023 16:49:32 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=TpSLzkZj; 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=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1704037771; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: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:dkim-signature; bh=P1jxzHpk9zjQO+pgda7TbVhG2HdbPd0Q8iB3fnxiRIE=; b=XuyQnT9wcwSqTwPvDPM3iTugBS+gndZvHPfueLj4VPINPgfrHoLjaWlQv8BpibrlmjRTG5 txYIiSYWAz9E3fTk5hMSkv/6KyqqjYJK1OQfxiTalK8fe7v5KDb1MZi9/jbjE7xgstBZVa 9re+/T2mTkvjdzZzBGfAa8Y9IuVuplwUXwq8+GjOa0WBj5bhGWTT7GEOO8SBareSBcgU1+ UIs+1BVckeczTnFgqVHDkhsHGve1IilKkeduy+TAUbVLIBKAvzwUnl+tQZhPEpkHDTazYc IccPO0zZYbW8KqzKyVFPKLGKg4boa3dnVdPdfjmn1TgBGzsKHME3ItAVA23h2Q== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1704037771; a=rsa-sha256; cv=none; b=UGIsftvrApaHJngMSXU8sc0gNMPJ+kIVc3v89khWzHMK4jgWqON1FOR20uFX/FgFRodEci iY4wAoxZWsDheU3ejd6l6jEYILI/YDgIFkptQBMWFDdKrYq3BoEzoaB6v/ZQweih+zA0f4 G2v4aP7AN/HLdHklUPgfekjXRXt/doNtLlMObsRfB1I1SGY5Y/jxx+Y9MatVm5U+nu5X1r Fdv8Aw+yukQ+aRAsG66tTiU4a79ejzKW4p7tj0QM5XZKxyzLmKPRCDnkjsw/ROoX5UbGG7 R64d5KeMHpeaUjncAw6oQKuUUIG3x+heNh7sRVwB2aByfkk8R32ExvhGMyZFbQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=TpSLzkZj; 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=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none) 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 D8EAB1C632 for ; Sun, 31 Dec 2023 16:49:31 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rJy3q-0005V7-V1; Sun, 31 Dec 2023 10:49:10 -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 1rJy3i-0005TY-Cx for guix-patches@gnu.org; Sun, 31 Dec 2023 10:49:02 -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 1rJy3i-00038g-3l for guix-patches@gnu.org; Sun, 31 Dec 2023 10:49:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rJy3j-0004tF-9v for guix-patches@gnu.org; Sun, 31 Dec 2023 10:49:03 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#68176] [PATCH 6/9] gnu: dune-localfunctions: Update to 2.9.1. Resent-From: Felix Gruber Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 31 Dec 2023 15:49:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68176 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68176@debbugs.gnu.org Cc: Felix Gruber Received: via spool by 68176-submit@debbugs.gnu.org id=B68176.170403769518496 (code B ref 68176); Sun, 31 Dec 2023 15:49:03 +0000 Received: (at 68176) by debbugs.gnu.org; 31 Dec 2023 15:48:15 +0000 Received: from localhost ([127.0.0.1]:46856 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rJy2w-0004oD-Ug for submit@debbugs.gnu.org; Sun, 31 Dec 2023 10:48:15 -0500 Received: from mout01.posteo.de ([185.67.36.65]:51669) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rJy2u-0004nF-U8 for 68176@debbugs.gnu.org; Sun, 31 Dec 2023 10:48:13 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 1554A240027 for <68176@debbugs.gnu.org>; Sun, 31 Dec 2023 16:48:06 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1704037686; bh=XiXUPRxVnaqacmjkaYvOWMbDnBudPq1wuVlcdgKIbTg=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version: Content-Transfer-Encoding:From; b=TpSLzkZjqxanq3Odcza6i9EaOtWJanDqqwZgBJbeBeYB06w/ucLGpqsOTcpt9Y95B kxBTQmvrxRFp3nBfR4m0coFGz0ZtYSCWlK0JDIkBk+OcVYV7q40TQbl2gFZl2Hx8it y2Sv3S4V+eyY9vdNwdAPdyMXoV/HHracqbBv7Gv6Uh38T7pR7QSOapr/GSb9MY3GOB h4XnYwxwjuxeyqpGTK1wFF295DrNVv3AZb2zTq7yYyy++8ovqzEsQIdeGdHdlVLffa KkNGpxkDI7m5lT9TNv/A4UlRXEQtOuClFV+hcW90bwCVPmRaSE6vGsKkTzk8BCl/BV zT2OHimADtMCw== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4T33RT2z33z6tw6; Sun, 31 Dec 2023 16:48:05 +0100 (CET) From: Felix Gruber Date: Sun, 31 Dec 2023 15:47:14 +0000 Message-ID: In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit 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: -3.87 X-Spam-Score: -3.87 X-Migadu-Queue-Id: D8EAB1C632 X-Migadu-Scanner: mx12.migadu.com X-TUID: zYaD8IwQxnsn * gnu/packages/maths.scm (dune-localfunctions): Update to 2.9.1. Change-Id: Ic49ebff2b1fd2490a718f6a70e7e8c6db7ce5a58 --- gnu/packages/maths.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index c25a8db028..28b3385516 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -8317,7 +8317,7 @@ (define-public dune-istl (define-public dune-localfunctions (package (name "dune-localfunctions") - (version "2.9.0") + (version "2.9.1") (source (origin (method url-fetch) @@ -8325,7 +8325,7 @@ (define-public dune-localfunctions version "/dune-localfunctions-" version ".tar.gz")) (sha256 (base32 - "02zl49q40ifmic221fxlhi8zj9pybdyjavzvgn1zwh636ysgjbsp")))) + "0vcqkdv6scl5lvmr97xnwr34k6pl0hpa25bhrj0wwjg8sqn889wq")))) (build-system cmake-build-system) (arguments `(#:phases -- 2.41.0