From 815b79072d44e3693818cddc96e4cb1ea227eac2 Mon Sep 17 00:00:00 2001
From: Austin Seipp <aseipp@pobox.com>
Date: Sun, 3 Mar 2013 19:13:17 -0600
Subject: [PATCH] Add cryptol-mode package.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
---
 recipes/cryptol-mode | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 recipes/cryptol-mode

diff --git a/recipes/cryptol-mode b/recipes/cryptol-mode
new file mode 100644
index 00000000..213639d1
--- /dev/null
+++ b/recipes/cryptol-mode
@@ -0,0 +1,3 @@
+(cryptol-mode
+  :fetcher github
+  :repo "thoughtpolice/cryptol-mode")