Fix cabal.project.local

scripts/build-repo.sh

@@ -38,10 +38,10 @@ extract_keys_tarball() {
 }
 
 build_index_html() {
-  keys="$(find keys/root -printf "%f")"
+  keys="$(find keys/root -type f -printf "%f")"
   cat >repo/cabal.project.local <<EOF
-repository head.hackage
-   url: https://gitlab.haskell.org/ghc/head.hackage/
+repository head.hackage.ghc.haskell.org
+   url: https://ghc.gitlab.haskell.org/head.hackage/
    secure: True
    root-keys: ${keys//.private/ }
    key-threshold: 3
@@ -56,7 +56,7 @@ EOF
     <h1>head.hackage @ GHC</h1>
     <p>See the <a href="">head.hackage documentation</a> for details on using this repository.</p>
     <pre>
-      $(cat repo/cabal.project)
+      $(cat repo/cabal.project.local)
     </pre>
   </body>
 </html>