BULK> covered-0.3 (cad/covered) is broken because it depends upon verilog-0.8.1 (cad/verilog) which is broken.
Please view the <a href="../../cad/verilog/.broken.html">build log for verilog-0.8.1</a>.<br />