gitlab-ci: Drop CircleCI jobs

[ghc.git] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index 2125a92..42ed8bf 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -38,22 +38,10 @@
        path = libraries/Win32
        url = ../packages/Win32.git
        ignore = untracked
-[submodule "libraries/primitive"]
-       path = libraries/primitive
-       url = ../packages/primitive.git
-       ignore = untracked
-[submodule "libraries/vector"]
-       path = libraries/vector
-       url = ../packages/vector.git
-       ignore = untracked
 [submodule "libraries/time"]
        path = libraries/time
        url = ../packages/time.git
        ignore = untracked
-[submodule "libraries/random"]
-       path = libraries/random
-       url = ../packages/random.git
-       ignore = untracked
 [submodule "libraries/array"]
        path = libraries/array
        url = ../packages/array.git
@@ -102,10 +90,6 @@
        path = libraries/stm
        url = ../packages/stm.git
        ignore = untracked
-[submodule "libraries/dph"]
-       path = libraries/dph
-       url = ../packages/dph.git
-       ignore = untracked
 [submodule "utils/haddock"]
        path = utils/haddock
        url = ../haddock.git
@@ -129,6 +113,3 @@
 [submodule ".arc-linters/arcanist-external-json-linter"]
        path = .arc-linters/arcanist-external-json-linter
        url = ../arcanist-external-json-linter.git
-[submodule "hadrian"]
-       path = hadrian
-       url = ../hadrian.git