Sphinx==3.0.4
http://github.com/SymbiFlow/sphinx_symbiflow_theme/archive/master.zip#sphinx-symbiflow-theme
http://github.com/SymbiFlow/sphinx-verilog-domain/archive/master.zip#sphinx-verilog-domain