From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.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 4CYZA8O3OWRtWgAASxT56A (envelope-from ) for ; Fri, 14 Apr 2023 22:29:55 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id eLULA8O3OWQyXwEAauVa8A (envelope-from ) for ; Fri, 14 Apr 2023 22:29:55 +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 D89B21CF82 for ; Fri, 14 Apr 2023 22:29:54 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pnP6c-000373-Pf; Fri, 14 Apr 2023 15:29:10 -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 1pnP6X-00035W-8D for guix-patches@gnu.org; Fri, 14 Apr 2023 15:29:05 -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 1pnP6X-0001oY-0D for guix-patches@gnu.org; Fri, 14 Apr 2023 15:29:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1pnP6W-00084W-Sr for guix-patches@gnu.org; Fri, 14 Apr 2023 15:29:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#62842] [PATCH 11/11] gnu: dune-pdelab: Update to 2.8.0-0.d5dddb6. Resent-From: Felix Gruber Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 14 Apr 2023 19:29:04 +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.168150049630911 (code B ref 62842); Fri, 14 Apr 2023 19:29:04 +0000 Received: (at 62842) by debbugs.gnu.org; 14 Apr 2023 19:28:16 +0000 Received: from localhost ([127.0.0.1]:47726 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pnP5k-00082V-6w for submit@debbugs.gnu.org; Fri, 14 Apr 2023 15:28:16 -0400 Received: from mout01.posteo.de ([185.67.36.65]:56931) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pnP5d-00080v-3k for 62842@debbugs.gnu.org; Fri, 14 Apr 2023 15:28:09 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 936E924028C for <62842@debbugs.gnu.org>; Fri, 14 Apr 2023 21:28:03 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1681500483; bh=cxCs4xqO9qxBNOElSJ3u/YGQ3Lg3fR+WUn5nG97RUBQ=; h=From:To:Cc:Subject:Date:From; b=m1PGL4TIvObKox58jbVtH89IuCpBf07EjelKBUNgCcNekckatF2BWRw6eXN+yuNph 4w+VP8mrqDePNUYVV6PvmYV2cFtbCzWqQCAVd2aX8casquddyRJy7pxfvWmyRdAUcH NhrlJszrMSb75Y20xND4FRZNXUJ51/NEkA84HFJ6YSlFf5eCuUj05RwmbQpuV2fs/p BupQGaIgy6Jbz28cZJBjlSfKLNs2P3hyInV9+R1IBJjJJObr9wBsmzmvqEmgfYsu6/ arrk3+ghd1Tr/URI/Bb3YJlFB2svWNJL/VcDSjpy3Sj53r4tW/jMah8iuJWy0txMG+ CdA9wxDgPwdNw== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Pymgl1ypcz9rxH; Fri, 14 Apr 2023 21:28:03 +0200 (CEST) From: Felix Gruber Date: Fri, 14 Apr 2023 19:27:36 +0000 Message-Id: <20230414192736.41322-11-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=1681504194; a=rsa-sha256; cv=none; b=jH25/eOi4Iu/06vCDQMBQMUIezJABh31Sa/Ey7GT+805n+0Fee4bwiksLCjw4I5A7EuqHv 4tiENwaoUAA8RbUxD1TeGY3VoRTp/JdQTYjBcdKwldlZSH5OGYcbc3TN6rWA4Mp52KKIX9 HlbrR2Qq38VdlbSrr8XFXIxUoQqwIZwsP1w7kkP/pQfOPz6SvyAjJmMu3fN8uJ2TFEgSk2 5C8YNBYw4KsfT4AH/L9G5cd+ZVty6OeqFI8JN3P/Nrc0+XQEmv2zCYTQ+BPcJJZNyDxLVo dAdqdudHUJLWsrTs66ISFoxCqAgvcwRibwzOCieDlXLsD2+q4R4cREvqcWLQgg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=m1PGL4TI; 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=1681504194; 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=4lsaTiHhvXKKji9Whe17xHf0qPbMXQerBn5BkC9HwL4=; b=sZs2Ep65CDWB8daZ+PbeDjoolXn7HuBP4/pRJC63f+mFHT6mK3biWDJRxroku0wHzPYcmb u0g5Od+E4jhKKp56f7S7ho8yuSfG5Hq3AMGoLlnodsUcmcBpoA8VJ5vtuTIvXnwt12EoMh Ta5zhETyO882GLcvFIuZ1e76GyCwf+QPrrFt1eAbJkF10XwB6QjyZcMseQ93OJcvEC6zaj 2iwUWKIaWpo1r/b8mq2sMF4GZdc9ksl+mAVuf/hJwkWPkkzLw9UUpGuL8IcSpaAY4H+BMG +U0ZyRJ9uX/qpDfB84E7fZWcQFpUV6pH+jwV7qGbLmTpTOBK23EKGVVZ4UlYGg== X-Migadu-Scanner: scn1.migadu.com X-Migadu-Spam-Score: -0.82 X-Spam-Score: -0.82 X-Migadu-Queue-Id: D89B21CF82 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=m1PGL4TI; 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: yCNWaJRP6Vs2 * gnu/packages/maths.scm (dune-pdelab): Update to 2.8.0-0.d5dddb6. --- gnu/packages/maths.scm | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index b9d305c101..9c910a43c3 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -7259,12 +7259,12 @@ (define-public dune-functions (license (list license:lgpl3+ license:gpl2)))) (define-public dune-pdelab - ;; This was the last commit on the releases/2.7 branch as of 2021-12-17, - ;; unfortunately there was no tag for any 2.7 release. - (let ((commit "09aef74d95661d18a7789d2f517ae77797eec738")) + ;; This was the last commit on the releases/2.8 branch as of 2023-04-12, + ;; unfortunately there was no tag for any 2.8 release. + (let ((commit "d5dddb6b1c21b95e867ff53cca159ad676689f5c")) (package (name "dune-pdelab") - (version (git-version "2.7.1" "0" commit)) + (version (git-version "2.8.0" "0" commit)) (source (origin (method git-fetch) @@ -7274,7 +7274,7 @@ (define-public dune-pdelab (file-name (git-file-name name version)) (sha256 (base32 - "0nv69ayr4gln9m1s94z9zkrxqi8nzar3z6awnvgqz595nmjf82ac")))) + "0l2idjp59a6x46vdd30xhhsnv7chql0z7msdsyra2h6pqm6xiqxk")))) (build-system cmake-build-system) (arguments '(#:tests? #f)) ; XXX: the tests cannot be compiled (inputs -- 2.39.2