From 700b97961c793dc1b19f337c8abdeea239ce3409 Mon Sep 17 00:00:00 2001
From: Sean Leather <sean.leather@gmail.com>
Date: Fri, 1 Sep 2023 20:08:23 +0200
Subject: [PATCH] Use a better source-repository (#113)

* It works for people who don't have GitHub SSH credentials
* Suggested by @andreasabel in #109
---
 dlist.cabal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dlist.cabal b/dlist.cabal
index 753953f..75b2f94 100644
--- 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