From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id MF3ICdm5OWT+gQAASxT56A (envelope-from ) for ; Fri, 14 Apr 2023 22:38:49 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id 0GzICdm5OWQ+4AAA9RJhRA (envelope-from ) for ; Fri, 14 Apr 2023 22:38:49 +0200 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 F36911D610 for ; Fri, 14 Apr 2023 22:38:48 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pnP6W-00033S-EW; Fri, 14 Apr 2023 15:29:04 -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 1pnP6V-00032y-IV for guix-patches@gnu.org; Fri, 14 Apr 2023 15:29:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pnP6V-0001mX-1f for guix-patches@gnu.org; Fri, 14 Apr 2023 15:29:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1pnP6U-00083u-UW for guix-patches@gnu.org; Fri, 14 Apr 2023 15:29:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#62842] [PATCH 06/11] gnu: dune-localfunctions: Update to 2.9.0. Resent-From: Felix Gruber Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 14 Apr 2023 19:29:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 62842 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 62842@debbugs.gnu.org Cc: Felix Gruber Received: via spool by 62842-submit@debbugs.gnu.org id=B62842.168150048630849 (code B ref 62842); Fri, 14 Apr 2023 19:29:02 +0000 Received: (at 62842) by debbugs.gnu.org; 14 Apr 2023 19:28:06 +0000 Received: from localhost ([127.0.0.1]:47712 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pnP5Z-00081N-SH for submit@debbugs.gnu.org; Fri, 14 Apr 2023 15:28:06 -0400 Received: from mout01.posteo.de ([185.67.36.65]:59479) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pnP5U-0007zL-P4 for 62842@debbugs.gnu.org; Fri, 14 Apr 2023 15:28:01 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 4027224028C for <62842@debbugs.gnu.org>; Fri, 14 Apr 2023 21:27:55 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1681500475; bh=GvCmkym65/esuleXvZRPJHY3rpywzx0asorjw9Lb1Zo=; h=From:To:Cc:Subject:Date:From; b=GEJo9fWWcUwR8sInjQMyoGF+ctZDWDhIvMdYDAu/evQOEkPWEkA8K8SBE74LOsiVc SiFoApSr+FT7WZhOrIvh18OtosQXG+zZHo0bacqZn/Ee1137TGX5Qi/xZ45XM43YmI 1fM+RSZ0ArmQyJSF9wze+f8dGG0Y4BfXWepFgaKOXCBMbO/tyI5xsPLnfVHDBjYTy7 KdOe0oJWHc/G7R806i6i+QPSxMM6CGCpi3sRnO++UEgepUFFHB3/TsDjrtCs/Tr/EN vOvOUMijZmHv7p+E/5G6NbAMHWOSV0R83WAv7xL7nNG0/8dPLHgYj3KszJHe9Zq33i +zbGTYvHczxyg== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4PymgZ6ZRnz6tw1; Fri, 14 Apr 2023 21:27:54 +0200 (CEST) From: Felix Gruber Date: Fri, 14 Apr 2023 19:27:31 +0000 Message-Id: <20230414192736.41322-6-felgru@posteo.net> In-Reply-To: <20230414192518.41188-1-felgru@posteo.net> References: <20230414192518.41188-1-felgru@posteo.net> 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-Country: US X-Migadu-Flow: FLOW_IN ARC-Seal: i=1; s=key1; d=yhetil.org; t=1681504729; a=rsa-sha256; cv=none; b=iu2HTUSg63/3EPoM8MP1K+1wiPjy3MAin85VRV+jSeXEZKRdOHnNx4Wuy4SZyIBD7RwEDp yq16s3XRQTYPifoEAmUnLLIDx8Dnj1E1dUF0yX0ET+vBPaKemlLuosBi+IkZ0CxTLtB7mm w14X+czjBwL4HBbyOiYWuVN0y4rbxdtsYTloWqRJCFi31Dq33irJpcTGGTB42X5yV71RbH nHVA6wSbGa+QvJI4zEz9Zwl/n4rvRGjqgwdLV3S1aGZGiutmXgPfELWHzucCASN4aRYouF QRJO9KizuJGL/itp5TiifJIkW8Et4rI0wMGW/Xb3L/fh/srEoaV10eUPGWhPAQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=GEJo9fWW; 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=1681504729; 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=2Sxt57gLYP2LyXZBAjBvYkbODAb9GA+/Zo6YndEjkYE=; b=SLaWrTvsuSSM/ee+oqabX7RqmwPwcIiYoMZm36VQ3MsF15UpIDuJu1EeW3xrtndyvcbEay Llv+JXKRCdjYfLXTe5+UCmvLZKSMhtBxX3B0N9oviRgv0Vl5ac84XcfBTPgrVQHT/Qc/Oh l8EGgTeEkKZV1wij0hidi3QclnwzSDYugPrrAq9aojG8Jr5DL5ARU5dGE2LAnYUfdn1AIR oFFm1T5MGQBuloEuq9ZyalD3y79790JrVdFFqNUJY/nmu4pQODKPnvlgATEHeaWdj/ZyIp ZY8VNwqeNZVtzgRIpKaFwgRKnJMx2A0VM0o92EK+E18tcEERw2ZuGDMMDq1QeA== X-Migadu-Scanner: scn1.migadu.com X-Migadu-Spam-Score: -0.82 X-Spam-Score: -0.82 X-Migadu-Queue-Id: F36911D610 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=GEJo9fWW; 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) X-TUID: 87M2w+ibhuEc * gnu/packages/maths.scm (dune-localfunctions): Update to 2.9.0. --- 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 ad50b65cae..020f599f70 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -7008,7 +7008,7 @@ (define-public dune-istl (define-public dune-localfunctions (package (name "dune-localfunctions") - (version "2.7.1") + (version "2.9.0") (source (origin (method url-fetch) @@ -7016,7 +7016,7 @@ (define-public dune-localfunctions version "/dune-localfunctions-" version ".tar.gz")) (sha256 (base32 - "031i42anrhi0ngpvp42rdjbkic7v3008fwild9xg7flffwvnpshg")))) + "02zl49q40ifmic221fxlhi8zj9pybdyjavzvgn1zwh636ysgjbsp")))) (build-system cmake-build-system) (arguments `(#:phases -- 2.39.2