diff --git a/collections/HEAD.toml b/collections/HEAD.toml index ed9f15d3c..2df11ce29 100644 --- a/collections/HEAD.toml +++ b/collections/HEAD.toml @@ -121,7 +121,7 @@ ipkg = "comonad.ipkg" [db.containers] type = "github" -url = "https://github.com/stefan-hoeck/idris2-containers" +url = "https://github.com/idris-community/idris2-containers" commit = "main" ipkg = "containers.ipkg"