From 281fae2f82ad84cd0a7f0658e174c4ad0d0197a1 Mon Sep 17 00:00:00 2001
From: Thomas Hallgren <th-github@altocumulus.org>
Date: Thu, 29 Jun 2017 14:51:27 +0200
Subject: [PATCH] gf.cabal: update the source repository to point to the GitHub
 repository

---
 gf.cabal | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/gf.cabal b/gf.cabal
index 966153d1c..669035a92 100644
--- a/gf.cabal
+++ b/gf.cabal
@@ -42,10 +42,13 @@ data-files: tools/gf.el
 	    www/translator/*.css
 	    www/translator/*.js
 
-source-repository head
-  type:     darcs
-  location: http://www.grammaticalframework.org/
+--source-repository head
+--  type:     darcs
+--  location: http://www.grammaticalframework.org/
 
+source-repository head
+  type:     git
+  location: https://github.com/GrammaticalFramework/GF.git
 
 flag interrupt
   Description: Enable Ctrl+Break in the shell