update libflint path

2024-08-13 08:24:30 -07:00
parent 31129c5916
commit 7f51a2bb8a
2 changed files with 2 additions and 2 deletions
--- a/.gitmodules
+++ b/.gitmodules
@ -1,6 +1,6 @@
 [submodule "lib/libflint"]
 	path = lib/libflint
-	url = https://git.fputs.com/fputs/libflint
+	url = https://git.burkey.co/eburk/libflint
 [submodule "lib/uthash"]
 	path = lib/uthash
 	url = https://github.com/troydhanson/uthash