./verilog-mode-531.el.gz already exists, skipping download
Getting http://www.veripool.org/ftp/verilog-mode-531.el.gz to ./verilog-mode-531.el.gz