(library
 (name Verilog)
 (public_name coqup.verilog)
 (libraries coqup.extraction))