Use a better source-repository

* It works for people who don't have GitHub SSH credentials * Suggested by @andreasabel in #109
spl · Sep 1, 2023 · b0857cf · b0857cf
1 parent dc43572
commit b0857cf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dlist.cabal b/dlist.cabal
@@ -36,7 +36,7 @@ tested-with:            GHC==7.0.4
 
 source-repository head
   type:                 git
-  location:             git://github.com/spl/dlist.git
+  location:             https://github.com/spl/dlist.git
 
 flag Werror
   description:          Enable -Werror