From ce0aed12ece6458be720af3b5daa964436c92535 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Thu, 29 Jan 2015 18:10:06 -0500
Subject: [PATCH] fix(emacs/Cask): add GNU package repository

Related issue #410
---
 src/emacs/Cask | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/emacs/Cask b/src/emacs/Cask
index eebe3d2d81..1df55fff1d 100644
--- a/src/emacs/Cask
+++ b/src/emacs/Cask
@@ -1,3 +1,4 @@
+(source gnu)
 (source melpa)
 (package-file "lean-mode.el")
 (development