From 1bd582e933a4e6b875fc980bb4a75cde538b4b0c Mon Sep 17 00:00:00 2001 From: Markus Blatt Date: Fri, 9 Dec 2022 15:58:55 +0100 Subject: [PATCH] [PATCH 1/2] Fix version in dune.module Gbp-Pq: Name dunemodule-version.patch --- dune.module | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dune.module b/dune.module index b7673a5..382e828 100644 --- a/dune.module +++ b/dune.module @@ -2,7 +2,7 @@ # SPDX-License-Identifier: LicenseRef-GPL-2.0-only-with-DUNE-exception Module: dune-common -Version: 2.9-git +Version: 2.9.0 Author: The Dune Core developers Maintainer: dune-devel@lists.dune-project.org Description: Basis infrastructure for all Dune modules -- 2.30.2