1 files changed, 3 insertions, 1 deletions
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