From 19b9792eecb9534da5bbd5e6778a550a486ed175 Mon Sep 17 00:00:00 2001
From: David Raymond Christiansen <dchristiansen@galois.com>
Date: Tue, 4 Nov 2014 17:24:32 -0800
Subject: [PATCH] Add a recipe for helm-ghc

---
 recipes/helm-ghc | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 recipes/helm-ghc

diff --git a/recipes/helm-ghc b/recipes/helm-ghc
new file mode 100644
index 00000000..0e299a28
--- /dev/null
+++ b/recipes/helm-ghc
@@ -0,0 +1,3 @@
+(helm-ghc
+ :fetcher github
+ :repo "david-christiansen/helm-ghc")
\ No newline at end of file