X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=.gitmodules;fp=.gitmodules;h=5d7e40d9e0319b0b1b2277756b6991583ac99861;hp=68866e4b7b900c6e3b39ecbd957f3162095a091d;hb=6216098047f251ad8dc8ec9f03c935f5ff454a67;hpb=cd47700887365ca2a6af17d03e731efce65cf2ac diff --git a/.gitmodules b/.gitmodules index 68866e4..5d7e40d 100644 --- a/.gitmodules +++ b/.gitmodules @@ -3,106 +3,106 @@ url = http://git.megacz.com/coq-hetmet.git [submodule "libraries/xhtml"] path = libraries/xhtml - url = http://darcs.haskell.org/packages/xhtml.git + url = http://git.haskell.org/packages/xhtml.git [submodule "libraries/Cabal"] path = libraries/Cabal - url = http://darcs.haskell.org/packages/Cabal.git + url = http://git.haskell.org/packages/Cabal.git [submodule "libraries/Win32"] path = libraries/Win32 - url = http://darcs.haskell.org/packages/Win32.git + url = http://git.haskell.org/packages/Win32.git [submodule "libraries/array"] path = libraries/array - url = http://darcs.haskell.org/packages/array.git + url = http://git.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 + url = http://git.haskell.org/packages/binary.git [submodule "libraries/bytestring"] path = libraries/bytestring - url = http://darcs.haskell.org/packages/bytestring.git + url = http://git.haskell.org/packages/bytestring.git [submodule "libraries/containers"] path = libraries/containers - url = http://darcs.haskell.org/packages/containers.git + url = http://git.haskell.org/packages/containers.git [submodule "libraries/directory"] path = libraries/directory - url = http://darcs.haskell.org/packages/directory.git + url = http://git.haskell.org/packages/directory.git [submodule "libraries/dph"] path = libraries/dph - url = http://darcs.haskell.org/packages/dph.git + url = http://git.haskell.org/packages/dph.git [submodule "libraries/extensible-exceptions"] path = libraries/extensible-exceptions - url = http://darcs.haskell.org/packages/extensible-exceptions.git + url = http://git.haskell.org/packages/extensible-exceptions.git [submodule "libraries/filepath"] path = libraries/filepath - url = http://darcs.haskell.org/packages/filepath.git + url = http://git.haskell.org/packages/filepath.git [submodule "libraries/ghc-prim"] path = libraries/ghc-prim - url = http://darcs.haskell.org/packages/ghc-prim.git + url = http://git.haskell.org/packages/ghc-prim.git [submodule "libraries/haskeline"] path = libraries/haskeline - url = http://darcs.haskell.org/packages/haskeline.git + url = http://git.haskell.org/packages/haskeline.git [submodule "libraries/haskell2010"] path = libraries/haskell2010 - url = http://darcs.haskell.org/packages/haskell2010.git + url = http://git.haskell.org/packages/haskell2010.git [submodule "libraries/haskell98"] path = libraries/haskell98 - url = http://darcs.haskell.org/packages/haskell98.git + url = http://git.haskell.org/packages/haskell98.git [submodule "libraries/hoopl"] path = libraries/hoopl - url = http://darcs.haskell.org/packages/hoopl.git + url = http://git.haskell.org/packages/hoopl.git [submodule "libraries/hpc"] path = libraries/hpc - url = http://darcs.haskell.org/packages/hpc.git + url = http://git.haskell.org/packages/hpc.git [submodule "libraries/integer-gmp"] path = libraries/integer-gmp - url = http://darcs.haskell.org/packages/integer-gmp.git + url = http://git.haskell.org/packages/integer-gmp.git [submodule "libraries/integer-simple"] path = libraries/integer-simple - url = http://darcs.haskell.org/packages/integer-simple.git + url = http://git.haskell.org/packages/integer-simple.git [submodule "libraries/mtl"] path = libraries/mtl - url = http://darcs.haskell.org/packages/mtl.git + url = http://git.haskell.org/packages/mtl.git [submodule "libraries/old-locale"] path = libraries/old-locale - url = http://darcs.haskell.org/packages/old-locale.git + url = http://git.haskell.org/packages/old-locale.git [submodule "libraries/old-time"] path = libraries/old-time - url = http://darcs.haskell.org/packages/old-time.git + url = http://git.haskell.org/packages/old-time.git [submodule "libraries/pretty"] path = libraries/pretty - url = http://darcs.haskell.org/packages/pretty.git + url = http://git.haskell.org/packages/pretty.git [submodule "libraries/primitive"] path = libraries/primitive - url = http://darcs.haskell.org/packages/primitive.git + url = http://git.haskell.org/packages/primitive.git [submodule "libraries/process"] path = libraries/process - url = http://darcs.haskell.org/packages/process.git + url = http://git.haskell.org/packages/process.git [submodule "libraries/random"] path = libraries/random - url = http://darcs.haskell.org/packages/random.git + url = http://git.haskell.org/packages/random.git [submodule "libraries/template-haskell"] path = libraries/template-haskell - url = http://darcs.haskell.org/packages/template-haskell.git + url = http://git.haskell.org/packages/template-haskell.git [submodule "libraries/terminfo"] path = libraries/terminfo - url = http://darcs.haskell.org/packages/terminfo.git + url = http://git.haskell.org/packages/terminfo.git [submodule "libraries/unix"] path = libraries/unix - url = http://darcs.haskell.org/packages/unix.git + url = http://git.haskell.org/packages/unix.git [submodule "libraries/utf8-string"] path = libraries/utf8-string - url = http://darcs.haskell.org/packages/utf8-string.git + url = http://git.haskell.org/packages/utf8-string.git [submodule "libraries/vector"] path = libraries/vector - url = http://darcs.haskell.org/packages/vector.git + url = http://git.haskell.org/packages/vector.git [submodule "ghc-tarballs"] path = ghc-tarballs - url = http://darcs.haskell.org//ghc-tarballs.git + url = http://git.haskell.org//ghc-tarballs.git [submodule "utils/haddock"] path = utils/haddock - url = http://darcs.haskell.org/haddock2.git + url = http://git.haskell.org/haddock2.git [submodule "utils/hsc2hs"] path = utils/hsc2hs - url = http://darcs.haskell.org/hsc2hs.git + url = http://git.haskell.org/hsc2hs.git