diff --git a/docs/source/install.rst b/docs/source/install.rst index 98dcc11..068736b 100644 --- a/docs/source/install.rst +++ b/docs/source/install.rst @@ -45,7 +45,7 @@ Installing prerequisites (this command is for Ubuntu 16.04): Yosys, Yosys-SMTBMC and ABC --------------------------- -https://www.yosyshq.com/open-source +https://yosyshq.net/yosys/ https://people.eecs.berkeley.edu/~alanmi/abc/