From de2a3031f4d594a652e448e366bcc6b6f8f2f302 Mon Sep 17 00:00:00 2001
From: Evan Burkey <evan@burkey.co>
Date: Thu, 11 Apr 2024 06:50:17 -0700
Subject: [PATCH] fix libflint

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

diff --git a/.gitmodules b/.gitmodules
index 9637b86..a5354c8 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "lib/libflint"]
 	path = lib/libflint
-	url = https://git.fputs.com/eburk/libflint
+	url = https://git.burkey.co/eburk/libflint