diff --git a/.gitmodules b/.gitmodules index 0047079..d10f080 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "lib/libflint"] path = lib/libflint - url = https://fputs.com/fputs/libflint + url = https://git.sr.ht/~fputs/libflint