From 33c8a4c616ebc9621c538b89f2d43b7404514f9a Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur
Date: Thu, 29 Nov 2018 09:12:35 -0800
Subject: Update install instructions.

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

diff --git a/INSTALL.md b/INSTALL.md
index 51b97e81..4569cf0a 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -38,11 +38,13 @@ the package manager - both should work, but we used the install script
 from the website. This should install OCaml 4.05. Don't forget to run
 ```opam init``` after installing OPAM.
 
-We now need ocamlbuild, zarith, and menhir from OPAM.
+We now need the following packages from OPAM.
 ```
 opam install ocamlbuild
+opam install num
 opam install zarith
 opam install menhir
+opam install omd
 ```
 
 Ott
-- 
cgit v1.2.3