From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0.migadu.com ([2001:41d0:303:5f26::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id KM0SG5qNkWUJ5QAAkFu2QA (envelope-from ) for ; Sun, 31 Dec 2023 16:49:46 +0100 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 ONC5FZqNkWX5ZQAAqHPOHw (envelope-from ) for ; Sun, 31 Dec 2023 16:49:46 +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=DagbXD+X; 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=1704037786; 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=d5lKbOjWRJ0wvA1ToC7KOGTMRlWbUlZycp+Zedvu3fY=; b=l881RndZD6R2Ym5kciCtsCYwkbU2x0wp00Hv4hxMvmseLTEWzSS+wf+bTIUn3VxR9Uk34k R/oyczxnfHJpUGNuPaGVLz8635OvOnJecev8F69K5PSNE8chvtoKhZ+f3zgAkyJvmC/WcQ 0BTsWz4cfHrud1i3UL+5b8zT/wI7tKcQMcd3+EcBEbWhibXkZmUPsxWpSMkDOGmB/irqXb JTjp48AlDiHB0y95qeYQ3vtte4n0ZGFvNfEV8jTXZaIIjLpQq/tb16A8znW/FXpH6AKvSQ vgKDDaUuocOaWA5Y7fWkaQhlf7+bVfonHJEdRx+F7+6QF7kGi+kpXXL9J/d2bQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1704037786; a=rsa-sha256; cv=none; b=jxzv32RlFaQo5Zo+yHCRFSDBddMnDPNrs5xd2OnlXEtCwHFtUuydd5wdgzLxtVTE4SkVvm qQgQ+vs28yu9VAhcXA6mXeMut52tj38L4TKWnX0fJcMcUcxS1yFmI//jYjBnzfKe5oF8zO K38KW2BsvJ+m+nGBxwyuZ8mS1HZs4xUNQSA/60TG7WxkGYoTIWnpVEuHQTqxFuKi/+CquO ZhsVa8Ma15N9RIDTeDxcDP7VQ77QHye07Sbf5nArLL+gDgNJtylT8J3tLHWYawyGLa+/Ei ET/dxYsYmN+owLAj0Y4W0eikn3dgQ55jUt2gYOeuq4yTmQUXWU8jr+ODw3kYTA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=DagbXD+X; 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 45E8F148EC for ; Sun, 31 Dec 2023 16:49:45 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rJy3s-0005XB-UP; Sun, 31 Dec 2023 10:49:12 -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 1rJy3j-0005Tq-Hp for guix-patches@gnu.org; Sun, 31 Dec 2023 10:49:08 -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 1rJy3j-00038z-AF for guix-patches@gnu.org; Sun, 31 Dec 2023 10:49:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rJy3k-0004tb-G2 for guix-patches@gnu.org; Sun, 31 Dec 2023 10:49:04 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#68176] [PATCH 9/9] gnu: dune-functions: 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:04 +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.170403770918621 (code B ref 68176); Sun, 31 Dec 2023 15:49:04 +0000 Received: (at 68176) by debbugs.gnu.org; 31 Dec 2023 15:48:29 +0000 Received: from localhost ([127.0.0.1]:46865 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rJy3B-0004qA-8K for submit@debbugs.gnu.org; Sun, 31 Dec 2023 10:48:29 -0500 Received: from mout01.posteo.de ([185.67.36.65]:55673) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rJy36-0004oo-Fl for 68176@debbugs.gnu.org; Sun, 31 Dec 2023 10:48:24 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 9D154240027 for <68176@debbugs.gnu.org>; Sun, 31 Dec 2023 16:48:17 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1704037697; bh=orciYD2j3R3y8kZdZkJUaSJTGdFmnCrx4UTAhn89wXU=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version: Content-Transfer-Encoding:From; b=DagbXD+XOoO4oX7FaPJ8jtibfLSvVp+/hiqgQZxQSD/fLIXVHdnVmDy7838GFM7tD ugekne4rVRXTPu3nfF63iA8F0C7+9n2JVd2BXrXSmEG/8N0JRSc3fZtIeYVlLlnxGR sRwZ07I5+gC1rh46g20ZLOdRZgUDzYp2B89SKT9WQFKJgqyjR4TplQp2gKmcen0zs5 o2IcRqlLWl7GS59KlASfKngGj31OSKqatG+Px/wyG9s+GRgtsX9iX9bUkNaxSTscyl 4NHRVCSzwxl2RLAYvelmmyivW/tXetoL17Gj3a6GzI98dQHEQHHFZd0rcWZML70Rt9 A/c4aPqKkWpHA== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4T33Rj0vWFz6twQ; Sun, 31 Dec 2023 16:48:17 +0100 (CET) From: Felix Gruber Date: Sun, 31 Dec 2023 15:47:17 +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.85 X-Spam-Score: -3.85 X-Migadu-Queue-Id: 45E8F148EC X-Migadu-Scanner: mx11.migadu.com X-TUID: iX+1K4NJgx8H * gnu/packages/maths.scm (dune-functions): Update to 2.9.1. Change-Id: I395f0855c094e800ecef5533ea8d8666ada001a7 --- 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 f667c98bd5..9f24a06380 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -8517,7 +8517,7 @@ (define-public dune-typetree (define-public dune-functions (package (name "dune-functions") - (version "2.9.0") + (version "2.9.1") (source (origin (method git-fetch) @@ -8527,7 +8527,7 @@ (define-public dune-functions (file-name (git-file-name name version)) (sha256 (base32 - "0pmi9vk0pdq9qp3xvknsndg8l6f2xkjr1rwbfbzsl9aj0qv9rn2p")))) + "195q4wqn525xxc621g1q58acmc2v3h1mq52w5flv1vznzfnh6prv")))) (build-system cmake-build-system) (arguments `(#:phases -- 2.41.0