Extra packages

realworldocaml · Nov 5, 2013 · 33a3ee1 · 33a3ee1
1 parent dcd7489
commit 33a3ee1
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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