diff --git a/.gitmodules b/.gitmodules index 5543aab..78ebf39 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,6 @@ [submodule "lib/libflint"] path = lib/libflint - url = https://git.burkey.co/eburk/libflint + url = https://gitlab.com/eburk/libflint.git [submodule "lib/uthash"] path = lib/uthash url = https://github.com/troydhanson/uthash diff --git a/lib/uthash b/lib/uthash index 619fe95..f69112c 160000 --- a/lib/uthash +++ b/lib/uthash @@ -1 +1 @@ -Subproject commit 619fe95ca4679249528f086536aadd0c469dbd99 +Subproject commit f69112c04f1b6e059b8071cb391a1fcc83791a00