From ebde9340d7a9d9b026b4b8a977bfcab6035b7217 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Mon, 21 Dec 2020 00:22:59 +0000
Subject: [PATCH] CompatHelper: bump compat for "LoadFlint" to "0.5"

---
 Project.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Project.toml b/Project.toml
index 6ad71693d..64a0acf2d 100644
--- a/Project.toml
+++ b/Project.toml
@@ -25,6 +25,6 @@ Antic_jll = "~0.2.2"
 Arb_jll = "~2.18.1"
 BinaryProvider = "0.4, 0.5"
 FLINT_jll = "~2.6.3"
-LoadFlint = "^0.3.4"
+LoadFlint = "^0.3.4, 0.5"
 RandomExtensions = "0.4.2"
 julia = "1"