X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=.gitmodules;h=68866e4b7b900c6e3b39ecbd957f3162095a091d;hp=ee9771bcdb2ad8da9c7f00520765cef03775fcbc;hb=61178e9da05deb4cd6f77838b069f05018bfdc16;hpb=a0346fa834f8005f9f33b736ee4b098ea4205de1

diff --git a/.gitmodules b/.gitmodules
index ee9771b..68866e4 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,108 @@
 [submodule "compiler/hetmet"]
 	path = compiler/hetmet
 	url = http://git.megacz.com/coq-hetmet.git
+[submodule "libraries/xhtml"]
+	path = libraries/xhtml
+	url = http://darcs.haskell.org/packages/xhtml.git
+[submodule "libraries/Cabal"]
+	path = libraries/Cabal
+	url = http://darcs.haskell.org/packages/Cabal.git
+[submodule "libraries/Win32"]
+	path = libraries/Win32
+	url = http://darcs.haskell.org/packages/Win32.git
+[submodule "libraries/array"]
+	path = libraries/array
+	url = http://darcs.haskell.org/packages/array.git
+[submodule "libraries/base"]
+	path = libraries/base
+	url = http://git.megacz.com/ghc-base.git
+[submodule "libraries/binary"]
+	path = libraries/binary
+	url = http://darcs.haskell.org/packages/binary.git
+[submodule "libraries/bytestring"]
+	path = libraries/bytestring
+	url = http://darcs.haskell.org/packages/bytestring.git
+[submodule "libraries/containers"]
+	path = libraries/containers
+	url = http://darcs.haskell.org/packages/containers.git
+[submodule "libraries/directory"]
+	path = libraries/directory
+	url = http://darcs.haskell.org/packages/directory.git
+[submodule "libraries/dph"]
+	path = libraries/dph
+	url = http://darcs.haskell.org/packages/dph.git
+[submodule "libraries/extensible-exceptions"]
+	path = libraries/extensible-exceptions
+	url = http://darcs.haskell.org/packages/extensible-exceptions.git
+[submodule "libraries/filepath"]
+	path = libraries/filepath
+	url = http://darcs.haskell.org/packages/filepath.git
+[submodule "libraries/ghc-prim"]
+	path = libraries/ghc-prim
+	url = http://darcs.haskell.org/packages/ghc-prim.git
+[submodule "libraries/haskeline"]
+	path = libraries/haskeline
+	url = http://darcs.haskell.org/packages/haskeline.git
+[submodule "libraries/haskell2010"]
+	path = libraries/haskell2010
+	url = http://darcs.haskell.org/packages/haskell2010.git
+[submodule "libraries/haskell98"]
+	path = libraries/haskell98
+	url = http://darcs.haskell.org/packages/haskell98.git
+[submodule "libraries/hoopl"]
+	path = libraries/hoopl
+	url = http://darcs.haskell.org/packages/hoopl.git
+[submodule "libraries/hpc"]
+	path = libraries/hpc
+	url = http://darcs.haskell.org/packages/hpc.git
+[submodule "libraries/integer-gmp"]
+	path = libraries/integer-gmp
+	url = http://darcs.haskell.org/packages/integer-gmp.git
+[submodule "libraries/integer-simple"]
+	path = libraries/integer-simple
+	url = http://darcs.haskell.org/packages/integer-simple.git
+[submodule "libraries/mtl"]
+	path = libraries/mtl
+	url = http://darcs.haskell.org/packages/mtl.git
+[submodule "libraries/old-locale"]
+	path = libraries/old-locale
+	url = http://darcs.haskell.org/packages/old-locale.git
+[submodule "libraries/old-time"]
+	path = libraries/old-time
+	url = http://darcs.haskell.org/packages/old-time.git
+[submodule "libraries/pretty"]
+	path = libraries/pretty
+	url = http://darcs.haskell.org/packages/pretty.git
+[submodule "libraries/primitive"]
+	path = libraries/primitive
+	url = http://darcs.haskell.org/packages/primitive.git
+[submodule "libraries/process"]
+	path = libraries/process
+	url = http://darcs.haskell.org/packages/process.git
+[submodule "libraries/random"]
+	path = libraries/random
+	url = http://darcs.haskell.org/packages/random.git
+[submodule "libraries/template-haskell"]
+	path = libraries/template-haskell
+	url = http://darcs.haskell.org/packages/template-haskell.git
+[submodule "libraries/terminfo"]
+	path = libraries/terminfo
+	url = http://darcs.haskell.org/packages/terminfo.git
+[submodule "libraries/unix"]
+	path = libraries/unix
+	url = http://darcs.haskell.org/packages/unix.git
+[submodule "libraries/utf8-string"]
+	path = libraries/utf8-string
+	url = http://darcs.haskell.org/packages/utf8-string.git
+[submodule "libraries/vector"]
+	path = libraries/vector
+	url = http://darcs.haskell.org/packages/vector.git
+[submodule "ghc-tarballs"]
+	path = ghc-tarballs
+	url = http://darcs.haskell.org//ghc-tarballs.git
+[submodule "utils/haddock"]
+	path = utils/haddock
+	url = http://darcs.haskell.org/haddock2.git
+[submodule "utils/hsc2hs"]
+	path = utils/hsc2hs
+	url = http://darcs.haskell.org/hsc2hs.git