From fc2cbbe21691a28d768b41b8892dec9043ea7048 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Sun, 31 Aug 2014 17:47:09 -0700
Subject: [PATCH] chore(emacs/lean-mode): add package info

---
 src/emacs/lean-mode.el | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el
index 3aceee671..f85a5a8bf 100644
--- a/src/emacs/lean-mode.el
+++ b/src/emacs/lean-mode.el
@@ -4,6 +4,11 @@
 ;; Author: Leonardo de Moura
 ;;         Soonho Kong
 ;;
+;; URL: https://github.com/leanprover/lean/blob/master/src/emacs
+;; Keywords: languages
+;; Package-Requires: ((emacs "24") (dash "2.8.0") (dash-functional "1.1.0"))
+;; Version: 0.1
+
 (require 'cl-lib)
 (require 'eri)
 (require 'generic-x)