From 33a3ee1006e13cd93a02e3dcde69fb9302ff947f Mon Sep 17 00:00:00 2001
From: Anil Madhavapeddy <anil@recoil.org>
Date: Tue, 5 Nov 2013 10:24:46 -0500
Subject: [PATCH] Extra packages

---
 INSTALL.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/INSTALL.sh b/INSTALL.sh
index 86f42a9..5195db3 100755
--- a/INSTALL.sh
+++ b/INSTALL.sh
@@ -14,7 +14,9 @@ opam install --yes \
   menhir \
   utop \
   cmdliner \
-  cow 
+  cow \
+  ocp-indent \
+  ctypes
 
 echo You also need Pygments installed.
 echo This is python-pygments in Debian