From 20a0cb4c97333500a5d914496c7a40a817977782 Mon Sep 17 00:00:00 2001
From: Joshua Lampert <51029046+JoshuaLampert@users.noreply.github.com>
Date: Tue, 12 Dec 2023 19:44:00 +0100
Subject: [PATCH] Fix version of P4est_jll.jl (#104)

* fix version of P4est_jll.jl

* compat does not allow +x
---
 Project.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Project.toml b/Project.toml
index 03db116..75a2b84 100644
--- a/Project.toml
+++ b/Project.toml
@@ -16,7 +16,7 @@ UUIDs = "cf7118a7-6976-5b1a-9a39-7adc72f591a4"
 CEnum = "0.4, 0.5"
 MPI = "0.20"
 MPIPreferences = "0.1"
-P4est_jll = "~2.8"
+P4est_jll = "=2.8.1"
 Preferences = "1"
 Reexport = "0.2, 1.0"
 UUIDs = "1.6"