diff --git a/docs/source/install.rst b/docs/source/install.rst
index 273b166..293ee71 100644
--- a/docs/source/install.rst
+++ b/docs/source/install.rst
@@ -16,7 +16,7 @@ Installing prerequisites (this command is for Ubuntu 16.04):
                         gawk tcl-dev libffi-dev git mercurial graphviz   \
                         xdot pkg-config python python3 libftdi-dev gperf \
                         libboost-program-options-dev autoconf libgmp-dev \
-                        cmake
+                        cmake curl
 
 Yosys, Yosys-SMTBMC and ABC
 ---------------------------